Zig's new Writer
openmymind.net·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·4d·
Discuss: r/programming
✅Format Verification
For Algorithms, Memory Is a Far More Powerful Resource Than Time
wired.com·4d·
Discuss: Hacker News, Hacker News, Hacker News
🧮Theoretical Computer Science
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d
⚡Proof Automation
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4d·
Discuss: Substack
⚡Incremental Computation
Regex Is a 70-Year-Old Dinosaur—Here’s the Modern Alternative
hackernoon.com·1d
🔍RegEx Engines
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.org·2d
🔢Denotational Semantics
Robust Route Planning for Sidewalk Delivery Robots
arxiv.org·1d
🔗Topological Sorting
Interacting Hosts with Microbiome Exchange: An Extension of Metacommunity Theory for Discrete Interactions
arxiv.org·2h
🔲Cellular Automata
I've been coding with AI for two years. Here is what I've learned
nathanpeck.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Deep Generative Methods and Tire Architecture Design
arxiv.org·1d
🌀Riemannian Computing
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·2d
✨Effect Handlers
Spectral Bellman Method: Unifying Representation and Exploration in RL
arxiv.org·2h
🧠Machine Learning
Refining Coarse-Grained Molecular Topologies: A Bayesian Optimization Approach
arxiv.org·2h
🌐Computational Topology
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·2h
🧮Kolmogorov Complexity
AirLLM: Diffusion Policy-based Adaptive LoRA for Remote Fine-Tuning of LLM over the Air
arxiv.org·2d
💻Local LLMs
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.org·2d
💻Local LLMs
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·1d·
Discuss: r/golang
🦀Rust Verification
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·2h
🎧Learned Audio
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·1d
⚙️Compression Benchmarking