tiferrei's Top FindsLoading...
Garbage Collection Is a Hack
blog.adamant-lang.org·1d·
Discuss: Hacker News
🧩Separation Logic
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·4d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Non-recursively deleting a binary tree in constant space: Restructuring the tree
devblogs.microsoft.com·1d·
Discuss: Hacker News
🔬Reverse Engineering
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Protecting Against Open-Source Malicious Packages: What Doesn't Work
xygeni.io·3d·
Discuss: Hacker News
🔬Reverse Engineering
Flag this post
Build Efficient MCP Servers: Three Design Principles
damiangalarza.com·2d·
Discuss: Hacker News
🔤Language Design
Flag this post
OldVersion.com Archive Facing Shutdown Due to Financing Issues
hackaday.com·1d
💾Retro Computing
Flag this post
Playing Around with ARM Assembly
blog.nobaralabs.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Ask HN: Trying to find an article with unique OS concepts
news.ycombinator.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Ask HN: Hiring engineers through GitHub contributions – show me your workflow
news.ycombinator.com·4h·
Discuss: Hacker News
Flag this post
qwe v0.2.6 released
reddit.com·1d·
Discuss: r/golang
🔧DevOps
Flag this post
Automated Cognitive Load Assessment via Dynamic Eye-Tracking & Predictive Modeling
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Tape containing UNIX v4 found
osnews.com·2d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Show HN: I Vibe-Coded a TUI for AWS Logs Insights in Rust
github.com·2d·
Discuss: Hacker News
🏗️Dune
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.org·2d
🔤Language Design
Flag this post
Meet Aissist - your personal AI command line sidekick
dev.to·2d·
Discuss: DEV
💻CLI Tools
Flag this post
RAGCap-Bench: Benchmarking Capabilities of LLMs in Agentic Retrieval AugmentedGeneration Systems
dev.to·19h·
Discuss: DEV
Flag this post
Adaptive Beamforming Optimization via Multi-Metric Bayesian HyperScore
dev.to·1d·
Discuss: DEV
👁️Observability
Flag this post
NANO3D: A Training-Free Approach for Efficient 3D Editing Without Masks
dev.to·15h·
Discuss: DEV
💾Retro Computing
Flag this post
First time using Linux — chose Mint!
reddit.com·1d·
Discuss: r/linux
❄️Nix
Flag this post