🎯 Escape Analysis - hello · Scour

Number Builder: can you build up from 1 to the target?

aperiodical.com·1d

⚖️Y-Fast Tries

Debugger Dedicated to Embedded Systems

hackster.io·1d

🪲DWARF Debugging Info

Building Type-Safe Metrics API in Swift: Part II

sentry.engineering·1d

📬MessagePack

6 tiny programs I use to solve annoying problems

xda-developers.com·1d

💻Terminal Tools

How to write your first obfuscator of Java Bytecode

blog.quarkslab.com·5d

🔍eBPF Verifier

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·22h

🧮SMT Solvers

local_doom_void

archiveofourown.org·1d

I tested Kimi k2.5 against Opus. I was hopeful and Kimi didn’t let me down

composio.dev·1d·

Discuss: r/LocalLLaMA

Writing a ledger-cli Language Server Protocol with claude

frdmtoplay.com·2d

About the Information System on Graph Classes and their Inclusions

graphclasses.org·1d

🔗Graph Algorithms

Predicting Future Utility: Global Combinatorial Optimization for Task-Agnostic KV Cache Eviction

arxiv.org·12h

⏪Deoptimization

PBLean: Pseudo-Boolean Proof Certificates for Lean 4

arxiv.org·12h

🧮SMT Solvers

Show HN: I made a Claude Code guide that's a Win95 desktop with games

gabezen.com·16h·

Discuss: Hacker News

👻 **Living Off The Land Evasion**

dev.to·1d·

Discuss: DEV

🔓Binary Exploitation

Stop Silent Failures: Using LLMs to Validate Web Scraper Output

dev.to·1d·

Discuss: DEV

Rise of the Cowboy Coder

jollycoder.com·16h·

Discuss: Hacker News

Learn Weird Programming Languages

okienko.day·1d·

Discuss: Hacker News

🔨Compiler Design

Everything I know about good system design

seangoedecke.com·16h

⚙️Systems Programming

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·21h

λFunctional Programming

Varparser Reveals How LLM Log Parsing Benefits From Variable Data

quantumzeitgeist.com·1d

📝Tracing Subscriber

Loading more...