👑 Dependent Haskell - matmat · Scour

Two powerful, OLED-equipped gaming laptops are hundreds off

theverge.com·24m

🖥️Modern Terminals

Astronomers witness vanishing star collapse into a black hole in Andromeda galaxy

space.com

·34m

🔬Optical Physics

Archaeologists Uncovered a Lost City Hidden Beneath the Desert for 1,200 Years

popularmechanics.com·34m

🏺Computational Archaeology

Susan Grode, Hollywood Power Lawyer, Dies at 86

hollywoodreporter.com

·34m

🏛Digital humanities

Read more: Swiss discovery of misplaced planet challenges established theories

swissinfo.ch·34m

🏺Kerberos Archaeology

The beloved Olympic mascots are color-changing critters that are vulnerable to climate change

mercurynews.com

·34m

🧊Arctic Storage

'Your data is public': Hacker warns victims after leaking 6.8 billion emails online

techradar.com

·24m

From Baghdad to Frankfurt: Wikimedia Futures Lab 2026

diff.wikimedia.org·23m

🏛Digital humanities

Piedmont Realty Trust, Inc. (PDM) Q4 2025 Earnings Call Transcript

seekingalpha.com·19m

📈Time Series

‘Avatar: Fire and Ash’ VFX Team Takes “Real Issue” With Oscars Overlooking Departments for Using CG

hollywoodreporter.com

·34m

🎭Cinema Acoustics

New study maps where wheat, barley and rye grew before the first farmers found them

phys.org·12m

🌳B-tree Archaeology

'If you're a PlayStation player, you're going to buy it on PlayStation. You're not going to play it on Game Pass' — Squanch Games CEO says making the PS5 version of High on Life 2 it's main platform 'was a no-brainer'

techradar.com

·34m

🏺Gaming Archaeology

Bangladesh election results: Nationalist Party race ahead of Islamist rival after early count

the-independent.com·26m

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

Neurocrine Biosciences: Expanding Opportunities, 2026 Will Be Less Exciting (NASDAQ:NBIX)

seekingalpha.com

·18m

Scientists say genetic analysis could greatly speed restoration of iconic American chestnut

the-independent.com·33m

🧊Arctic Storage

Trump just killed the EPA’s ability to fight climate change. It may backfire.

grist.org·32m

📜Document Physics

A new turbulence equation for eddy interactions: AI and physics team up to tackle notoriously difficult question

phys.org·13m

🔲Cellular Automata

I Built a Programming Language Where think Is a Keyword

dev.to·5d·

Discuss: DEV

🔗Concatenative Programming

Wider systems for linear logic with fixed points: proof theory and complexity

arxiv.org·14h

📏Linear Logic

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·2d

🦀Rust Verification

Loading more...