GHC Developer Blog: GHC 9.14.1-alpha1 is now available
haskell.org·1d
🔗Functional Compilers
⌥ ‘Apple in China’
pxlnv.com·1d
🍎Apple Computing
Vanilla JavaScript scroll restoration for overflowing elements
restore-scroll.js.org·1d·
Discuss: Hacker News
🖋Typography
Charm Industrial accelerates carbon removal operations with Claude
anthropic.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Meta is shaking up its AI org, again
techcrunch.com·1d
🦋Format Metamorphosis
The EU Commission's gross violation of privacy – endangering encryption (2022)
politico.eu·1d·
Discuss: Hacker News
🔐Archive Encryption
Elegant mathematics bending the future of design
actu.epfl.ch·2d·
Discuss: Hacker News
📐Mathematical Art
How to make clean energy progress under Trump in the states—blue and red alike
technologyreview.com·1d
🧊Arctic Storage
Researching with Agents
softwaredoug.com·1d·
Discuss: Hacker News
🔍Vector Forensics
Vacancy for Digital Preservation Technical Analyst at State Library of South Australia
dpconline.org·2d
📄Document Digitization
Baidu, Inc. (BIDU) Q2 2025 Earnings Call Transcript
seekingalpha.com·1h
📋PREMIS Events
Final tweaks to the 1130 core memory replacement (MRAM) board
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🔧Hardware Verification
I added a speaker view to my OCaml presentation tool
github.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
Nestle unveils method to boost cocoa yields as climate change hits
phys.org·1h
🧊Arctic Storage
Gate – Offline License Plate Recognition Gate Opener
hackster.io·1d
🖥️Modern Terminals
Does the Skeleton-Recall Loss Really Work?
arxiv.org·2d
🌀Riemannian Computing
Aggressive Proximity Patterns: Teaching AI Agents to Write Production-Ready Code
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Evals Are All You Need: The Definitive Guide to AI Agent Evaluation for Developers
dev.to·1d·
Discuss: DEV
👁️System Observability
Micro Lab! Self-contained cluster for Air-gapped Platform Engineering
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
AST SpaceMobile: You'll Regret Sitting This Out
seekingalpha.com·1d
📡RSS