👑 Dependent Haskell - matmat · Scour

Ukrainian racer calls Olympic ban over war victim helmet ‘a terrible mistake’

the-independent.com·47m

🇵🇱Elwro Systems

ICE is pushing Minneapolis underground

theverge.com

·25m

💻Local first

France proposes bold measures to boost birth rate

france24.com·45m

🇫🇷French Computing

These are the most Gen Z Olympics yet. Oversharing, activism, and AI are all on the podium.

businessinsider.com

·44m

🇸🇪Nordic Algorithms

Russian missile strike bombardment takes out power in Ukrainian cities

the-independent.com·45m

🇷🇺Russian Computing

Setting Up the Perfect Mac Development Environment in 2026

jonathansblog.co.uk·34m

❄️Nix Adoption

'We accomplished a lot, and I couldn't be more proud' — Wildlight Entertainment confirms layoffs at Highguard studio two weeks after the game's launch, which a former dev says has affected most of the team

techradar.com

·31m

🇸🇪Nordic Demoscene

France's Duplomb law debate reignites over controversial pesticides

france24.com·43m

⚗️Polynomial Codes

U.S lawmakers demand sales ban on chipmaking tools to China — bipartisan group targets ASML's Dutch exports of lithography machines used to create advanced chip...

tomshardware.com

·35m

⚙️DIY Electronics

The US Air Force needs to buy hundreds of sixth-gen fighters and bombers to be ready for a China fight, airpower experts say

businessinsider.com

·39m

⚙️systems theory

‘Utterly hilarious’: Simon McBurney on how the great clown Philippe Gaulier changed his life

theguardian.com·37m

🧮Algorithmic Cooking

Here’s a key task for the new boss at the BBC: solve the mystery of all the disappearing women

theguardian.com·43m

📰RSS Reading Practices

Syndax Pharmaceuticals' Early Launch Success Signals Continued Growth Into 2026 (NASDAQ:SNDX)

seekingalpha.com

·40m

🔍Information Retrieval

Rates Spark: Domestic Drivers More Important Than U.S. Spillovers

seekingalpha.com

·38m

🗄️Database Internals

$\chi_{0}$: Resource-Aware Robust Manipulation via Taming Distributional Inconsistencies

arxiv.org·2d

⚡Incremental Computation

Exactly Computing do-Shapley Values

arxiv.org·2d

🌊Streaming Algorithms

A Proof of P = NP

dev.to·3d·

Discuss: DEV

🎯Performance Proofs

Ruhal-Doshi/hld-bench: Open-source benchmark evaluating LLMs on high-level system design

github.com·3d·

Discuss: Hacker News

🔍FPGA Verification

Structure Beats Prose: Specs for Coding Agents That Actually Work

medium.com·2d·

Discuss: Hacker News

⚡Proof Automation

When Models Examine Themselves: Vocabulary-Activation Correspondence in Self-Referential Processing

zenodo.org·2d·

Discuss: Hacker News

💾Floppy Imaging

Loading more...