Text-Mode Games as First Haskell Projects
jackkelly.name·19h·
Discuss: Hacker News
λLambda Formalization
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·9h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·17h·
Discuss: DEV
🔐Homomorphic Encryption
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
Homebrew CPUs
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·2d
🦠Malware Analysis
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
📝Concrete Syntax
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·18h·
🔗Functional Compilers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·22h
📝Log Parsing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
🔓Decompilation
Flag this post
A moonlit week
blog.mitrichev.ch·5d·
🧪Binary Fuzzing
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·8h·
Discuss: Hacker News
🔒Linear Types
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·1d
📊Computational Geometry
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·22h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
Format Verification
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·20h
Format Verification
Flag this post
Vectorizing for Fun and Performance
ibm.com·2d·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·8h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·22h
💻Local LLMs
Flag this post