From Some to All The Basics of Logic in Computers
dev.to·3d·
Discuss: DEV
🔢Mathematical Logic
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·12h
🔗Parser Combinators
Switch Statements
learn.microsoft.com·9h·
Discuss: DEV
⚙Functional Programming
Dyna – Logic Programming for Machine Learning
dyna.org·4d·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·13h·
Discuss: r/rust
🧠Memory Management
Is this logic sound?
reddit.com·1d·
Discuss: r/compsci
🧭SMT Solvers
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·4h
⚙Functional Programming
Sapir-Whorf does not apply to Programming Languages
buttondown.com·3h
🧮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
Discrete optimization for on-call scheduling (2021)
rainforestqa.com·46m·
Discuss: Lobsters, Hacker News
🎯Constraint Programming
Wrote my own global ~/.claude/CLAUDE.md, how does it look
reddit.com·8h·
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·7h·
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·5h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
In defence of goto: sometimes using goto is ok.
blog.llwyd.io·8h·
Discuss: r/C_Programming
⚖️Logic Programming
Optimizing how cells self-organize: Computational framework extracts genetic rules
phys.org·2h
🧫Cellular Automata
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
🧩Theorem Proving