Well-Typed.Com: Haskell ecosystem activities report: June–August 2025
well-typed.com·1d
🔗Functional Compilers
GitLab Duo Agent Platform adds support for Model Context Protocol
about.gitlab.com·1d
🔌Interface Evolution
CISA orders agencies to fix Cisco firewall zero day flaws by noon today
metacurity.com·19h
🔓Hacking
Built for speed and the future: Introducing Proton Mail’s brand new mobile apps
proton.me·1d·
Discuss: Hacker News, r/Android, r/rust
🔌Interface Evolution
An eco-friendly way to see in the dark
engineering.nyu.edu·19h·
Discuss: Hacker News
⚛️Quantum Tape
IonQ Achieves Record Breaking Quantum Performance Milestone of #AQ 64
ionq.com·1d·
Discuss: Hacker News, r/hardware
⚛️Quantum Tape
Xiaomi 17 Pro and 17 Pro Max: Specs, Release Date, Price, Features
wired.com·1d
🎯Emulator Accuracy
Zima’s response to the questions they got
reddit.com·19h·
Discuss: r/homelab
🔓Open Source Software
Beyond SSO: Mobile Money Authentication for Inclusive e-Government in Sub-Saharan Africa
arxiv.org·1d
🔐Swedish Cryptography
Building Information Models to Robot-Ready Site Digital Twins (BIM2RDT): An Agentic AI Safety-First Framework
arxiv.org·1d
🏺Computational Archaeology
This is the weirdest 'eGPU' setup I've seen so far in 2025: this one has a strange mini PC holder and up to 150W Thunderbolt 5 power delivery
techradar.com·5d
🖥️Terminal Renaissance
Running Multiple AI Agents for Planning and Reviews: What's Your Approach?
news.ycombinator.com·15h·
Discuss: Hacker News
⚡Proof Automation
Insta360 is sticking AI, ChatGPT, and Gemini into speakerphones with the Wave
techradar.com·1d
📡Bluetooth Archaeology
Tech partner spotlight: Jamf + VAULT
jamf.com·19h
🔄Archival Workflows
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·6d·
Discuss: r/homelab
📊Homelab Monitoring
🍲 Part 3: Advanced Iteration Tricks
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
20 Top Monthly Insights — AI Security— September 2025
infosecwriteups.com·2d
🕵️Vector Smuggling
Adaptive Dynamic Voltage Sag Mitigation in Electric Aircraft HVDC via Multi-Objective Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Video and Audio Automation: A Complete Guide with Descript + n8n
dev.to·1d·
Discuss: DEV
🤖Archive Automation
GitHub Copilot CLI – First Impressions
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
📟CLI Design