📐 Quotient Types - abnv · Scour

Maximum council tax rise approved as Oxfordshire set to lose millions

heraldseries.co.uk·1h

📚Stack Allocation

Councillors call for long-term solution after another 'burst water main'

gazette-news.co.uk·1h

🌲Deforestation

Colorado State defeats Air Force 91-74

the-journal.com·55m

Staring At Your Shoes

gregmorris.co.uk·56m

🚶Tree-walking

Waymo 100% Driverless in Nashville

cleantechnica.com·1h

↔️Bidirectional Sync

A World Appears by Michael Pollan — are we any closer to solving consciousness?

ft.com

·1h

💫Effect Systems

<img src="https://apod.nasa.gov/apod/calendar/S_260210.jpg" align="left" alt="Raise your arms if you see a...

apod.nasa.gov·51m

🔗Lexical Scoping

We Don’t Have an API. Right. Your Frontend Talks to the Backend Telepathically.

rentgen.io·57m·

Discuss: DEV

A LaTeX Template for Fiction Writers That Keeps Every Draft (Original + Edited)

hackernoon.com·58m

📚Self-Documenting Code

5 ways to help a partner who is dealing with depression

timesofindia.indiatimes.com·55m

💬Error Messages

Celebrating the State Library at Government House Sydney

web-goddess.org·57m

💬REPL Design

F-GRPO Fixes RL’s “Rare Solution Amnesia” Without Bigger Batches

hackernoon.com·55m

📦Executable Size

Agentic Proof-Oriented Programming

risemsr.github.io·5d·

Discuss: Lobsters, Hacker News

lawrencecpaulson.github.io·6d

⚖️Inference Rules

Ukraine-Russia war latest: Norway fears Putin could invade it next as Moscow claims gains in Zaporizhzhia

independent.co.uk·58m

🔐Capability Protocols

Last-Minute Valentine's Day Gift Ideas Under $50 That Actually Look Expensive (2026)

dev.to·57m·

Discuss: DEV

New Gas-Fired Plants Bring Needed Generation, Flexibility to the Power Sector

finance.yahoo.com·55m

🌪️V8 TurboFan

Why This Analyst Just Slashed Their Price Target on Qualcomm Stock by 30%

finance.yahoo.com·55m

Sympol/pure-assert: A lightweight, zero-dependency, expressive Java library for pure input assertions.

github.com·5d·

Discuss: DEV, Hacker News

omniflare/expression-solver: parsing expressions (basic lang) into AST compiling into bytecode and running on VM to solve math problems

github.com·3d·

Discuss: r/rust

🌱Tiny Languages

Loading more...