Bookshelf #3
everydayislikewednesday.com·6h
🧮Programming Language Theory
Flag this post
Unpicking How to Measure the Complexity of Knots
wired.com·1d
🔄Category Theory
Flag this post
Releasing Isok 1.2.0 -- a PostgreSQL extension to assist with data cleanup and query based data integrity management
postgresql.org·22h
👐Open Source Software
Flag this post
LLMs achieve 90% accuracy in replicating consumer purchase intent
ppc.land·1h
🎲Probabilistic Programming
Flag this post
Could This Catalyst Send Cardano Soaring?
finance.yahoo.com·12h
🧩Theorem Proving
Flag this post
<p>**Abstract:** This paper introduces a novel framework for auditing algorithmic fairness in predictive policing systems using causal graph analysis and counte...
freederia.com·6h
🎲Probabilistic Programming
Flag this post
🧠 Build a Document Search with RAG | Hugging Face Transformers + Flan-T5 + NLP Tutorial
🔗Parser Combinators
Flag this post
Where do I even begin with system design, where do I even start ?
🏗️Software Architecture
Flag this post
The Genesis Engine: Where AI Agents Debate and Design Your Next Application
🏗️Software Architecture
Flag this post
TDD in Go, Gin, microservices
🧩Theorem Proving
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·3d
🧮Programming Language Theory
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·2d
🧭SMT Solvers
Flag this post
Automated Fault Injection & Resilience Validation in Embedded Systems via Reinforcement Learning
🎲Probabilistic Programming
Flag this post
Ravens-Vikings takeaways: Lamar Jackson propels Baltimore to 3rd straight win
nytimes.com·22m
📊Information Theory
Flag this post
3 apps I barely use anymore because of NotebookLM
xda-developers.com·1d
🧭SMT Solvers
Flag this post
Loading...Loading more...