Typechecker Zoo
sdiehl.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🧮Programming Language Theory
Cobra & Viper Fortify Security as Part of GitHub Secure Open Source Fund
spf13.com·2d
🔌Network Programming
Exceptional storytelling and the myth of superhuman AI
bigthink.com·2h
🤖Sci-Fi
original ↗
pvk.ca·2d·
Discuss: Lobsters, Hacker News
🏗Computer Architecture
How AMD dominating HEDT with Threadripper redefined the CPU market
xda-developers.com·37m
🏗Computer Architecture
Event Log Explorer 5.7
majorgeeks.com·2d
📦WebAssembly
How to Ensure Reliability in LLM Applications
pub.towardsai.net·3d
✅Formal Verification
Boring Chatbots Are Out! Build Conversational AI Agent with ChatGPT
ciphernutz.com·2h·
Discuss: DEV
🤖Sci-Fi
Minimalist Mastro Framework Offers Modern Take on MPAs
thenewstack.io·1d·
Discuss: Hacker News
📦WebAssembly
Multi-Robot Navigation in Social Mini-Games: Definitions, Taxonomy, and Algorithms
arxiv.org·1d
⚖Algorithmic Game Theory
Automated Strain Relief Optimization in Robotic Cable Assemblies using Reinforcement Learning
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Inspire or Predict? Exploring New Paradigms in Assisting Classical Planners with Large Language Models
arxiv.org·3d
🔗Parser Combinators
Automated Test Case Prioritization with Dynamic Feature Interaction Graph Optimization
dev.to·3d·
Discuss: DEV
🔍Static Analysis
🧠 Generative AI with JavaScript – Full Course
dev.to·5d·
Discuss: DEV
🧩Theorem Proving
Aware First, Think Less: Dynamic Boundary Self-Awareness Drives Extreme Reasoning Efficiency in Large Language Models
arxiv.org·3d
🔗Parser Combinators
The Great Cognitive Handoff: How AI-Assisted Development Is Rewiring Civlization
zakelfassi.com·3d·
Discuss: Hacker News
💾Retrocomputing
I created a small terminal note manager
reddit.com·2d·
Discuss: r/commandline
📝Lisp
How are you as an employed developer using the claude code or other coding tools?
reddit.com·1d·
Discuss: r/ClaudeAI
🦀Rust
Unsupervised Pairwise Learning Optimization Framework for Cross-Corpus EEG-Based Emotion Recognition Based on Prototype Representation
arxiv.org·2d
🎲Probabilistic Programming
The 4-Hour Weekly Workflow That Keeps My Codebase Clean
dev.to·3d·
Discuss: DEV
🔍Static Analysis