🏛️ Agda

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

How do Rails/Golang/Python handle canceling a HTTP request mid transaction?
sent-hil.com·4h·
Discuss: Hacker News
📝SQLite WAL
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·3d·
Discuss: Hacker News
🔓Decompilation
Maybe writing speed actually is a bottleneck for programming
buttondown.com·3d·
Discuss: Hacker News
📏Code Metrics
Writing Is Thinking
nature.com·2h·
Discuss: Hacker News
🏛Digital humanities
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·2d·
Discuss: Hacker News
⚡Proof Automation
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·4d
🤝Distributed Consensus
Machine Learning Fundamentals: dropout tutorial
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
StyleHub – Building a Fashion Storefront with Bolt-Powered Speed
dev.to·3h·
Discuss: DEV
🚀Indie Hacking
The Proportional Fair Scheduler in Wavelength-Multiplexed Quantum Networks
arxiv.org·4h
⚛️Quantum Channels
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·16h·
Discuss: Hacker News
🐛Fuzzing
The Future of Wearable Tech,Meta AI’s Ray-Ban Smart Glasses,and the Potential for VR-Integrated Gamification
dev.to·10h·
Discuss: DEV
✋Tactile Computing
Fastest AI Model ever
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Wrote a tiny FSM library in Go for modeling stateful flows (bots, games, workflows)
reddit.com·3d·
Discuss: r/golang
💧Liquidhaskell
A beginner's guide to the Background-Remover model by 851-Labs on Replicate
dev.to·7h·
Discuss: DEV
🔓Reverse engineering
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·6d
🔲Proof Irrelevance
Context Engineering for AI Agents: Lessons
manus.im·2d·
Discuss: Hacker News
⚡Incremental Computation
Dataset resulting from the user study on comprehensibility of explainable AI algorithms
arxiv.org·3d
🧠Machine Learning
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·3d·
Discuss: Hacker News
💻Local LLMs
Understanding Derivatives: The Slope of Change
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
Iteratively Learning Muscle Memory for Legged Robots to Master Adaptive and High Precision Locomotion
arxiv.org·4h
⚡Incremental Computation