Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.orgยท3h
๐Ÿ”Z3 Parsing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Programming
Compiling with Continuations
swatson555.github.ioยท3hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
System Instruction Fixed Point
funcall.blogspot.comยท12hยท
Discuss: www.blogger.com
โšกProof Automation
Pleasant Imperative Program Proofs with GallinaC
arxiv.orgยท3h
โš”๏ธLean Tactics
RustGPT: A pure-Rust transformer LLM built from scratch
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Claude Can (Sometimes) Prove It
galois.comยท8hยท
Discuss: Lobsters, Hacker News
โš”๏ธLean Tactics
PSA: `views::single` doesnโ€™t really view
quuxplusone.github.ioยท1d
๐ŸงฎAlgebraic Datatypes
Solving a Wooden Puzzle Using Haskell
glocq.github.ioยท2hยท
Discuss: Lobsters, Hacker News
๐Ÿ’ŽInformation Crystallography
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Python Morsels: Nested list comprehensions
pythonmorsels.comยท4h
๐Ÿ“Concrete Syntax
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท1d
โœจAlgebraic Effects
Contrastive Learning with Enhanced Abstract Representations using Grouped Loss of Abstract Semantic Supervision
arxiv.orgยท3h
๐Ÿ“ŠLearned Metrics
Semantic Dictionary Encoding
falvotech.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
In-depth Review of Emacs tree-sitter integration
archive.casouri.ccยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒณIncremental Parsing
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.comยท1d
๐ŸŽฏDependent Parsing
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.comยท23h
๐Ÿ’ปLocal LLMs
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท2dยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Complexity
Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors
arxiv.orgยท3h
๐Ÿง Intelligence Compression
Audited Reasoning Refinement: Fine-Tuning Language Models via LLM-Guided Step-Wise Evaluation and Correction
arxiv.orgยท3h
๐Ÿ“Concrete Syntax