⚙ Backus-Naur Form - matmat · Scour

Ten years since the first reported observation of gravitational waves

nature.com·3h

⏰Time Crystals

Computing submatrices of the Hermite normal form of a structured polynomial matrix

arxiv.org·1d

📐Linear Algebra

Jordan Stolz crushes Olympic 1000m record to begin four-gold pursuit after reskate

theguardian.com·35m

Salesforce sent emails scolding employees for 'absence' at a company event after its CEO joked about ICE

businessinsider.com

·24m

🎫Kerberos Attacks

weeknotes.barrucadu.co.uk·3d

📝Concrete Syntax

Widespread loss of marine sponges possible if heat waves intensify by just 1°C

phys.org·2m

🧬Copy Number Variants

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·2d

⚔️Lean Theorem

Finally got a replacement for my faulty drive, now I'll start the resilvering process, any tips?

i.redd.it·1d·

Discuss: r/homelab

⛏️File Carving

Mesa 26.0 Released With RADV Ray Tracing Performance Gains

linuxiac.com·15m

🖥️Terminal Renaissance

Apple releases iOS 26.3 with updates that mainly benefit non-Apple devices

arstechnica.com·21m

🔌Operating system internals

Valkyries’ decision-makers remain busy, optimistic as WNBA’s CBA negotiations drag on

mercurynews.com

·15m

Making Waffles with Group Theory

hmpcabral.com·2d·

Discuss: Hacker News

🔄Graph Rewriting

Is your campaign structure holding you back in the era of AI?

blog.google·1m

🔲Cellular Automata

How to cancel Mullvad VPN

engadget.com·10m

🏴‍☠️Piracy

Nevada National Security Site in Mercury, Nevada

atlasobscura.com·20m

📡DNS Archaeology

OpenAI researcher quit over ads because she doesn't trust her former employer to keep its own promises

the-decoder.com·15m

⚖️Emulation Ethics

Return Of The 100-Year Tech Bond (NYSEARCA:SPY)

seekingalpha.com

·1d

📡DNS Archaeology

From ‘Quad God’ to ‘Milk God’: The 'milk' ban in Dairy UK v Oatly

ipkitten.blogspot.com·34m·

Discuss: ipkitten.blogspot.com

🏷️Metadata Standards

Alleged drones in El Paso airspace cast spotlight on Mexican cartels’ growing arsenals

theguardian.com·12m

🎫Kerberos Exploitation

Bluefin Linux: ChromeOS simplicity meets Linux power

thenewstack.io·10m

🔌Operating system internals

Loading more...