Inferentialism: Logic and Meaning
consequently.org·1d
⚖️Inference Rules
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·13h·
Discuss: Hacker News
🪆Embedded DSLs
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·9h·
Discuss: Hacker News, r/Zig
⚡Zig
How RAG Enables AI For Your Data
blog.bytebytego.com·3h
🌊Streaming Lexers
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.org·22h
🔗Hash Functions
Thinking, Searching, and Acting
interconnects.ai·1d
🎭Program Synthesis
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·1d
📈Monotonic Logic
On the Existence and Complexity of Core-Stable Data Exchanges
arxiv.org·15h
📮Message Queues
PILOT: Steering Synthetic Data Generation with Psychological & Linguistic Output Targeting
arxiv.org·1d
💬Interactive REPLs
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·1d
💫Effect Systems
Building a Text Similarity Checker API Using Sentence Transformers and Flask
dev.to·12h·
Discuss: DEV
🔤Language Tokenizers
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
arxiv.org·15h
🌳Pattern Match Compilation
Medical priority fusion: achieving dual optimization of sensitivity and interpretability in nipt anomaly detection
arxiv.org·15h
✨Effect Inference
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·15h
🪜Recursive Descent
seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs
arxiv.org·15h
🌳Pattern Match Compilation
Randomized matrix computations: Themes and variations
arxiv.org·15h
🧮Linear Algebra
Velocity Trapping in the Lifted Totally Asymmetric Simple Exclusion Process and the True Self-Avoiding Random Walk
journals.aps.org·6h
🧮Combinator Calculus
Enhanced Electrophilic Aromatic Substitution Prediction via Hyperdimensional Network Analysis of Reaction Mechanisms
dev.to·7h·
Discuss: DEV
✨Effect Inference
The hereditariness problem for the \v{C}ern\'y conjecture
arxiv.org·15h
🎯Finite Automata