2025 Dutch mini hackathon
ainali.com·1d
🚀Indie Hacking
Flag this post
DM-VERITY Change For Linux 6.19: "On Some CPUs This Nearly Doubles Hashing Performance"
phoronix.com·16h
🔓Password Cracking
Flag this post
Valuable News – 2025/10/27
vermaden.wordpress.com·1d
🔌Operating system internals
Flag this post
The State of Django 2025
blog.jetbrains.com·1d
🔄Language Evolution
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·1d·
Discuss: Hacker News
🛡️eBPF Security
Flag this post
The Art and Discipline of Prompt Engineering
cacm.acm.org·1d
Proof Automation
Flag this post
How to Use a Spec-Driven Approach for Coding with AI
blog.jetbrains.com·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Dubious security vulnerability: Denial of service by loading a very large file
devblogs.microsoft.com·1d·
Discuss: Hacker News
💣Compression Security
Flag this post
OpenFold3-Preview
github.com·3h·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Show HN: Pinpam, TPM2-backed pin authentication for Linux
github.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·22h
Automated Theorem Proving
Flag this post
Convert any GitHub repo to coding puzzles
github.com·8h·
Discuss: Hacker News
Proof Automation
Flag this post
Go UDP Programming: A Beginner-Friendly Guide to Building Fast, Real-Time Apps
dev.to·1h·
Discuss: DEV
🌐Network Protocols
Flag this post
The Myth of Single-Threaded JavaScript: Inside the Language’s Hidden Concurrency Engine
hackernoon.com·20h
🌊Stream Processing
Flag this post
Energy-Efficient UAV-Enabled MEC Systems: NOMA, FDMA, or TDMA Offloading?
arxiv.org·22h
ℹ️Information Theory
Flag this post
Sparse Adaptive Attention “MoE”: How I Solved OpenAI’s $650B Problem With a £700 GPU
medium.com·11h·
🌊Streaming Algorithms
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·22h
Incremental Computation
Flag this post
R-Horizon: How Far Can Your Large Reasoning Model Really Go in Breadth andDepth?
dev.to·14h·
Discuss: DEV
🧮Datalog Systems
Flag this post