Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🔄Concurrency Models
Flag this post
Creating Lisp Systems
🪜Scala
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
📐formal specification
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
🪜Scala
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·13h
📐formal specification
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
📐formal specification
Flag this post
🐫Ocaml
Flag this post
Readable Code Is Unreadable
🔍Static Analysis
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·8h
🐫Ocaml
Flag this post
Transducer: Composition, Abstraction, Performance
🪜Scala
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🪜Scala
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
📐formal specification
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔍Static Analysis
Flag this post
A Short Survey of Compiler Backends
🪜Scala
Flag this post
Pain Points of OCaml
🐫Ocaml
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🔍Static Analysis
Flag this post
A QOJ week
🔄Concurrency Models
Flag this post
Loading...Loading more...