Categorical systems theory
topos.institute·23h
🔀Category Theory
Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
Implementing ZADD If Key Exists
rozumem.xyz·1d·
Discuss: Hacker News
⚡Redis Internals
PHP's New URI Extension
thephp.foundation·23h·
Discuss: Hacker News
🌐Web Standards
SSH Security: Why You Should Touch to Verify
ubicloud.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
AI can help your DevSecOps pipeline
spiceworks.com·22h·
Discuss: Hacker News
🏠Homelab Pentesting
Ask HN: Claude Code Alternative
news.ycombinator.com·22h·
Discuss: Hacker News
🪟Awesome windows command-line
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·3d·
Discuss: Hacker News
🔬Refinement Types
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
SatFusion: A Unified Framework for Enhancing Satellite IoT Images via Multi-Temporal and Multi-Source Data Fusion
arxiv.org·1d
📡RSS Extensions
I Built an Accessibility Checker in a Week (Beta Launch - Feedback Wanted)
dev.to·22h·
Discuss: DEV
🚀Indie Hacking
Suno.com security disclosure: JWT token leakage, IDOR, and DoS vulnerabilities
github.com·20h·
Discuss: Hacker News
🎫Kerberos Exploitation
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
I created and open sourced an LLM and backend orchestration system
reddit.com·2d·
Discuss: r/golang
🌀Brotli Internals
Getting Started with Object-Oriented Programming in Python
dev.to·2d·
Discuss: DEV
🔢Denotational Semantics
Quoting Simon Højberg
simonwillison.net·2d
🦀Rust Macros
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·1d·
Discuss: DEV
🌳Context free grammars
Hacktoberfest Week 1
dev.to·1d·
Discuss: DEV
🔗Static Linking