!rxYdzRwbsFXVxmTHXG:matrix.org

FPC

10 Members
Functional Programming Channel1 Servers

Load older messages


Timestamp Message
13 Nov 2018
23:25:12@tauoverpi:matrix.orgLevy Quick and Easy DSLs with Writer Endo
https://ocharles.org.uk/blog/posts/2013-02-12-quick-dsls-with-endo-writers.html
14 Nov 2018
00:26:36@tauoverpi:matrix.orgLevyCOMPACT NORMAL FORMS + LINEAR TYPES = EFFICIENT NETWORK COMMUNICATION https://www.tweag.io/posts/2017-08-24-linear-types-packed-data.html
16:14:51@tauoverpi:matrix.orgLevyEve, possible future of programming http://witheve.com/
16 Nov 2018
20:14:19@tauoverpi:matrix.orgLevyBuilding free arrows from components http://blog.sigfpe.com/2017/01/building-free-arrows-from-components.html
17 Nov 2018
00:37:23@gnu-jager:matrix.orggnu-jager joined the room.
01:57:19@gnu-jager:matrix.orggnu-jager changed their profile picture.
18 Nov 2018
05:52:48@anisha:matrix.organisha joined the room.
18:30:49@tauoverpi:matrix.orgLevyPigworker in general https://stackoverflow.com/users/828361/pigworker
18:35:44@tauoverpi:matrix.orgLevyThe Arpeggigon: A Functional Reactive Musical Automaton http://functional-art.org/2017/arpeggigon
19 Nov 2018
13:31:59@cornburglar:matrix.orgcornburglar joined the room.
20 Nov 2018
18:50:52@tauoverpi:matrix.orgLevyGentle Introduction to Dependent Types with Idris https://github.com/bor0/gidti
22 Nov 2018
15:47:17@tauoverpi:matrix.orgLevy My favorite Haskell function is zipWith const. It’s tiny. It’s in Prelude. It’s awesome.
https://github.com/quchen/articles/blob/master/2018-11-22_zipWith_const.md
23 Nov 2018
10:01:46@starzi:matrix.org@starzi:matrix.org joined the room.
10:11:24@starzi:matrix.org@starzi:matrix.org set a profile picture.
25 Nov 2018
14:13:03@n003h4x0r:matrix.orgn003h4x0r joined the room.
16:07:41@gurkirat:matrix.orggurkirat joined the room.
20:42:26@starzi:matrix.org@starzi:matrix.org left the room.
29 Nov 2018
03:05:28@tauoverpi:matrix.orgLevySimple High-Level Code For Cryptographic Arithmetic - With Proofs, Without Compromises http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
23:58:17@dark101:matrix.orgdark101 joined the room.
1 Dec 2018
21:01:37@tauoverpi:matrix.orgLevyFlask: Staged Functional Programming for Sensor Networks http://www.cl.cam.ac.uk/~ey204/teaching/ACS/R202/papers/S5_Stream_Query/papers/mainland_icfp_2008.pdf
3 Dec 2018
15:51:36@tauoverpi:matrix.orgLevyCodeMesh 2018 Idris https://www.youtube.com/watch?v=mOtKD7ml0NU
4 Dec 2018
03:26:48@tauoverpi:matrix.orgLevyIntroduction to programming language theory in Agda https://plfa.github.io/
23:09:08@tauoverpi:matrix.orgLevyFunctional Reactive Programming, Continued* http://haskell.cs.yale.edu/wp-content/uploads/2011/02/workshop-02.pdf
5 Dec 2018
07:40:52@auftisch:matrix.org@auftisch:matrix.org left the room.
14 Dec 2018
20:07:08@tauoverpi:matrix.orgLevyMap fusion: Making Haskell 225% faster http://www.randomhacks.net/articles/2007/02/10/map-fusion-and-haskell-performance
20:07:41@tauoverpi:matrix.orgLevyCausal Commutative Arrows and Their Optimization http://vimeo.com/6652662
16 Dec 2018
15:23:23@tauoverpi:matrix.orgLevy Out of the Tar Pit – Moseley & Marks 2006
https://blog.acolyer.org/2015/03/20/out-of-the-tar-pit/
17 Dec 2018
19:08:15@tauoverpi:matrix.orgLevy Byrne's Euclid
The first six books of the elements of euclid with coloured diagrams and symbols.
https://www.c82.net/euclid/
19:36:54@tauoverpi:matrix.orgLevy Guix vs GuixSD - upgrade Debian to Guix
https://lists.gnu.org/archive/html/guix-devel/2016-03/msg00354.html
18 Dec 2018
06:50:36@tauoverpi:matrix.orgLevy Subpixel Text Encoding
http://www.msarnoff.org/millitext/

There are no newer messages yet.


Back to Room List