vim: add word to spellchecker
perrotta.dev·6h
⚡Proof Automation
Muddled Libra: From Social Engineering to Enterprise-Scale Disruption
paloaltonetworks.com·4h
🔓Hacking
A new era of software engineering, cybersecurity, & AI
softwareheritage.org·3d
🏺Archaeological Computing
Cursor’s New Bugbot Is Designed to Save Vibe Coders From Themselves
wired.com·2d
🚀Indie Hacking
Orbit Optima: All-in-one Braille laptop computer
orbitresearch.com·1d·
Discuss: Hacker News
🤖Advanced OCR
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org·1d·
Discuss: Lobsters, Hacker News
📋Format Specification
Dell No. 2 Jeff Clarke is taking control of its stuttering PC business. Read the memo he sent to staff.
businessinsider.com·1d
🖥️Modern Terminals
The app I never launched
asad.pw·8h·
Discuss: Hacker News
🚀Indie Hacking
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·2d·
Discuss: r/LocalLLaMA
🔒Linear Types
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·1d
🧮Algebraic Archives
Parameter-Efficient Fine-Tuning of 3D DDPM for MRI Image Generation Using Tensor Networks
arxiv.org·1d
🌀Riemannian Computing
[M-WM] Update on MaxWM
reddit.com·3d·
Discuss: r/linux
🔩Systems Programming
Incompetence as a Virtue
dev.to·22h·
Discuss: DEV
🗺️Competency Maps
Shard Protocol: a preemptive logic layer built on Bolt
dev.to·4d·
Discuss: DEV
⚙️TLA+
My Productivity Doubled After Switching to 9xChat
dev.to·6h·
Discuss: DEV
🖥️Terminal Renaissance
Remembering the Markov Property in Cooperative MARL
arxiv.org·1d
🧮Kolmogorov Complexity
One billion-year-old rules of protein stability revealed; could lead to faster drug and enzyme design
phys.org·1d
🧬Copy Number Variants
Survey Surfaces Widespread Adoption of AI to Build Software
devops.com·1d
📏Code Metrics
Revisiting LLM Reasoning via Information Bottleneck
arxiv.org·1d
📏Linear Logic
Aula WIN68 Hall-Effect Standard Edition Keyboard Review
boilingsteam.com·3d·
Discuss: Hacker News
⌨️Mechanical Keyboards