Dependent Types, Proof Assistant, Type-driven Development, Verification

KubeVirt Audit is Complete!
ostif.org·4h
📦Container Security
Flag this post
Non-recursively deleting a binary tree in constant space: Restructuring the tree
devblogs.microsoft.com·4h
🌲B+ Tree Forensics
Flag this post
The R47: A new physical RPN calculator released today in 2025
swissmicros.com·11h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Flag this post
This Strange Particle May Hold Clues to the Universe’s Biggest Secrets
scitechdaily.com·15h
Time Crystals
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·3d
📏Code Metrics
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·1d·
Discuss: Hacker News
Minimalism
Flag this post
original ↗
raymondcamden.com·19h·
Discuss: Hacker News
🚀Indie Hacking
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·3d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Becoming a Core Developer
stefaniemolin.com·5d
🦀Rust Macros
Flag this post
I love AI; I hate AI
ewanvalentine.co.uk·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
AIOps for SRE — Using AI to Reduce On-Call Fatigue and Improve Reliability
devops.com·7h
💾Persistence Strategies
Flag this post
Evolutionary Optimization Trumps Adam Optimization on Embedding Space Exploration
arxiv.org·14h
🔍Vector Forensics
Flag this post
Developing and AI
dev.to·5h·
Discuss: DEV
🔄Language Evolution
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1h·
Discuss: DEV
🚀Indie Hacking
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·3d
🔄Reproducible Builds
Flag this post
Unsupervised Learning for Industrial Defect Detection: A Case Study on Shearographic Data
arxiv.org·2d
🧠Machine Learning
Flag this post
How to Create Your Own AI GPT: A Developer’s Guide
dev.to·3d·
Discuss: DEV
🎙️Whisper
Flag this post
OpenAI launched Atlas and I killed it with a Chrome extension
dev.to·2d·
Discuss: DEV
🌐Web Standards
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·1d
🎙️Whisper
Flag this post
Decoupling Augmentation Bias in Prompt Learning for Vision-Language Models
arxiv.org·1d
📊Learned Metrics
Flag this post