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

Dissecting my MiniBanners program – part 1
subethasoftware.com·10h
📺VT100
Flag this post
Comparing Data Serialization Formats: Code, Size, and Performance
qt.io·15h·
Discuss: Hacker News
🔧KAITAI
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·2d·
🔌Interface Evolution
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
⚙️RISC-V Microcode
Flag this post
Daily Artificial Intelligence Digest - Nov 04, 2025
dev.to·3h·
Discuss: DEV
🤖AI Curation
Flag this post
Ajla Tutorial
ajla-lang.cz·4d·
Discuss: Hacker News
💧Liquid Types
Flag this post
A Thesis and Playbook for Edge AI
ondeviceguy.substack.com·18h·
Discuss: Substack
🌊Streaming Systems
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building an AI-Powered Migration Pathways Agent with Go and the A2A Protocol
dev.to·7h·
Discuss: DEV
🦋Format Metamorphosis
Flag this post
Show HN: Calque, Snapshot Testing in Elixir
github.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·1d
🤝Consensus Algorithms
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
news.ycombinator.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
AI-Driven Biomarker Discovery for Accelerated Orphan Drug Development
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·14h·
Discuss: DEV
🎙️Whisper
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·15h·
Discuss: DEV
🧮Kolmogorov Bounds
Flag this post
AI-Assisted Coding & Automated Debugging: The Tools That Might Just Save Your Sanity
dev.to·23h·
Discuss: DEV
Proof Automation
Flag this post