Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Physical Warp Drives
arxiv.org·17h·
Discuss: Hacker News
🌡️Preservation Physics
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·23h·
Discuss: Hacker News
🎯Proof Tactics
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.com·1d·
Discuss: Hacker News
⏰Time Crystals
Preference-aware routing for Claude Code 2.0
archgw.com·2d·
Discuss: Hacker News
🔗Topological Sorting
I have seen the compounding teams
sundaylettersfromsam.substack.com·22h·
Discuss: Substack
⚔️Lean Tactics
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
⚡Incremental Computation
Retentive Relevance: Capturing Long-Term User Value in Recommendation Systems
arxiv.org·2d
🎯Content Recommendation
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·2d·
Discuss: r/golang
🦀Rust Borrowing
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·3d
🧠Machine Learning
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5d
💻Programming languages
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5d
⚡Proof Automation
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·4d
🧮SMT Solvers
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·23h·
Discuss: DEV
🌀Brotli Internals
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·2d
💻Programming languages
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·2d
💻Local LLMs
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·1d·
Discuss: Hacker News
🔓Open Source Software