An Introduction to Algebraic Effects and Handlers
https://www.eff-lang.org/handlers-tutorial.pdf
https://www.eff-lang.org/handlers-tutorial.pdf
❤1👍1
First-class modules: hidden power and tantalizing promises
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
👍1
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
👍1
Elaboration in Dependent Type Theory
https://arxiv.org/pdf/1505.04324.pdf
https://arxiv.org/pdf/1505.04324.pdf
👍1
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
thume.ca
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More - Tristan Hume
🐳1
Understanding DeepMind's Sorting Algorithm
https://justine.lol/sorting/
https://justine.lol/sorting/
justine.lol
Understanding DeepMind's Sorting Algorithm
Working code examples meant to clarify AlphaDev's deep learning assembly optimizations.
👍1
Algebraic Effects for Functional Programming
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
👍2❤1
Control Delimiters and Their Hierarchies
https://www2.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf
https://www2.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf
Implementing Algebraic Effects in C
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
👍2
Monads for functional programming
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf
Systems Software Research is Irrelevant
Rob Pike
Feb 21, 2000
https://www.herpolhode.com/rob/utah2000.pdf
Rob Pike
Feb 21, 2000
https://www.herpolhode.com/rob/utah2000.pdf
Introduction to Programming with Shift and Reset
https://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf
https://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
https://github.com/koka-lang/libhandler
https://github.com/koka-lang/libhandler
GitHub
GitHub - koka-lang/libhandler: Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C. - koka-lang/libhandler
👍1🥱1
Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection
https://verdagon.dev/blog/vale-memory-safe-cpp
https://verdagon.dev/blog/vale-memory-safe-cpp
👍3🤮2💩1
Typed Closure Conversion for the Calculus of Constructions
https://arxiv.org/pdf/1808.04006.pdf
https://arxiv.org/pdf/1808.04006.pdf
👍1🤡1
Vector ALU Patterns (RISC-V)
https://moonbaseotago.github.io/2023/06/19/vector-patterns.html
https://moonbaseotago.github.io/2023/06/19/vector-patterns.html
LLM Powered Autonomous Agents
https://lilianweng.github.io/posts/2023-06-23-agent/
https://lilianweng.github.io/posts/2023-06-23-agent/
lilianweng.github.io
LLM Powered Autonomous Agents
Building agents with LLM (large language model) as its core controller is a cool concept. Several proof-of-concepts demos, such as AutoGPT, GPT-Engineer and BabyAGI, serve as inspiring examples. The potentiality of LLM extends beyond generating well-written…
🍌1