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
Show HN: A Ruby gem that generates a secure, unique ID for the current machine
github.com·1d·
Discuss: Hacker News
🔒Secure Boot
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.com·1d·
Discuss: Hacker News
🚀Indie Hacking
"Claude Code Said Thanks When I Upgraded to Max Plan 😂"
dev.to·17h·
Discuss: DEV
🌳Incremental Parsing
A Set-to-Set Distance Measure in Hyperbolic Space
arxiv.org·4d
🌀Hyperbolic Geometry
Unveiling the Magic of Variational Autoencoders: Learning to Generate from Data
dev.to·2d·
Discuss: DEV
🧠Neural Compression
HarmonyOS5-NewsAPP-NewsDetailPage
dev.to·2d·
Discuss: DEV
📡RSS Extensions
Counting with Categories (Part 1)
golem.ph.utexas.edu·6d
λLambda Formalization
Bounds for Geometric rank in Terms of Subrank
arxiv.org·5d
🎯Performance Proofs
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·1d
🧠Neural Codecs
HarmonyOS Development: Use nestedScroll to resolve sliding conflicts
dev.to·22h·
Discuss: DEV
⟷Bidirectional Programming
This Week in Security: MegaOWNed, Store Danger, and FileFix
hackaday.com·1d
🔓Hacking
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·3d·
Discuss: DEV
λLambda Encodings
What I Wish I Knew Before Building My First Client Website
dev.to·1d·
Discuss: DEV
✅Format Verification