Supply chains and watering holes
cryptography.dog·5d·
Discuss: Lobsters
💎Refinement Types
Behind the Scenes of MapYourGrid
mapyourgrid.org·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Emacs hacks: patching Markdown mode
oxal.org·1d·
Discuss: Hacker News
📺Vintage Apple
The Real Reasons Why Developers Burnout
jcmartinez.dev·3d·
Discuss: r/programming
🔬Static Analysis
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Static Analysis
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·4d·
Discuss: Substack
📦Unikernel Systems
Why feature selection methods rarely agree (I tested five side by side)
aayushig950.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
The Weekly Knowledge Audit
humanfrequencyai.substack.com·4d·
Discuss: Substack
🩹Self-Healing Systems
Managing HTTP Requests as Type-Safe TypeScript Classes
reddit.com·3d·
Discuss: r/programming
💎Refinement Types
The LLM models the user, and then it models itself
animassteward.substack.com·5d·
Discuss: Substack
📚Automata Learning
Aligning those who align AI, one satirical website at a time
theverge.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
SOLID Principles Unseen Questions with Answers Explained: Intermediate to Expert-Level
reddit.com·6d·
Discuss: r/programming
🔤DSLs
Chirality in Action: Time-Aware Video Representation Learning by Latent Straightening
arxiv.org·3d
📚Automata Learning
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·3d
✓Automated Theorem Proving
Agentic AI MOOC (9/15) –Taught by Experts from Google DeepMind, OpenAI, and More
news.ycombinator.com·5d·
Discuss: Hacker News
💻CS
RepViT-CXR: A Channel Replication Strategy for Vision Transformers in Chest X-ray Tuberculosis and Pneumonia Classification
arxiv.org·3d
📚Automata Learning
TSPC: A Two-Stage Phoneme-Centric Architecture for code-switching Vietnamese-English Speech Recognition
arxiv.org·5d
📚Automata Learning
Prototyping an AI-powered Tool for Energy Efficiency in New Zealand Homes
arxiv.org·5d
🧠Automated Reasoning
Symmetries in stochastic homogenization and acclimatizations for the RVE method
arxiv.org·2d
🐫OCaml
1.0 release of the Google Cloud client libraries for Rust
github.com·4d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds