🔗 Dependent Types - hello · Scour

higher dimensional automaton in nLab λFunctional Programming

ncatlab.org·6d

Serokell’s Work on GHC: Dependent Types, Part 5 📐Type Theory

serokell.io·20h

The last bit 🏷️Pointer Tagging

thinkingeek.com·2d

Automating Formal Verification with Reinforcement Learning and Recursive Inference 🧮SMT Solvers

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed 📐Computational Geometry

github.com·2d·Hacker News

How DeepMind AlphaProof Nexus Cracks 56-Year-Old Math: Agentic LLM Loops and Lean Formal Verification 🧮SMT Solvers

dev.to·5d·DEV

Authorities probing alleged sewage discharge in Perhentian waters 🐙Benthos

freemalaysiatoday.com·2d

Perfectoid Spaces by Tarpley Hitt and Olivia Kan-Sperling 📐Type Theory

theparisreview.org·6h

Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof 🌐Zero-Suppressed BDDs

IBM Research (https://research.ibm.com) | Boston, MA | Full-Time 🧬Computational Biology

news.ycombinator.com·4h·Hacker News

The Witcher 3 Songs of the Past Is an Expansion, Not DLC, CD Projekt Insists While Using IGN Interview With Idris Elba to Make the Point 🎮Game Development

ign.com·4d·r/PS5

See Masters of the Universe in HDR by Barco! 🌟Ray Tracing

youtube.com·6d

Sonic’s Knuckles Spinoff Gets Disappointing Season 2 Update Two Years Later 🕹️Itch.io

screenrant.com·1d

The Witcher 3's New Songs of the Past Expansion Could Be as Big as Cyberpunk 2077: Phantom Liberty 🕹️Itch.io

pushsquare.com·4d

Soccer Aid LIVE: England take on World XI in annual charity match at London Stadium 🎮Handheld Gaming

independent.co.uk·1d

Molecular design for high-performance organic photosensitizers 💾PMem Programming

·3d

'I was literally becoming Teela': We chat to Camilla Mendes about kicking ass in 'Masters of the Universe' ✨Gleam

·2d

He-Man, I have questions: 5 things about 'Masters of the Universe' that make no sense ⚡LMAX Disruptor

local12.com·1d

Practical Algebraic Stepping with Scoped Filters 💠Polyhedral Compilation

Aid from Uzbekistan reaches flood-hit areas in Afghanistan 🌍Geopolitics

Log in to enable infinite scrolling