@sectore

...

github.com/sectore
Joined November 2007
  • Tweets649
  • Following611
  • Followers517
45Media
Terminal == productivity, and this is how I manage my time! 🔥 🕰️ timr: A TUI to organize your time. 🚀 Supports pomodoro, countdown & timer. 🦀 Written in Rust & built with @ratatui_rs ⭐ GitHub: github.com/sectore/timr #rustlang #ratatui #tui #timer #terminal #pomodoro #countdown #productivity
2
27
1,355
My @MuniHac talk on Making a Haskell IDE is now on YouTube youtube.com/watch?v=cijsaeWN… and slides at ndmitchell.com/downloads/sli…. All about hie-core github.com/digital-asset/dam…. How to install, hack and understand it.
1
32
2
89
Jens Krause retweeted
Thomas Eizinger@oetzn29 Aug 2019
Ever struggled with lifetime/move problems in @rustlang when hacking on async stuff with Futures? While pair-programming with @luckysori, we discovered a neat thing: local scopes to clone variables that need to be moved in! play.rust-lang.org/?version=…
6
8
2
61
Jens Krause retweeted
David Peter@sharkdp8625 Aug 2019
Announcing pastel: a command-line tool to generate, analyze, convert and manipulate colors. github.com/sharkdp/pastel
1
27
85
Jens Krause retweeted
justin@jusrin0015 Apr 2018
hot reloading with halogen components using some hacky unsafe functions, but it's basically what you want
1
1
1
11
Wrote something up about tagless final optimizations in #PureScript or #Haskell lukajcb.github.io/blog/funct… Would love to hear thoughts!
2
8
27
New blogpost about Haskell inspired by my experience with #AdventOfCode : bartoszmilewski.com/2017/12/…

Stalking a Hylomorphism in the Wild

Trying to improve my Haskell coding skills, I decided to test myself at solving the 2017 Advent of Code problems. It’s been a lot of fun and a great learning experience. One problem in partic…

bartoszmilewski.com
33
2
123
Jens Krause retweeted
Stephen Diehl
@smdiehl4 Dec 2017
As requested ... A new blog post: Reflecting on Haskell in 2017 🎉 stephendiehl.com/posts/haske…
15
130
9
300
This year I wanted to try having a "24 days of something", so here we go: github.com/zudov/24-days-of-… #Haskell #PureScript #24days

GitHub - zudov/24-days-of-syntactic-witchery: Aligning characters for fun and profit, with Haskell...

Aligning characters for fun and profit, with Haskell and PureScript - zudov/24-days-of-syntactic-witchery

github.com
14
22
Here’s my @oredev talk about #PureScript, and the big ideas it embodies. Ideas I hope make it into mainstream programming soon. But you don’t need to wait - you can have it all today. 😎 vimeo.com/243148125

Kris Jenkins - PureScript: Tomorrow's JavaScript Today | Øredev 2017

It's almost impossible to imagine the web without JavaScript. And as professional web developers, it's almost heresy to do so. But despite 20 years of maturity and a truly frantic pace of innovation,...

vimeo.com
8
33
4
126
Slides for my Code Mesh talk "Finite-state machines? Your compiler wants in!" here: s3.amazonaws.com/erlang-conf… #haskell #purescript #idris
1
6
31
A manageable I/O for Purescript apps - purescript-redux-saga github.com/felixschl/purescr… #purescript
1
6
Jens Krause retweeted
justin@jusrin0022 Oct 2017
wrote another RowToList blog post, about mapping a function to homogenous records qiita.com/kimagure/items/06d…

Mapping a function to a homogeneous record in PureScript - Qiita

If you're reading this blog post, chances are that you've seen my talk "RowList Fun with PureScript", whether that was online, YouTube, C...

qiita.com
1
4
18
I just published “Benchmarks: FP languages & libraries for front-end development” medium.com/p/benchmarks-fp-l…

Benchmarks: GHCJS (Reflex, Miso) & Purescript (Pux, Thermite, Halogen)

Table of contents

medium.com
2
5
1
17
Jens Krause retweeted
Phil Freeman@paf319 Sep 2017
PureScript News - a publication of PureScript-related content curated by @py - just launched! purescript.news/
38
1
74
Jens Krause retweeted
Phil Freeman@paf319 Aug 2017
I wrote a few notes about why you should use PureScript gist.github.com/paf31/adfd15…

Why You Should Use PureScript

Why You Should Use PureScript. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
11
116
5
236
Jens Krause retweeted
Alex Berg@alex_berg11 Jul 2017
Uploaded #PureScript meetup recording. Part 1 of the Intro to Prelude series, and how to use Foreign-Generics! youtube.com/watch?v=cVyRwJj7…
10
1
17
Jens Krause retweeted
Phil Freeman@paf3110 Jul 2017
PureScript 0.11.6 is now available, with a new package set to go with it: github.com/purescript/puresc… github.com/purescript/packag…

Release v0.11.6 · purescript/purescript

New Features RowToList support (@LiamGoodacre) There is a new type class in typelevel-prelude called RowToList, which turns a row of types into a type-level list. This allows us to work with closed...

github.com
19
43
Jens Krause retweeted
Phil Freeman@paf3130 Jun 2017
The video of my recent PureScript type system talk at Santa Monica Haskell is now online. youtube.com/watch?v=SPpIbiZF…
2
27
82
Check out my talk on Reactive Programming with Scala.js and PureScript from @curry_on_conf! youtube.com/watch?v=pE-3bg31… #PureScript #scala 🎉
1
19
58
Load more