Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔢Algebraic Data Types
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
What are you doing this weekend?
📝Nix Language
Flag this post
From Lossy to Lossless Reasoning
🧩Parser Combinators
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
❓Existential Types
Flag this post
Oops, My UUIDs Collided
🎯GADT
Flag this post
Empirical Bayesian Multi-Bandit Learning
arxiv.org·1d
🎯Hindley-Milner
Flag this post
De Bruijn Numerals
🧮Lambda Calculus
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
📐Linear Algebra
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Ajla Tutorial
🔬Static Analysis
Flag this post
We’re back with episode 2 of 1 IDEA! Today, Vinay Perneti (VP of Eng @ Augment Code) shares his own Bottleneck Test
🔧DevOps
Flag this post
GHC: From Bug to Merge
🏢Jane Street Core
Flag this post
Making Every 5x5 Nonogram: Part 1
🎮Verification Games
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·15h
🧪Property-Based Testing
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Evidence on language model consciousness
lesswrong.com·4h
📚Automata Learning
Flag this post
Circular dependency check in Python
🔬Static Analysis
Flag this post
Loading...Loading more...