Sermon Writing Workflow (Apps)
deskofmatt.com·12h
🧩Theorem Proving
Seeing more posts like this (and I don’t mean to single out Andrea!)
bsky.app·1d·
Discuss: Bluesky
🧩Theorem Proving
Vector types and debug performance
blog.s-schoener.com·4d·
Discuss: Hacker News, r/cpp
🔍Static Analysis
How to make a Domain-Specific Language for non-devs (so they don't need AI) (WHY2025)
cdn.media.ccc.de·1d
🔌Network Programming
Fixing CLI Error Handling: A Deep Dive into Keyshade's WebSocket Communication Bug
linkedin.com·12h·
Discuss: r/SoftwareEngineering, r/opensource, r/programming
👐Open Source Software
Two Versions, One Project - A Guide to Java Dependency Shading
dev.to·2d·
Discuss: DEV
👐Open Source Software
PYNQ-Z2 Music Visualizer
hackster.io·16h
📦WebAssembly
Procedural Map Generation: From ASCII to Prefabs
dev.to·8h·
Discuss: DEV
🧫Cellular Automata
A Task You MUST Do If You're Using Claude Code with Git
dev.to·5d·
Discuss: DEV
🦀Rust
Anonymous Structures in C
dev.to·2d·
Discuss: DEV
📝Lisp
Autonomous Dynamic Voltage Scaling via Reinforcement Learning for Power Efficiency in High-Performance Computing
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
My first open source project ever: Tiny Code Share
reddit.com·7h·
Discuss: r/opensource
👐Open Source Software
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·5d
🎲Probabilistic Programming
All you need to know about Tokenization in LLMs
medium.com·2d·
Discuss: Hacker News
🔗Parser Combinators
EICAP: Deep Dive in Assessment and Enhancement of Large Language Models in Emotional Intelligence through Multi-Turn Conversations
arxiv.org·2d
🧮Programming Language Theory
Create Better Code Documentation 10x Faster with AI
dev.to·17h·
Discuss: DEV
🧩Theorem Proving
Stationarity Exploration for Multivariate Time Series Forecasting
arxiv.org·1h
🎲Probabilistic Programming
Dipping Your Toes into AI? Here's What You Should Read.
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
AR-GRPO: Training Autoregressive Image Generation Models via Reinforcement Learning
arxiv.org·1d
🎲Probabilistic Programming
From Dots and Dashes to Modern Web: Building a Morse Code Translator That Developers Actually Want to Use
dev.to·2d·
Discuss: DEV
🤝Protocol Design