Invincible Island: The Bones of Our Ancestors
bluerenga.blog·1d
⚡Proof Automation
Random NihAV news
codecs.multimedia.cx·2d
🎞️MKV Internals
Leveraging AI Multi-Agent Systems in Financial Analysis
cacm.acm.org·2d
🧮Z3 Applications
TreeView - A Go module for building, navigating, and displaying hierarchical data in the terminal.
github.com·2d·
Discuss: r/golang
🌳Incremental Parsing
Make ChatGPT Less Human
chromamine.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Holy Shit. I built the X post generator
twyg.vercel.app·2d·
Discuss: Hacker News
🏛Digital humanities
Recursively self improving AI might not work without these functions
secondsight.dev·4d·
Discuss: Hacker News
🔲Cellular Automata
[P] Sub-millisecond GPU Task Queue: Optimized CUDA Kernels for Small-Batch ML Inference on GTX 1650.
reddit.com·20h·
Discuss: r/MachineLearning
📊Performance Profiling
Toad – a universal UI for agentic coding in the terminal
willmcgugan.github.io·3d·
Discuss: Hacker News
🖥️Modern Terminals
[N] PapersWithCode sunsets, new HuggingFace Papers UI
reddit.com·1d·
Discuss: r/MachineLearning
🗜️Graph Compression
Thinking Machines and the Second Wave: Why $2B Says Everything About AI's Future
decodingdiscontinuity.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Lobsters Interview with Technomancy
lobste.rs·1d·
Discuss: Lobsters
🦀Rust Macros
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·3d·
Discuss: Hacker News, Hacker News
⚡Proof Automation
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·22h·
Discuss: DEV
🚀Indie Hacking
Optimising Call Centre Operations using Reinforcement Learning: Value Iteration versus Proximal Policy Optimisation
arxiv.org·2d
🔲Cellular Automata
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·4d
🏛Digital humanities
CompLeak: Deep Learning Model Compression Exacerbates Privacy Leakage
arxiv.org·3d
💻Local LLMs
Sparser2Sparse: Single-shot Sparser-to-Sparse Learning for Spatial Transcriptomics Imputation with Natural Image Co-learning
arxiv.org·3d
📐Vector Dimensionality
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·3d
🧠Computational Logic
I Built an Tool to AI Agent Testing
dev.to·2d·
Discuss: DEV
⚡Proof Automation