Silent Hill F: All Locker Combinations Guide (Girl Code Explained)
screenrant.com·2h
🚪Escape Hatch
How To Use Synthetic Data To Build a Portfolio Project
kdnuggets.com·17h
🏷️Attribute Grammars
The story of Musium
ruudvanasseldonk.com·17h·
Discuss: Lobsters, Hacker News
💬Smalltalk VMs
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·2d·
Discuss: Hacker News
🪞Homoiconicity
Bayes vs. Frequentists – An Empirical Test in Code
software.rajivprab.com·9h·
Discuss: Hacker News
⚖️Inference Rules
Issue 490
haskellweekly.news·4d
⚡functional programming
parsing JSON in no_std & no_alloc? no problem.
reddit.com·4h·
Discuss: r/rust
📋JSON Parsing
PyCon 2025 Workshop: Agentic Apps with Pydantic AI
reddit.com·1d·
Discuss: r/LLM
🔍ML Language
Rational Multi-Modal Transformers for TCR-pMHC Prediction
arxiv.org·5h
🔄Subinterpreters
Global Optimization via Softmin Energy Minimization
arxiv.org·5h
🔄Loop Optimization
AI-based Methods for Simulating, Sampling, and Predicting Protein Ensembles
arxiv.org·5h
📈Earley Parsing
GRID: Graph-based Reasoning for Intervention and Discovery in Built Environments
arxiv.org·5h
✨Effect Inference
Adding Org Mode link awesomeness elsewhere: my-org-insert-link-dwim
sachachua.com·1d
📝Text Editors
How I Built an Automated Social Media Workflow with LangGraph
github.com·2d·
Discuss: DEV
📚Stack Languages
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
arxiv.org·5h
🧮Theorem Provers
Control Disturbance Rejection in Neural ODEs
arxiv.org·5h
⚡Control Synthesis
FlagEval Findings Report: A Preliminary Evaluation of Large Reasoning Models on Automatically Verifiable Textual and Visual Questions
arxiv.org·5h
✅Type Checking
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
arxiv.org·5h
🧩SAT Solvers
Rustchain: Transpile Anything Into Rust (and Back Out Again)
reddit.com·6h·
Discuss: r/programming
🏗️Cranelift
GuardianMPC: Backdoor-resilient Neural Network Computation
eprint.iacr.org·13h
📏Linear Memory