🏛️ Agda

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

More parity error instances - new fault in the core memory stack
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🧪Hardware Fuzzing
Shaped vs. Algolia: The Definitive Guide for Engineering & Product Teams
shaped.ai·2d
🌀Brotli Internals
Devlog: Godot Project — Level 4-2 And Level 2-3
lmika.org·3h
📼Retro Games
Show HN: Generate mind maps from anything with AI
instantmind.ai·5h·
Discuss: Hacker News
🌱Personal Wikis
A front end love story
tobiasuhlig.medium.com·2d·
Discuss: Hacker News
🌐WASI
Vibe Coding an SMTP Server, in Rust
mailpace.com·3d·
Discuss: Hacker News
🦀Rust Macros
Beyond accelerators: Lessons from building foundation models on AWS with Japan’s GENIAC program
aws.amazon.com·3d
👁️Observatory Systems
Choosing Public Datasets for Private Machine Learning via Gradient Subspace Distance
arxiv.org·1d
🧠Machine Learning
Ever been jolted awake at 3 AM by a PagerDuty alert, only to fix something you knew could’ve been automated?
reddit.com·1d·
Discuss: r/kubernetes
🏠Home Automation
Evaluating Ensemble and Deep Learning Models for Static Malware Detection with Dimensionality Reduction Using the EMBER Dataset
arxiv.org·2d
🦠Malware Analysis
🤖 When ChatGPT Pretends to Be Grok… And Knows Too Much 😅
dev.to·3h·
Discuss: DEV
🚀Indie Hacking
Demonstration of Efficient Predictive Surrogates for Large-scale Quantum Processors
arxiv.org·2d
⚛️Quantum Compilers
Maybe (personal finance app) v0.6.0, post-mortem
github.com·22h·
Discuss: Hacker News
🔍BitFunnel
onetapID: Building with Bolt - WLH Challenge
dev.to·18h·
Discuss: DEV
🖥️Modern Terminals
The Human-AI Interface: Designing Developer Workflows for Collaborative Intelligence (Post-Migration)
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·4d
📐Error Bounds
Oso Focuses on Fine-Grained Authorization To Thwart AI Risks
thenewstack.io·1d
🔒WASM Capabilities
How LLMs Comprehend Temporal Meaning in Narratives: A Case Study in Cognitive Evaluation of LLMs
arxiv.org·4d
🧠Intelligence Compression
Teaching the Toaster: What We Get Wrong About AI "Learning"
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
CogDual: Enhancing Dual Cognition of LLMs via Reinforcement Learning with Implicit Rule-Based Rewards
arxiv.org·2d
🌳Context free grammars