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
Case Study: Algorithmic Trading With Go
https://polygon.io/blog/case-study-algorithmict-trading-with-go/
https://polygon.io/blog/case-study-algorithmict-trading-with-go/
Structures in C: From Basics to Memory Alignment
https://abstractexpr.com/2023/06/29/structures-in-c-from-basics-to-memory-alignment/
https://abstractexpr.com/2023/06/29/structures-in-c-from-basics-to-memory-alignment/
Abstract Expression
Structures in C: From Basics to Memory Alignment
Structures allow us to combine several variables to create a new data type. Some other languages support the same concept but call it “records”. If you come from object-oriented program…
👍5
Few lesser known tricks, quirks and features of C
https://jorengarenar.github.io/blog/less-known-c
https://jorengarenar.github.io/blog/less-known-c
jorengarenar.github.io
Few lesser known tricks, quirks and features of C
🔥3
A Monadic Framework for Delimited Continuations
https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf
https://legacy.cs.indiana.edu/~dyb/pubs/monadicDC.pdf
Problems of C, and how Zig addresses them
https://avestura.dev/blog/problems-of-c-and-how-zig-addresses-them
https://avestura.dev/blog/problems-of-c-and-how-zig-addresses-them
Avestura's Blog
Problems of C, and how Zig addresses them
What are the problems of C, and how Zig addresses them?
💯2
MIR: A lightweight JIT compiler projecthttps://developers.redhat.com/blog/2020/01/20/mir-a-lightweight-jit-compiler-project
Red Hat Developer
MIR: A lightweight JIT compiler project | Red Hat Developer
For the past three years, I've been participating in adding just-in-time compilation (JIT) to CRuby. Now, CRuby has the method-based just-in-time compiler (MJIT), which improves performance for
❤3
meta-typing: Functions and algorithms implemented purely with TypeScript's type systemhttps://github.com/ronami/meta-typing
GitHub
GitHub - ronami/meta-typing: 📚 Functions and algorithms implemented purely with TypeScript's type system
📚 Functions and algorithms implemented purely with TypeScript's type system - ronami/meta-typing
💩3👍1
System Design Course
https://github.com/karanpratapsingh/system-design
https://github.com/karanpratapsingh/system-design
GitHub
GitHub - karanpratapsingh/system-design: Learn how to design systems at scale and prepare for system design interviews
Learn how to design systems at scale and prepare for system design interviews - karanpratapsingh/system-design
👍2