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
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
Microsoft Will Let Copilot Take Control of Your Browser, Navigate Tabs and Complete Tasks As You Watch
tech.slashdot.org·2d
📡RSS Automation
Fundamentals of Data Engineering • Matt Housley & Joe Reis • GOTO 2025
youtube.com·2d
⚙️Proof Engineering
Evaluating LLM-Generated Detection Rules in Cybersecurity
sublime.security·1d·
Discuss: Hacker News
⚡Proof Automation
From Rust to Reality: The Hidden Journey of Fetch_max
questdb.com·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀Rust Macros
Xiaomi 17 Pro and 17 Pro Max: Specs, Release Date, Price, Features
wired.com·1d
🎯Emulator Accuracy
USB-C Switch
reddit.com·16h·
Discuss: r/homelab
🔌Single Board PC
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
Joint Channel Estimation and Computation Offloading in Fluid Antenna-assisted MEC Networks
arxiv.org·2d
⚽Sphere Packing
Generating Consistent Imagery with Gemini
towardsdatascience.com·3d
📸PNG Optimization
Hints for LeetCode Without Spoilers: A Playbook for Real Learning
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Building the Next Generation of Physical Agents with Gemini Robotics-ER 1.5
developers.googleblog.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Adaptive Dynamic Voltage Sag Mitigation in Electric Aircraft HVDC via Multi-Objective Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Insta360 is sticking AI, ChatGPT, and Gemini into speakerphones with the Wave
techradar.com·1d
📡Bluetooth Archaeology
Tech partner spotlight: Jamf + VAULT
jamf.com·17h
🔄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