Introduction to Linear Types
austral-lang.org·6d·
Discuss: Hacker News
🔒Linear Types
U.S. places $11 million bounty on Ukrainian ransomware mastermind — Tymoshchuk allegedly stole $18 billion from large companies over 3 years
tomshardware.com·2d·
Discuss: r/news
🔓Hacking
When is Amazon Prime Day? Plus best deals to expect in the October sale
the-independent.com·2d
⭐Awesome lists
How-to Safely Expose your MCP Servers Externally Using ngrok and ToolHive
dev.to·3d·
Discuss: DEV
⚡gRPC
Judge Dismisses Some of WPEngine’s Claims Against WordPress
pxlnv.com·5h
⚡Proof Automation
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🔤Type Theory
NeuroGaze: A Hybrid EEG and Eye-Tracking Brain-Computer Interface for Hands-Free Interaction in Virtual Reality
arxiv.org·3d
📟Terminal Physics
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·5d·
Discuss: Lobsters, Hacker News
🌿git
Rust Coreutils 0.2.2 Released With Faster base64: Outperforming GNU's base64
phoronix.com·3d
🦀Rust Borrowing
Methode Electronics, Inc. (MEI) Q1 2026 Earnings Call Transcript
seekingalpha.com·2d
🕹️Retro Gaming
KDE Linux and FreeBSD hit alpha and – surprise – fan fave Pop_OS nearly at beta
theregister.com·3d
🔌Operating system internals
From Prompt to Planet: A Martian RPG Generator
dev.to·2d·
Discuss: DEV
🖥️Terminal Emulators
San Jose man arrested in connection with fatal hit-and-run
mercurynews.com·7h
🧠Memory Forensics
'K2 Think' AI Model Jailbroken Mere Hours After Release
darkreading.com·1d
🔓Hacking
Undecidability of Tiling with a Tromino
arxiv.org·3d
🎯Performance Proofs
The USB-C Apple Pencil drops to a new all-time low
engadget.com·3d
🍎Apple Computing
Scalable Graphene Oxide Functionalization via Deep-Learning Controlled Plasma Etching
dev.to·2d·
Discuss: DEV
📄Document Digitization
5 Best Sites to Buy Gmail Accounts in Bulk (PVA & Aged)
dev.to·1d·
Discuss: DEV
🔒Hardware Attestation
Buy Verified TransferWise Account - Best Verified 2023
dev.to·1d·
Discuss: DEV
🔄Sync Engine
Enhanced OLED EQE via Multi-Modal Data Fusion & Adaptive Reinforcement Learning
dev.to·2d·
Discuss: DEV
🌈Color Archaeology