🎯 Dependent Types - matmat · Scour

A propos - Bangladesh vote 'a canary in a coalmine for developments in the Global South', expert says

france24.com·26m

🔎OSINT Techniques

Haaland ends open play goal drought as Man City beat Fulham

bbc.com

·18m

💻Local first

Trump team’s new rule could make firing government scientists easier

nature.com·9m

⚖️Legal Compliance

Russia’s New ‘Lightning’ Attack Drone Is Deadly—And It’s a Threat to the U.S.

popularmechanics.com·34m

🇷🇺Russian Computing

The Telegram App Has a New Look, and a Weird New Feature

lifehacker.com·48m

🔌Interface Evolution

Anthropic says it’ll try to keep its data centers from raising electricity costs

theverge.com

·11m

🖥️Self-hosted Infrastructure

2026 Winter Olympics: The skill and controversy of Guillaume Cizeron and Laurence Fournier Beaudry

bbc.com·11m

⚙Backus-Naur Form

Spotlight - 'If the Cuban government were to collapse, that would be a security threat to the United States'

france24.com·14m

🛡Cybersecurity

Danny Masterson’s ex Bijou Phillips pleads on social media for kidney

the-independent.com·25m

Linus Torvalds Rejects MMC Changes For Linux 7.0 Cycle: "Complete Garbage"

phoronix.com·15m

🔌Operating system internals

‘I didn’t believe it was me in the photos’: Gisele Pelicot recalls horror of learning her husband drugged her for mass rape

the-independent.com·25m

🌐WARC Forensics

What Homeowners Need to Know About Smart Home Cameras

nytimes.com

·30m

🏠Home Automation

IJH: Why I've Turned Bullish On This $112B S&P MidCap 400 ETF (NYSEARCA:IJH)

seekingalpha.com

·22m

Robinhood: Buy After Crypto Reset (NASDAQ:HOOD)

seekingalpha.com

·19m

CMU Flite: Speech Synthesizer

festvox.org·9m

🗣️CMU Pronouncing

Quark's Outlines: Python Code Blocks

dev.to·4d·

Discuss: DEV

🦀Rust Macros

Aeon: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "Offsets"

dev.to·4d·

Discuss: DEV

🐚Shell Calculus

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·1d

✅Formal Methods

VERIFY-RL: Verifiable Recursive Decomposition for Reinforcement Learning in Mathematical Reasoning

arxiv.org·1d

⚔️Lean Tactics

Drawing & Photo Widget for BFFs and Couples

trylongdistance.com·17m·

Discuss: Hacker News

⟷Bidirectional Programming

Loading more...