From Some to All The Basics of Logic in Computers
dev.to·3d·
Discuss: DEV
🔢Mathematical Logic
Dyna – Logic Programming for Machine Learning
dyna.org·4d·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
Switch Statements
learn.microsoft.com·6h·
Discuss: DEV
⚙Functional Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·10h·
Discuss: r/rust
🧠Memory Management
Is this logic sound?
reddit.com·21h·
Discuss: r/compsci
🧭SMT Solvers
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·9h
🔗Parser Combinators
Sapir-Whorf does not apply to Programming Languages
buttondown.com·41m
🧮Programming Language Theory
Implementing Gist Memory: Summarizing and Searching Long Docs with a ReadAgent
inference-docs.cerebras.ai·1d·
Discuss: Hacker News
🔗Parser Combinators
how to resolve a halting paradox
academia.edu·1d·
Discuss: r/programming
⚖️Logic Programming
Wrote my own global ~/.claude/CLAUDE.md, how does it look
reddit.com·4h·
Discuss: r/ClaudeAI
🧩Theorem Proving
The 'Demo Spell' and 'Production Dilemma' of AI Agents: How I Built a Self-Learning Agent System
github.com·1d·
Discuss: DEV
🧩Theorem Proving
I Used AI to Write Code for 30 Days Straight. Here's What Actually Happened
dev.to·3h·
Discuss: DEV
🧩Theorem Proving
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
A Multi-Agent Reinforcement Learning (MARL) Framework for Designing an Optimal State-Specific Hybrid Maintenance Policy for a Series <em>k</em>-out-of-<em>n</em...
sciencedirect.com·1d
🎲Probabilistic Programming
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·2h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
In defence of goto: sometimes using goto is ok.
blog.llwyd.io·5h·
Discuss: r/C_Programming
⚖️Logic Programming
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🧩Theorem Proving
Master Arduino Programming - Lesson #6
hackster.io·23h
🔧Compiler Design
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·1d
🧮Programming Language Theory
MCP Agents vs. Classic RAG: Rethinking Retrieval for Internal Chatbots
pub.towardsai.net·42m
🔗Parser Combinators