SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ”ขHomomorphic Encryption
Flag this post
My Dual MBP setup for offline LLM coding (w/ Qwen3 Coder 30B A3B)
i.imgur.comยท15hยท
Discuss: r/LocalLLaMA
๐Ÿ”Hardware Security
Flag this post
Dissecting the syscall Instruction: Kernel Entry and Exit Mechanisms.
howtech.substack.comยท4hยท
๐Ÿ“žSystem Calls
Flag this post
Beyond the Hype: Technologies That Will Outlive the AI Bubble
semiconductors.orgยท20hยท
Discuss: DEV
๐Ÿ”Capability Systems
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.comยท3dยท
๐Ÿ’ŽRefinement Types
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.ioยท4dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.auยท4dยท
Discuss: Hacker News
๐Ÿ”“Binary Exploitation
Flag this post
Show HN: MCP ShellKeeper โ€“ Persistent SSH Sessions for AI Assistants
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปCLI Tools
Flag this post
Create Synthetic Data - A Comprehensive Guideline
dev.toยท6hยท
Discuss: DEV
๐Ÿ“ŠData Science
Flag this post
TUF: A Terminal UI for UFW Enhancing Firewall Management
github.comยท23hยท
Discuss: DEV
๐ŸงLinux
Flag this post
Show HN: PyNIFE. 400-900ร— speedup for embedding-based retrieval pipelines
github.comยท8hยท
Discuss: Hacker News
๐ŸงฎVector Databases
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same Appโ€ฆ
dev.toยท12hยท
Discuss: DEV
๐Ÿš€Performance
Flag this post
Show HN: I am building TypeScript ERP/CRM framework โ€“ MIT license
github.comยท2dยท
Discuss: Hacker News
โŽˆHelm
Flag this post
Building LearnForge: Multi-Agent AI Learning Platform on Cloud Run with Google ADK
dev.toยท14hยท
Discuss: DEV
๐Ÿ’ฌPrompt Engineering
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
dev.toยท12hยท
Discuss: DEV
๐Ÿ’ฐTigerBeetle
Flag this post
Headless Adventures: From CMS to Frontend Without Losing Your Mind (4)
dev.toยท1dยท
Discuss: DEV
๐ŸŒWeb Development
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.orgยท2dยท
Discuss: Hacker News
๐Ÿ“Parsing
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.comยท5dยท
๐Ÿ›ก๏ธError Handling
Flag this post
HyperMarkets: Fast, Fair, and Fun Prediction Markets on Hyperliquid Perps
future.forem.comยท13hยท
Discuss: DEV
๐Ÿ’ฐTigerBeetle
Flag this post
TLS For AI Agents? No. Wristbands For The Idiots In Line
dev.toยท6hยท
Discuss: DEV
๐Ÿ”’Security
Flag this post