Monday 14 July, 2025
memex.naughtons.org·15h
🔌Operating system internals
Flakes aren't real and cannot hurt you: a guide to using Nix flakes the non-flake way - jade's www site
jade.fyi·3d
❄️Nixpkgs
Improving AVIF in Open Source
halide.cx·9h·
Discuss: Lobsters, Hacker News
🎬AV1 Encoding
What are we missing out on when we think Transformer is unreasonable in biology?
dmf-archive.github.io·23h·
Discuss: Hacker News
⚙️Logic Synthesis
End-to-End ELK + MCP Integration: A Beginner’s Deployment Guide
infosecwriteups.com·3h
🏠HomeLab
Data Science Weekly – Issue 607
datascienceweekly.substack.com·3d·
Discuss: Substack
📰RSS Archaeology
Is XBOW’s success the beginning of the end of human-led bug hunting? Not yet.
cyberscoop.com·3h
🚀Indie Hacking
Opportunities for interpretable statistics for large language models
statmodeling.stat.columbia.edu·2d
🧠Intelligence Compression
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·2d·
Discuss: Hacker News
⚡Proof Automation
Agent Driven Development (ADD): The Next Paradigm Shift in Software Engineering
dev.to·3d·
Discuss: DEV
⚙️TLA+
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·4d
⚡Incremental Computation
Question on Cisco SX350X-24-K9
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
I built an Al tool that replaces 5 Al tools, saved me hours.
dev.to·11h·
Discuss: DEV
🌱Personal Wikis
Since bottles is in limbo, I want to make a spiritual successor. I'd like to know your opinion.
reddit.com·1d·
Discuss: r/linux
🐧FOSS
Understanding Everything as Code: A Taxonomy and Conceptual Model
arxiv.org·6d
🔢Denotational Semantics
🚀 5 AI Tools That Saved Me 20+ Hours Last Month
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·4d
📋Document Grammar
🚀 Is Mojo Really 1,000,000x Faster Than Python3?
dev.to·6h·
Discuss: DEV
📏Code Metrics
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·3d
📐Mathematical Art
SemRaFiner: Panoptic Segmentation in Sparse and Noisy Radar Point Clouds
arxiv.org·4d
📊Computational Geometry