📐 CS Theory - Shawn

Discussed on DEV

🛠️Indie Dev Patreon·

Bcachefs 1.38.6 - the performance release

Covered by 3 sources including Phoronix, The Register

Discussed on Hacker News and Lobsters

🔄Systems Thinking Nature·

Agricultural sustainability monitoring in arid regions using hybrid deep learning and Landsat 8 imagery in Najran City, Saudi Arabia

📊Bayesian Reasoning arXiv·

ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

🎨Creative Coding Adrian Sampson·

Advanced Compilers: The Self-Guided Online Course

Covers llvm.org - 20.3 kb

Covered by 4 sources including Hacker News, daemonology.net

Discussed on Hacker News

🎲Probability arXiv·

A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

🔧Tools for Thought Techrights·

Links 18/06/2026: UK Social Media Ban for Minors, Finland Lifts a Nuclear Weapons Ban

Covers 9 stories including Social media ban: responses to 10 common objections • Edrith

🧱First Principles SiliconANGLE·

Architect Labs nabs $24M to speed up chip design projects with AI

🧠Epistemology journals.plos.org·

A comparison of contact patterns derived from the population structure in agent-based models and empirical contact survey data

🧱First Principles Made By Nathan (Page 1)·

Reproducing a String Theory Vacuum in Rust

🎨Creative Coding arXiv·

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things

🗺️Mental Models ibm.com·

Allstate explores quantum computing for insurance portfolios

🔧Tools for Thought Neil Kakkar·

AI Made Me Braver

Discussed on Hacker News

📝PKM TNW | Artificial-Intelligence·

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

📝PKM arXiv·

KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base

Less-relevant results

🧠Epistemology julianrdcosta.substack.com·

Any Sufficiently Large Lookup Table Must Be Conscious

Discussed on Substack

LLM-Guided Test-Time Discovery of Quantum-Chemical Approximation Algorithms

Are computational complexity principles relevant for explaining brain activity?

Toward a Kantian refutation of Agent Foundations

Central limit theorem for the averaged Adam optimizer

Turing's Freedom Machine: Shifting Gravity to Break the Mainframe's Chains

Bcachefs 1.38.6 - the performance release

Agricultural sustainability monitoring in arid regions using hybrid deep learning and Landsat 8 imagery in Najran City, Saudi Arabia

ForEx: A Formal Verification Framework for Explainable Reasoning in Logical Fallacy Detection and Annotation

Advanced Compilers: The Self-Guided Online Course

A Formal Tool for Verification of Probabilistic Spiking Neural Networks Based on Quotient Abstractions

Links 18/06/2026: UK Social Media Ban for Minors, Finland Lifts a Nuclear Weapons Ban

Architect Labs nabs $24M to speed up chip design projects with AI

A comparison of contact patterns derived from the population structure in agent-based models and empirical contact survey data

Reproducing a String Theory Vacuum in Rust

Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things

Allstate explores quantum computing for insurance portfolios

AI Made Me Braver

Pramaana Labs raised $27M to wrap AI in mathematical proof for law, tax, and drug discovery

KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base

Any Sufficiently Large Lookup Table Must Be Conscious