💻 programming languages - matmat · Scour

CSLib: The Lean Computer Science Library

arxiv.org·4d

⚔️Lean Tactics

StraTyper: Automated Semantic Type Discovery and Multi-Type Annotation for Dataset Collections

arxiv.org·4d

🕵️Metadata Mining

aweussom/HowToShootYourselfInTheFoot: How to shoot yourself in the foot - using: Operating Systems, Programming Languages etc.

github.com·1d·

Discuss: Hacker News

🦀Rust Macros

France’s letters to 29-year-olds to remind them to have babies is a spectacular missing of the point

theguardian.com·57m

“Uptick In Abductions”: ICE Ramps Up Targeting of Minneapolis Legal Observers

theintercept.com·51m

🚨Incident Response

Nanodevice tugs single proteins to reveal how cells sense force

phys.org·49m

🧲Magnetic Domains

Databricks Grows >65% YoY, Surpasses $5.4 Billion Revenue Run-Rate, Doubles Down on Lakebase and Genie

databricks.com·50m·

Discuss: Hacker News

⚙️Batch Processing

Customizing the development environment for GitHub Copilot coding agent

docs.github.com·24m

How Agentic Memory Enables Durable, Reliable AI Agents Across Millions of Enterprise Users

engineering.salesforce.com·23m

💾Persistence Strategies

I made a map showing WW2 PoWs escape route from Northern France to Barcelona

stufro.github.io·25m·

Discuss: Hacker News

🔶Voronoi Diagrams

Cuba says airlines can no longer refuel on the island as US blockade deepens energy crisis

the-independent.com·43m

🛡Cybersecurity

Sir Keir is the loneliest PM – but he must stay in office

the-independent.com·12m

🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing

Qatar Open: Emma Raducanu retires in first round two days after Transylvania Open final defeat

bbc.com·43m

‘Anais in Love’ Director Charline Bourgeois-Taquet Returns With ‘A Woman’s Life,’ Boarded by Be For Films (EXCLUSIVE)

variety.com·38m

📦MKV Containers

Kurtenbach: The Dan Marino Trap is real, and it just ensnared Drake Maye

mercurynews.com

·48m

🎯Threat Hunting

How Netflix Filmed Alex Honnold’s Taipei 101 Climb: 19 Cameras, 2 Drones, 1 Helicopter and the Longest Cable Dolly Ever Attempted

hollywoodreporter.com

·36m

⚙️Tape Transport

Hotel guests embrace AI convenience—but still want a human touch, study finds

phys.org·38m

🏠Home Automation

Unified crypto pricing API for developers

luzia.dev·27m·

Discuss: Hacker News

🔗Hash Chains

I tested the Lenovo ThinkPad T14s 2-in-1 Gen 1 - a fresh spin on my favorite portable business laptop

techradar.com

·49m

🖥️Modern Terminals

CPUs are Back: The Datacenter CPU Landscape in 2026

newsletter.semianalysis.com

·51m·

Discuss: Hacker News

⚡CPU Microarchitecture

Loading more...