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·5d·
Discuss: Lobsters, Hacker News, r/compsci
⚖️Logic Programming
Switch Statements
learn.microsoft.com·15h·
Discuss: DEV
⚙Functional Programming
Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·19h·
Discuss: r/rust
🧠Memory Management
Is this logic sound?
reddit.com·1d·
Discuss: r/compsci
🧭SMT Solvers
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·19h
🔗Parser Combinators
Designing Trustworthy ML Models: Alan & Aida Discover Monotonicity in Machine Learning
towardsdatascience.com·3h
🎲Probabilistic Programming
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·2h·
Discuss: Hacker News
🧩Theorem Proving
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·11h
⚙Functional Programming
My personal review of execution of hard, real word programming task with different models.
reddit.com·12h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Sapir-Whorf does not apply to Programming Languages
buttondown.com·10h
🧮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·7h·
Discuss: Lobsters, Hacker News
🎯Constraint Programming
Optimizing how cells self-organize: Computational framework extracts genetic rules
phys.org·8h
🧫Cellular Automata
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·2d
🎲Probabilistic Programming
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Mastering Self-Consistency Prompting
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·12h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
CRYSTALS - The Gently Introduction
dev.to·4h·
Discuss: DEV
🔐Cryptography