Functional Abstract Interpretation
simon.peytonjones.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.comยท1d
๐Ÿ“Text Parsing
Context-Aware Regularization with Markovian Integration for Attention-Based Nucleotide Analysis
arxiv.orgยท21h
๐Ÿง Machine Learning
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท10h
๐ŸŒณContext free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท1dยท
Discuss: Hacker News
๐Ÿ”Type Inference
Adding lookbehinds to rust-lang/regex
systemf.epfl.chยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
A Rust shaped hole
ente.ioยท2d
๐Ÿฆ€Rust Macros
Helix Editor Release 25.07 Highlights
helix-editor.comยท6hยท
Discuss: Lobsters, Hacker News, r/linux
๐ŸŒณIncremental Parsing
Hierarchical Modeling (H-Nets)
cartesia.aiยท6hยท
Discuss: Hacker News
๐ŸŒ€Hyperbolic Geometry
FSM Library for Embedded C Projects
hackster.ioยท2d
๐Ÿฆ€Embedded Rust
Show HN: Context Rot Technical Report โ€“ How Input Length Impacts LLM Performance
research.trychroma.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Information Retrieval
Future-Proof Programming Languages
log.schemescape.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปprogramming languages
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
Historical highlights?
logicmatters.netยท14h
๐Ÿ”€Category Theory
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.toยท12hยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Students, here are 5 key things to know when learning how to train large language models
techradar.comยท8h
๐Ÿ’ปLocal LLMs
As chatbots improve, humans' unique language abilities are becoming less special
phys.orgยท11h
๐Ÿค–Grammar Induction
Categorical Features: The Backbone of Search & Recs Engineering
shaped.aiยท1d
๐Ÿง Learned Indexing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.ioยท10hยท
Discuss: Hacker News, r/programming
๐Ÿ”’Type Safety
Translation using deep neural networks โ€“ Transformer
aamster.github.ioยท1dยท
Discuss: Hacker News
๐Ÿง Neural Codecs