🏛️ Agda

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

Not a bug
sigwait.org·1h
🌐IPFS
A clear prompt
nature.com·11h
🔗Concatenative Languages
Using Socratic Dialog with AI for Better Technical Decisions
matthewsinclair.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
⚙️Build Archaeology
Show HN: Generative Graphics LLM Benchmark
ggbench.com·4d·
Discuss: Hacker News
🖥️Terminal Emulators
Can modern LLMs actually count the number of b's in "blueberry"?
minimaxir.com·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Godfathers of AI Geoffrey Hinton and Yann LeCun warn "maternal instincts" are vital for keeping AI under human control
techspot.com·9h
🤖AI Curation
0G Launches WaveHack Buildathon For AI Developers On AKINDO With $50,000 Grant
hackernoon.com·2d
🚀Indie Hacking
Towards Optimal Transaction Scheduling
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🗄️Database Internals
Real-Time fMRI Analysis for Anxiety Prediction via Adaptive Kernel Regression and Topological Data Persistence
dev.to·7h·
Discuss: DEV
📈Mutual Information
Physics-Informed Multimodal Bearing Fault Classification under Variable Operating Conditions using Transfer Learning
arxiv.org·3d
🧠Machine Learning
Positional Biases Shift as Inputs Approach Context Window Limits
arxiv.org·3d
🔗Parser Combinators
Automated Quench Optimization via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·3d·
Discuss: DEV
🧮Algorithmic Cooking
Fine-Tuning ResNet-18 with TensorFlow Model Garden for CIFAR-10 Classification
hackernoon.com·3d
🧠Neural Codecs
MLOps in Action with Scalable Self-Updating Infection Spreading Prediction Pipeline
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
The AI That Sees Better Than Us Is Here, And It’S Open Source
dev.to·2d·
Discuss: DEV
🤖AI Curation
Automated Optimization of FinFET Channel Doping Profiles via Reinforcement Learning
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
How Does a Virtual Agent Decide Where to Look? - Symbolic Cognitive Reasoning for Embodied Head Rotation
arxiv.org·2d
🔲Cellular Automata
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
Productivity Workshop Ideas
third-bit.com·22h
🔩Systems Programming