Obsidian for the privacy-minded: offline, secure notes
techspot.com·6h
🗜️Zstandardized Archives
4 Best Website Builders (2025), Tested and Reviewed
wired.com·1d
📰RSS Feed Discovery
ChatGPT Pretends to Run Code
eriklonnroth.com·4d·
Discuss: Hacker News
⚡Proof Automation
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·3d·
Discuss: Hacker News
⚙️Proof Engineering
rustc_codegen_gcc: Progress Report #38
blog.antoyo.xyz·1d·
Discuss: r/rust
🦀Rust Macros
Absurd fallacies of "minimalist" Linux setups
self-rover.bearblog.dev·1d·
Discuss: r/linux
🔌Operating system internals
I'd like to speak to the Bellcore ManaGeR
ninakalinina.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
📟Terminals
Framework under fire for Omarchy/DHH/Hyprland support?
crimier.github.io·2d·
Discuss: Hacker News
🐚Nordic Shell
Show HN: Cycling app designed to sync video playback with real-time cycling data
github.com·1d·
Discuss: Hacker News
📡Bluetooth Archaeology
VibeAlive: Cleaning Up the Code Chaos of AI-Assisted Development
vibe.forem.com·1d·
Discuss: DEV
🌀Brotli Dictionary
StanCon 2026 in Uppsala, Sweden
statmodeling.stat.columbia.edu·10h
🔐Swedish Cryptography
PR-04 at Hacktoberfest: Implementing a Domain Validator for Terraform Provider
dev.to·4h·
Discuss: DEV
✅Format Validation
Krish Naik: Agentic AI 3.0 - Live Ultimate RAG Bootcamp Course Announcement
vibe.forem.com·23h·
Discuss: DEV
🎵Audio ML
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·4d
📜Manuscript Algebras
Daily Artificial Intelligence Digest - Oct 13, 2025
dev.to·11h·
Discuss: DEV
🤖AI Curation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·9h·
Discuss: DEV
📊Multi-vector RAG
Unlocking the Power of AI in Your Development Workflow: Practical Insights and Tools
dev.to·1h·
Discuss: DEV
🔄Language Evolution
Using Translation Memory in Software Projects: A Beginner’s Guide
dev.to·18h·
Discuss: DEV
🔄Language Evolution
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·6d
👑Coq Tactics
I created and open sourced an LLM and backend orchestration system
reddit.com·4d·
Discuss: r/golang
🌀Brotli Internals