Embedded bare-metal C with Bazel and AVR
popovicu.com·15h
🦀Embedded Rust
How to Leverage the CPU’s Micro-Op Cache for Faster Loops
blog.codingconfessions.com·12h
⚡CPU Microarchitecture
Remote File Inclusion (RFI) — Full Breakdown for Beginners
infosecwriteups.com·10h
💣ZIP Vulnerabilities
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Graphs Are Programs
gdotv.com·1d·
Discuss: Hacker News
🕸️Neo4j
Task Files
quexxon.net·4d·
Discuss: Hacker News
🐚Shell Automation
Fractal-Down
dev.to·1h·
Discuss: DEV
📊Performance Profiling
Migrating from Monolith to Serverless
news.ycombinator.com·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
iPhone DevOps
clearsky.dev·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Standard Package Layout (2016)
gobeyond.dev·1d·
Discuss: Lobsters
🔗Dependency Resolution
I chose OCaml as my primary language
xvw.lol·1d·
Discuss: Lobsters, Hacker News, r/programming
🧬Functional Programming
LeanRAG: Knowledge-Graph-Based Generation with Semantic Aggregation and Hierarchical Retrieval
arxiv.org·13h
📋Document Grammar
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·1d
🔗Combinatory Logic
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
github.com·23h·
Discuss: Hacker News
🌊Streaming Compression
Enhanced Ferrite Core Performance Prediction via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·6h·
Discuss: DEV
📊Feed Optimization
Vibe Coding Awareness Month
hellotonic.com·1d·
Discuss: Hacker News
🔄Language Evolution
Go's Data Structures: A Deep Dive into Arrays and Slices
dev.to·1d·
Discuss: DEV
⚡Cache Theory
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·1d
🌐Protocol Synthesis
Why Computer-Use Agents Should Think Less
prava.co·1d·
Discuss: Hacker News
🖥️Modern Terminals
Show HN: FilterQL – A tiny query language for filtering structured data
github.com·1d·
Discuss: Hacker News
✅Format Verification