🔠 Type-Level Programming - matmat · Scour

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems

arxiv.org·3d

🌳Context free grammars

Towards Green AI: Decoding the Energy of LLM Inference in Software Development

arxiv.org·3d

🔍Type Inference

Steal my code: I built a RAG agent for sales people

dev.to·3d·

Discuss: DEV

⚡Proof Automation

A Field Guide to Federated Optimization

dev.to·1d·

Discuss: DEV

🤐Secure Multiparty

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

github.com·1d·

Discuss: Hacker News

🦀Rust Macros

Olympics crowd showed ‘European pride’ by booing JD Vance, EU top diplomat says

politico.eu·1h

🎫Kerberos Attacks

BBC bumps telly tax to £180 as Netflix lurks with cheaper tiers

theregister.com·1h

🎥Streaming Codecs

Samuel Suffren’s Blue Heart captures the hearts of the Clermont-Ferrand jury - Shorts

cineuropa.org·1h

🎭Cinema Acoustics

‘Harry Potter’ HBO Max Series Will Be the “Streaming Event of the Decade” – At Least, WBD Top Exec Says

hollywoodreporter.com

·42m·

Discuss: r/television

📦Digital Cinema Package

Biogen FY25 Earnings: Stable EPS, Amid Pressure From Multiple Sclerosis Franchise (BIIB)

seekingalpha.com

·54m

🧬Copy Number Variants

These 30 New IKEA Products Are So Good, I’m Already Planning My Shopping Trip

ikeahackers.net·44m

⭐Awesome lists

DNS SRV Records to the Rescue

blog.wirelessmoves.com·25m

📡DNS Archaeology

Hidden Risk in a Common Fruit: Bananas Contaminated by Mining Disaster

scitechdaily.com·25m

☕Coffee Science

YouTube Music Rolling Out Premium Paywall for Song Lyrics

macrumors.com·43m

💿FLAC Archaeology

Buy.com’s Feb 2000 IPO

dfarq.homeip.net·43m

🕸️WASM Archives

ELA-1638-1 phpunit security update

freexian.com·52m

🛡️eBPF Security

EU warns Meta over blocking rival AI chatbots on WhatsApp

engadget.com·27m

Yellowstone’s earthquakes spark microbial boom deep underground

scientificamerican.com

·44m

🌡️Preservation Physics

No Company Has Admitted to Replacing Workers With AI in New York

wired.com·44m

🤖Lisp Machines

Ghostty vs Kitty: Which Modern Terminal is the Best for Linux Users?

itsfoss.com·1h

Loading more...