Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·10h·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·2d
🧮SMT Solvers
Flag this post
Nonmonotonic Logic
cambridge.org·5d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·4h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·19h·
Discuss: Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Ask HN: is this a common LLM-assisted development workflow?
news.ycombinator.com·7h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
My Wishlist for PHP in 2026
stitcher.io·3d·
Discuss: Hacker News
❓Existential Types
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·3d
➡️Category Theory
Flag this post
to transaction or not to transaction
reddit.com·14h·
Discuss: r/golang
📐Hoare Logic
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·1h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2h·
Discuss: DEV
🤖Robotics
Flag this post
LLM-generated text is not testimony
lesswrong.com·19h
⏳LTL
Flag this post
Genesis Code: Seed-Based 3D World Cloning
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.com·16h·
Discuss: Hacker News
🔤Language Design
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·16h·
Discuss: Hacker News
👁️System Observability
Flag this post