🎲 reClojure 2025
gosha.net·17h
🥾Bootstrapping Strategies
Eschatological thinking: why Peter Thiel is talking about the Antichrist
realtimetechpocalypse.com·10h·
Discuss: Hacker News
🔗Concatenative Theory
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·3h·
Discuss: Hacker News, r/Zig
⚡Zig
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
HelixDB - An open-source graph-vector database built in Rust
reddit.com·1d·
Discuss: r/opensource
🌳Persistent Data
Quantum Simulation Programming via Typing
arxiv.org·9h
🏗️Minimal Compilers
Back in Edgecliffe
consequently.org·1d
🧩Prolog
Robust, Online, and Adaptive Decentralized Gaussian Processes
arxiv.org·9h
🚂Error Propagation
PTQTP: Post-Training Quantization to Trit-Planes for Large Language Models
arxiv.org·9h
⚡Tokenizer Optimization
Introduction
dev.to·1d·
Discuss: DEV
🔍ML Language
「BOYNEXTDOOR」、ミニアルバム「Di Action」で5か月ぶりのにカムバック
news.jp·9h
🏠indieweb
It Depends: Resolving Referential Ambiguity in Minimal Contexts with Commonsense Knowledge
arxiv.org·1d
🔗Lexical Scoping
Inference Offloading for Cost-Sensitive Binary Classification at the Edge
arxiv.org·1d
🗺️Region Inference
Iterators: The Waiters With One-Way Tickets 🍽️🧑‍🍳
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Adding Org Mode link awesomeness elsewhere: my-org-insert-link-dwim
sachachua.com·1d
📝Text Editors
Control Disturbance Rejection in Neural ODEs
arxiv.org·9h
⚡Control Synthesis
FlagEval Findings Report: A Preliminary Evaluation of Large Reasoning Models on Automatically Verifiable Textual and Visual Questions
arxiv.org·9h
✅Type Checking
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
arxiv.org·9h
🧩SAT Solvers
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·18h
💫Effect Systems
GuardianMPC: Backdoor-resilient Neural Network Computation
eprint.iacr.org·17h
📏Linear Memory