Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·13h·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
dev.to·1h·
Discuss: DEV
🎯GADT
Flag this post
VisualDiffer Released Open Source
github.com·5h·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
Weak-To-Strong Generalization
lesswrong.com·10h
🔤Kleene Algebra
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·22h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Bold Devlog - October Summary
bold-edit.com·1d·
Discuss: r/programming
🔬Static Analysis
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
💬Mach Messages
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·1d·
Discuss: Hacker News
📦OPAM
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
🎯GADT
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·18h·
Discuss: Hacker News
📦Opam
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·23h·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·2d·
Discuss: Hacker News, r/rust
🔀OCaml Multicore
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Runs-On: Mac
runs-on-mac.com·1d·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
A Senior Engineer's Guide to the Model Context Protocol
dev.to·16h·
Discuss: DEV
💬Mach Messages
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·19h·
Discuss: Substack
⚡Process Calculi
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·1d
🔬Static Analysis
Flag this post
30 Years of Code, 25 Years of Tests
phpunit.expert·15h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post