Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·1d·
Discuss: Hacker News
🏹Effect Systems
Conway's Game of Life, but Musical
hudsong.dev·10h·
Discuss: Hacker News
📚Automata Learning
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
📚Automata Learning
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
A Fragile Number Sense: Probing the Elemental Limits of Numerical Reasoning in LLMs
arxiv.org·2d
📚Automata Learning
Show HN: Inception: Automatic Rust Trait Implementation by Induction
github.com·5d·
Discuss: Hacker News, r/rust
🔠Type-Level Programming
Deliberate Abstraction
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
MachineLearningLM: Continued Pretraining Language Models on Millions of Synthetic Tabular Prediction Tasks Scales In-Context ML
arxiv.org·2d
📚Automata Learning
Unidimensional semi-discrete partial optimal transport
arxiv.org·20h
🔠Type-Level Programming
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·20h
📚Automata Learning
NPM debug and chalk packages compromised
aikido.dev·3d·
Discuss: Hacker News, r/linux, r/node, r/programming, r/webdev
🍎Apple
The CRITICAL Records Integrated Standardization Pipeline (CRISP): End-to-End Processing of Large-scale Multi-institutional OMOP CDM Data
arxiv.org·20h
🔄Reproducible Builds
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·2d
🧮Lambda Calculus
OTESGN:Optimal Transport Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
arxiv.org·20h
🧩Parser Combinators
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·20h
🐫OCaml
The HackberryPi CM5 handheld computer
github.com·3d·
Discuss: Hacker News
💾Retro Computing
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·2d
🌐NetworkProtocols
Algebraic Effects in Practice with Flix
relax.software·4d·
Discuss: Lobsters, Hacker News, r/programming
🏹Effect Systems