Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·15h·
Discuss: Hacker News
📜Binary Philology
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·23h·
Discuss: Hacker News
🌐Protocol Synthesis
Random samples from a tetrahedron
johndcook.com·55m
💎Information Crystallography
Refactoring: A way to write better Code
dev.to·11h·
Discuss: DEV
⚙️Operational Semantics
Nearly Instance-Optimal Parameter Recovery from Many Trajectories via Hellinger Localization
arxiv.org·2d
🧮Kolmogorov Bounds
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
The Custom Conveyor: Building Your Own Iterators
dev.to·8h·
Discuss: DEV
🔄Burrows-Wheeler
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·17h·
Discuss: DEV
⚡Incremental Computation
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
A Manifesto for the Programming Desperado
github.com·21h·
Discuss: Hacker News
💻Programming languages
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
The Trillion Dollar AI Software Development Stack
a16z.com·16h·
Discuss: Hacker News
⚡Proof Automation
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.to·1d·
Discuss: DEV
🧩RISC-V
The Conveyor Belt Protocol: Understanding Iterators
dev.to·9h·
Discuss: DEV
🧬Functional Programming
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·2d
🎯Performance Proofs
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·4d
🎯Performance Proofs