💻 programming languages - matmat · Scour

CSLib: The Lean Computer Science Library

arxiv.org·4d

⚔️Lean Tactics

Precision in Practice: Knowledge Guided Code Summarizing Grounded in Industrial Expectations

arxiv.org·5d

📏Code Metrics

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

github.com·1d·

Discuss: Hacker News

🦀Rust Macros

What is biometric data? How to protect your privacy

proton.me·40m

🔐Homomorphic Encryption

Invitation: DPC Annual General Meeting

dpconline.org·42m

AI Gold Rush is Resurrecting China's Infamous 72-hour Work Week

slashdot.org·47m

🇨🇳Chinese Computing

002.2026 Community Spotlight- Peter Hunt

ostif.org·41m

Jimmy Lai: Hong Kong pro-democracy tycoon gets 20 years' jail under national security law

bbc.com·36m·

Discuss: Hacker News

⚖️Legal Compliance

Tech I’m Obsessed With

feld.com·33m

🖥️Terminal Renaissance

Personalized feeds for your must-reads

topfeed.xyz·31m

📡RSS Readers

Watch: Seattle elated as New England faces a tough loss

bbc.com

·55m

🎯Threat Hunting

Report: Imminent Apple hardware updates include MacBook Pro, iPads, and iPhone 17e

arstechnica.com·32m

🖥️Vintage Macintosh

Sean Astin's takes on the threat of AI, Fran Drescher and a 'Goonies' sequel

the-independent.com·42m

🗜️LZW Variants

Don't miss this amazing XFX Mercury RX 9070XT GPU deal for just $649.99 — the cheapest AMD Radeon GPU in its class by $69

tomshardware.com

·24m

🖥️Modern Terminals

Why Is the Sky Blue?

explainers.blog·21m·

Discuss: Hacker News

🔬Optical Physics

Identification of Chlamydia pneumoniae and NLRP3 inflammasome activation in Alzheimer’s disease retina

nature.com·26m·

Discuss: Hacker News

🧬Copy Number Variants

Liam Rosenior says Chelsea players are now used to gruelling fixture schedule

the-independent.com·42m

🔐Systems Hardening

Quantum dots reveal entropy production, a key measure of nanoscale energy dissipation

phys.org·21m

⚛️Information Physics

Word to PDF – Convert Word to PDF Online for Free (Safe & Private)

toolkuai.com·40m·

Discuss: Hacker News

Turn iMessage Conversations into Printable Keepsakes

chatkeepsake.com·28m·

Discuss: Hacker News

📄Document Streaming

Loading more...