Rant
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔓Reverse engineering
| Oligo Security
oligo.security·23h
📦Container Security
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·2d
🧬Functional Programming
Building great SDKs
newsletter.pragmaticengineer.com·4d
🔌Interface Evolution
Let the Kaleidoscope Turn
shabie.github.io·1d·
Discuss: Hacker News
🧠Learned Indexing
What Is Mining?
cryptowatchnews.com·3h·
Discuss: Hacker News
🔗Hash Chains
AI Code Review the Right Way
hackaday.com·19h
⚡Proof Automation
The First Few Milliseconds of an HTTPS Connection
moserware.com·4d·
Discuss: Hacker News
🔐Certificate Analysis
Raw SQL or ORMs? Why ORMs are a preferred choice
dev.to·1h·
Discuss: DEV
🗄️Database Internals
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·1d·
Discuss: Hacker News
📦Container Security
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·3d
🔐Hash Functions
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.com·3d·
Discuss: Hacker News
🗂️Vector Databases
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
✓Automated Theorem Proving
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·3d·
Discuss: Lobsters, Hacker News
🧲RISC-V Preservation
AI hype is stupid - your job is not in danger if you have real talent!
dev.to·7h·
Discuss: DEV
🚀Indie Hacking
Show HN: Sourcebot, the self-hosted Perplexity for your codebase
github.com·3d·
Discuss: Hacker News
⚡Proof Automation
First set up
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
I Know When You're Vibe Coding
alexkondov.com·3d·
Discuss: Hacker News, Hacker News, r/programming
📜Proof Carrying Code
Building a Poetry App with Google AI Studio: The Making of VerseForge
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Building an AI FAQ Assistant with Redis 8 and OpenAI
dev.to·6h·
Discuss: DEV
⚡Redis Internals