MCP Tools and Dependent Types
vlaaad.github.io·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Grammarly is giving students AI to help them learn – and maybe succeed
techradar.com·1d
🧩Theorem Proving
The Genius of Survival
dothemath.ucsd.edu·1d
📈Complexity Theory
a word to my students
blog.ayjay.org·1d
🧩Theorem Proving
The End of Big, Dumb AI Data
procurefyi.substack.com·2d·
Discuss: Substack
🔗Parser Combinators
Harvesting Contextuality from the Vacuum
arxiv.org·2d
🎲Probabilistic Programming
Making a game to teach programming for my final CS thesis
reddit.com·1d·
Discuss: r/godot
🔧Compiler Design
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.org·3d
🧭SMT Solvers
The chronODE framework for modelling multi-omic time series with ordinary differential equations and machine learning
nature.com·1d
🧫Cellular Automata
Latent Plan Transformer for Trajectory Abstraction: Planning as Latent Space Inference
arxiv.org·2d
🎲Probabilistic Programming
Mastering React: A Complete Guide for Developers
dev.to·1h·
Discuss: DEV
📦WebAssembly
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·22h·
Discuss: DEV
🔍Static Analysis
Is anyone else finding it a pain to debug RAG pipelines? I am building a tool and need your feedback
reddit.com·22h·
Discuss: r/LLM
🔗Parser Combinators
Untangling the Web: Practical Middleware Patterns in Go
dev.to·1d·
Discuss: DEV
📐Type Theory
You Know JavaScript but Can’t Solve Problems in It?
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
How I Use AI to Refactor Without Losing Control
dev.to·22h·
Discuss: DEV
🔍Static Analysis
Contrastive Learning on Multimodal Analysis of Electronic Health Records
arxiv.org·1d
🔢Mathematical Logic
Prompt Engineering for Agentic Development: Getting Exactly What You Want Part 2
dev.to·2d·
Discuss: DEV
🔧Compiler Design
Ambient-Adaptive Real-time Noise monitoring
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Graph Concept Bottleneck Models
arxiv.org·4h
🎲Probabilistic Programming