EPYTEST_PLUGINS and other goodies now in Gentoo
blogs.gentoo.org·2d
⚡Proof Automation
\(-e^{i\pi}\) to Watch: Another Roof
aperiodical.com·18h
📐Mathematical Art
Discretizing and quantizing neural nets
danmackinlay.name·4d
📊Quantization
jupyt3r - Transcoding
archiveofourown.org·21h
⚖️Lossy Compression Ethics
Approve pull requests with your eyes closed
blog.jse.li·1d·
Discuss: Lobsters, Hacker News, Hacker News
📡RSS
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·2d·
Discuss: Hacker News
⚔️Lean Tactics
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·5d·
Discuss: Hacker News
⚡Proof Automation
Secure Overseas E-Commerce Review Accounts, Avoid Detection by Platforms
news.ycombinator.com·17h·
Discuss: Hacker News
🔍BitFunnel
The truth behind Chloe Kelly’s unwavering confidence
the-independent.com·11h
📡Information theory
Claude Code Is a Slot Machine
rgoldfinger.com·1d·
Discuss: Hacker News
📝Compiler Design
Which Backend Is Better for Speed? We Ran 1 Million Tests to Find Out
hackernoon.com·19h
🎬WebCodecs
New research reveals a secret ingredient in the Neanderthal diet
the-independent.com·15h
🦴Binary Paleontology
Dynamic dataset reveals role of wetlands in terrestrial carbon sink change
phys.org·11h
🧊Arctic Storage
Reconstruct or Generate: Exploring the Spectrum of Generative Modeling for Cardiac MRI
arxiv.org·23h
🌀Fractal Compression
Add AI coding assistant configuration to Linux kernel
lore.kernel.org·2d·
Discuss: Hacker News
🌳Incremental Parsing
Using Data Engineering to Track Food Prices and Inflation in Kenya from 2006 to 2025
dev.to·5d·
Discuss: DEV
🤖Archive Automation
Obscured but Not Erased: Evaluating Nationality Bias in LLMs via Name-Based Bias Benchmarks
arxiv.org·4d
💻Programming languages
Build a Fullstack Stock Portfolio Agent with LangGraph and AG-UI
dev.to·4d·
Discuss: DEV
📐Proof Assistants
I Built an Tool to AI Agent Testing
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Agentic AI framework for End-to-End Medical Data Inference
arxiv.org·3d
🧠Machine Learning