Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.orgยท2d
๐Ÿ“žSession Types
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.deยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธCalculus of Constructions
Monoids Let You Run Automata in Parallel
iagoleal.comยท1d
๐ŸŽฏFinite Automata
Building typed-eval: Typed Expressions in Rust
blog.romamik.comยท16hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Yet another modern runtime polymorphism library for C++, but wait, this one is different...
reddit.comยท14hยท
Discuss: r/cpp
๐Ÿช†Embedded DSLs
Process Injection 101 to Advanced (Part โ€” 1)
infosecwriteups.comยท1h
๐Ÿ›ก๏ธTaint Analysis
Specification, speed and (a) schedule
kaleidawave.github.ioยท2hยท
Discuss: Lobsters
๐ŸLanguage Benchmarks
Engineering a fixed-width bit-packed Integer Vector in Rust
lukefleed.xyzยท17hยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
๐Ÿ”ขBit Manipulation
Building a GUI Tool to Easily Tune Dynamsoft Barcode Reader Parameters
dev.toยท54mยท
Discuss: DEV
โšกEffect Handlers
Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
arxiv.orgยท5h
๐Ÿ“‹Souffle Datalog
The Lambda Calculus โ€“ Stanford Encyclopedia of Philosophy
plato.stanford.eduยท18hยท
Discuss: Hacker News
ฮปLambda Calculus
ISO Beer league roller hockey goalies (+players!)
emrhl.comยท7hยท
Discuss: r/boston
๐ŸŽญRacket
List is a Monad: Understanding Map, flatMap, and Maybe in Practice
hackernoon.comยท1d
๐Ÿ”—Lexical Scoping
Flow: A Pragmatic Approach to Composable Business Logic in C#
bahmanm.comยท18hยท
Discuss: Hacker News
๐ŸชžMetaprogramming
Musical mel transform in Torch for Music AI
github.comยท12hยท
Discuss: Hacker News
โœจGleam
Semantics Follows Frequency: Language in the Spectral Domain
daedeluskite.comยท2hยท
Discuss: Hacker News
๐Ÿ”ML Language
Programmer's Guide To Theory - Practical Grammar
i-programmer.infoยท1d
๐Ÿ“‹Backus-Naur Form
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.toยท1dยท
Discuss: DEV
๐Ÿš‚Error Propagation
ReDisclosure: New technique for exploiting FTS in MySQL (myBB case study)
exploit.azยท12hยท
Discuss: Hacker News
๐Ÿ”คRegex Engines
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.orgยท1d
๐ŸŽฏBit-Vector Algorithms