Multitasking On The Humble Z80 CPU
hackaday.com·5h
💾Retro Computing
Flag this post
to transaction or not to transaction
📐Hoare Logic
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔢Algebraic Data Types
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
🧮Lambda Calculus
Flag this post
GIL and Race Condition in Python
⏰Timed Automata
Flag this post
Fil-C: A memory-safe C implementation
🐫Embedded OCaml
Flag this post
Is 'human' a risky AGI target
📚Automata Learning
Flag this post
A hitchhiker's guide to CUDA programming
🔀OCaml Multicore
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
🤖Program Synthesis
Flag this post
Decision theory when you can't make decisions
lesswrong.com·11h
🔲Cellular Automata
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
🔨Compilers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
📚Automata Learning
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
Enhanced SPICE Modeling via Adaptive Transient Analysis & Hierarchical Parameter Optimization
👁️System Observability
Flag this post
Strands Multi-Agent Systems: Graph
🕸️Graph Theory
Flag this post
Loading...Loading more...