Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.toยท2dยท
Discuss: DEV
๐ŸŒNetworkProtocols
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.comยท4d
๐Ÿ”—Monadic Parsing
Human vs. AI in Logic Tasks: a Study
dailynous.comยท5h
โœ“Automated Theorem Proving
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.orgยท11h
๐Ÿ“Code Metrics
Causal Artificial Intelligence [Free Textbook]
causalai-book.netยท19hยท
Discuss: Hacker News
๐Ÿง Machine Learning
typical: Data interchange with algebraic data types.
github.comยท2d
๐Ÿ“‹Format Specification
Compiling a Functional Language to LLVM
danieljharvey.github.ioยท8hยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Lisp
The new compression algorithm is not like the standard ones
ferki-git-creator.github.ioยท1dยท
Discuss: Hacker News
๐ŸŒŠStreaming Compression
More adventures in the land of AI and Open Source
blogs.gnome.orgยท27m
๐Ÿฆ€Rust Macros
Hyperbolic Large Language Models
arxiv.orgยท11h
๐ŸŒ€Hyperbolic Geometry
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.comยท2dยท
Discuss: Hacker News, r/programming
๐ŸŽฏAutomata theory
The Little Book of Everything
github.comยท1dยท
Discuss: Hacker News
ฮปLambda Formalization
Beyond Markdown (2018)
johnmacfarlane.netยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“Concrete Syntax
CBconvert is a Comic Book converter
github.comยท10h
๐Ÿ“ธTIFF Evolution
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.orgยท11h
๐Ÿง Machine Learning
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.orgยท11h
๐Ÿ—ฃ๏ธDomain-Specific Languages
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.orgยท11h
๐Ÿ”Vector Forensics
Metamorphosis in Machines: Unlocking Flexible Representations by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Introduction to Nyquist and Lisp Programming
manual.audacityteam.orgยท19hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.orgยท11h
๐Ÿ“„Document Digitization