PostgreSQL 18 – Virtual Generated Columns
hashrocket.com·2h·
Discuss: Hacker News
🗄️Database Theory
Flag this post
TBM 386: Understanding Enabling Constraints Using Shape Up (Basecamp)
cutlefish.substack.com·1d·
Discuss: Substack
🔌Network Programming
Flag this post
[R] Knowledge Graph Traversal With LLMs And Algorithms
reddit.com·9h·
🧩Theorem Proving
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
Functional Programming
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·11h
🧭SMT Solvers
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·18h
🧮Programming Language Theory
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·9h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Decoding Life's Code: AI-Powered Causal Inference for Biological Networks by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Flag this post
Wordle Solver
reddit.com·13h·
Discuss: r/opensource
🔗Parser Combinators
Flag this post
Matrix Phylogeny: Compact Spectral Fingerprints for Trap-Robust Preconditioner Selection
arxiv.org·1d
🕸️Graph Theory
Flag this post
When Modalities Conflict: How Unimodal Reasoning Uncertainty Governs Preference Dynamics in MLLMs
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·2h
🎲Probabilistic Programming
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·1d·
🔗Parser Combinators
Flag this post
Not Over Or Under Indexed
lesswrong.com·8h
🗄️Database Theory
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·2d·
Discuss: DEV
📈Complexity Theory
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·1d
🎲Probabilistic Programming
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post