ICT2, the paperback!
logicmatters.net·2d
🎯Proof Tactics
Book Review: Developing Talent in Young People by Benjamin Bloom
justinmath.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Matrix v1.15 release
matrix.org·2d·
Discuss: Lobsters, Hacker News
📋PREMIS Events
These 6 iOS-style features prove that Android isn't stuck in the past
techradar.com·13h
🗜️LZW Variants
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.com·1d·
Discuss: Hacker News
🚀Indie Hacking
VR and AI glasses are just bridges: The secret star is augmented reality
heise.de·1d
🏛Digital humanities
Sirius: A GPU-native SQL engine
github.com·15h·
Discuss: Hacker News
🗄️Database Internals
"Claude Code Said Thanks When I Upgraded to Max Plan 😂"
dev.to·22h·
Discuss: DEV
🌳Incremental Parsing
A Set-to-Set Distance Measure in Hyperbolic Space
arxiv.org·5d
🌀Hyperbolic Geometry
Counting with Categories (Part 1)
golem.ph.utexas.edu·6d
λLambda Formalization
Bounds for Geometric rank in Terms of Subrank
arxiv.org·6d
🎯Performance Proofs
Making AI Models Accessible Anywhere :: Scaling AI Traffic with Envoy AI Gateway
dev.to·9h·
Discuss: DEV
🏠Homelab Orchestration
Programming as Art - By Developer Prasoon
dev.to·17h·
Discuss: DEV
🔩Systems Programming
HarmonyOS5-NewsAPP-NewsDetailPage
dev.to·3d·
Discuss: DEV
📡RSS Extensions
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·3d·
Discuss: DEV
🧮Kolmogorov Complexity
How to Create Secure AI Applications
dev.to·2d·
Discuss: DEV
🔒Language-based security
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
Exploring High Efficiency Web Analysis Results（1751016044957200）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
DBConformer: Dual-Branch Convolutional Transformer for EEG Decoding
arxiv.org·2d
🧠Neural Codecs
This Week in Security: MegaOWNed, Store Danger, and FileFix
hackaday.com·1d
🔓Hacking