Building my first SFF-Build NCASE M3
i.redd.it·21h·
Discuss: r/sffpc
🏗️Build Systems
🎲 reClojure 2025
gosha.net·19h
🥾Bootstrapping Strategies
I use this simple workflow to turn my random web reading into a library I can actually use
makeuseof.com·4h
📝Editor Buffers
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·5h·
Discuss: Hacker News, r/Zig
⚡Zig
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
[D] What are some good alternatives to Monte Carlo Droupout that you've come across?
reddit.com·1h·
Discuss: r/MachineLearning
🗺️Region Inference
Multiferroic nematic <i>d</i>-wave altermagnetism driven by orbital-order on the honeycomb lattice
nature.com·2h
∫Mathematical DSLs
Quantum Simulation Programming via Typing
arxiv.org·11h
🏗️Minimal Compilers
Robust, Online, and Adaptive Decentralized Gaussian Processes
arxiv.org·11h
🚂Error Propagation
PTQTP: Post-Training Quantization to Trit-Planes for Large Language Models
arxiv.org·11h
⚡Tokenizer Optimization
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·2d·
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·11h
⚡Control Synthesis
FlagEval Findings Report: A Preliminary Evaluation of Large Reasoning Models on Automatically Verifiable Textual and Visual Questions
arxiv.org·11h
✅Type Checking
Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
arxiv.org·11h
🧩SAT Solvers
GuardianMPC: Backdoor-resilient Neural Network Computation
eprint.iacr.org·19h
📏Linear Memory
Criticality Enhances the Reinforcement of Disordered Networks by Rigid Inclusions
journals.aps.org·3h
🔄Nanopass
LLMsPark: A Benchmark for Evaluating Large Language Models in Strategic Gaming Contexts
arxiv.org·11h
🤖Abstract Machines