Semantic Dictionary Encoding
falvotech.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.orgยท8h
๐Ÿ”Z3 Parsing
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1d
โœจAlgebraic Effects
System Instruction Fixed Point
funcall.blogspot.comยท17hยท
Discuss: www.blogger.com
โšกProof Automation
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Programming
Charles Sanders Peirce, George Spencer Brown, and Me โ€ข 20
inquiryintoinquiry.comยท19h
๐Ÿ”€Category Theory
[$] Comparing Rust to Carbon
lwn.netยท20h
๐Ÿฆ€Rust Borrowing
The Ternary Manifesto
homepage.cs.uiowa.eduยท1h
๐Ÿ“Concrete Syntax
Compiling with Continuations
swatson555.github.ioยท8hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท2dยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
๐Ÿ“šEnterprise Design Patterns: Table Module with Python Example
dev.toยท5hยท
Discuss: DEV
๐ŸงฉSQLite Extensions
Chronon: A data platform for serving for AI/ML applications
github.comยท12hยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Claude Can (Sometimes) Prove It
galois.comยท12hยท
Discuss: Lobsters, Hacker News
โš”๏ธLean Tactics
Algebraic Types are not Scary
blog.aiono.devยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
Solving a Wooden Puzzle Using Haskell
glocq.github.ioยท7hยท
Discuss: Lobsters, Hacker News
๐Ÿ’ŽInformation Crystallography
Ei Embedded Inverser: automatic inversion of expressions at the structural level
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.orgยท8h
๐Ÿ“ŠLearned Metrics
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.ioยท8hยท
Discuss: r/programming
๐Ÿ“Code Metrics
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.toยท10hยท
Discuss: DEV
๐Ÿ”Concolic Testing