Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·5h·
Discuss: Hacker News
✅Formal Verification
EyJaafCsubstantially: Cramming English words into JSON web tokens
tesseral.com·2d·
Discuss: Hacker News
🤝Protocol Design
You've Built a GenServer. Now Make It Fast, Observable and Bulletproof
freshcodeit.com·1d·
Discuss: DEV
🌍Distributed Systems
Deep linear networks
danmackinlay.name·1d
🔢Mathematical Logic
Requesting feedback on a streaming-json package before a 1.0.0 release
reddit.com·2d·
Discuss: r/node
📦WebAssembly
The current state of LLM-driven development
blog.tolki.dev·9h·
Discuss: Hacker News
📝Lisp
Large Language Models Still Exhibit Bias in Long Text
arxiv.org·1d
🧮Programming Language Theory
Building a “Summarize Text” Feature with the DeepSeek API
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Reasoning Models + Tool Use outperform most vision models for complex object detection
reddit.com·2h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
[D] In 2025, what is a sufficient methodology to analyze document summaries generated by LLMs? BERTScore, G-Eval, Rogue, etc
reddit.com·2d·
Discuss: r/MachineLearning
🔧Compiler Design
🍲Beginners guide to "Leetcode 808: Soup Serving"(C++ | JavaScript | Python)
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·3d
🔧Compiler Design
GeRe: Towards Efficient Anti-Forgetting in Continual Learning of LLM via General Samples Replay
arxiv.org·2d
🧩Theorem Proving
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
The LLM world is an illusion of progress
reddit.com·1d·
Discuss: r/LocalLLaMA
📝Lisp
Your OOP code looks fine: The Liskov Violation SILENTLY Breaking Production!
dev.to·23h·
Discuss: DEV
📐Type Theory
**Automated Bridge Bearing Condition Assessment via Multi-Modal Time Series Fusion & HyperScore Analytics**
dev.to·3h·
Discuss: DEV
🛡️IoT Security
The Enshittification of Generative AI
wheresyoured.at·1d
👐Open Source Software
Why SED is the Missing Link Between AI and Your Database
dev.to·5h·
Discuss: DEV
💭Prolog