Is this even close to a legit listing?
ebay.co.uk·2h·
Discuss: r/homelab
✅Format Verification
Status Week 34
blogs.gnome.org·8h
❄️Nix Flakes
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·21h
🔗Topological Sorting
How to Write Docstrings in Python
realpython.com·19h
📝Concrete Syntax
Reliable
catherinejue.com·1d·
Discuss: Hacker News
💾Persistence Strategies
AI-Assisted Development: A Three-Act Play
betweentheprompts.com·1h·
Discuss: Hacker News
🤖AI Curation
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·15h·
Discuss: Hacker News
⚡gRPC
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·20h·
Discuss: Hacker News
⚡Proof Automation
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·5h
🕸️Network Topology
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·3d·
Discuss: Hacker News
🧪Binary Fuzzing
Lobsters Interview with Matklad
lobste.rs·3d·
Discuss: Lobsters
🦀Rust Macros
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·3d·
Discuss: Hacker News
⚡Proof Automation
Make the Easy Change Hard
blog.appliedcomputing.io·13h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Parlant - Renovation AI Open-Source framework
dev.to·1h·
Discuss: DEV
✨Effect Handlers
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
How do you handle status code on a simple api?
reddit.com·9h·
Discuss: r/golang
⚡gRPC
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·20h·
Discuss: Hacker News
🔓Open Source Software
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·5h
🔗Constraint Handling
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·5h
🔧Hardware Verification
Using Copilot with Legacy PHP: Lessons from Refactoring, Database Migration, and AI Hallucinations
dev.to·1d·
Discuss: DEV
🔄Language Evolution