I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Can Language Models Optimize Real-World Repositories on Real Workloads?
📊Profile-Guided Optimization
Flag this post
Frequency-Aware Sparse Optimization for Diagnosing Grid Instabilities and Collapses
arxiv.org·3d
🔍DTrace
Flag this post
The Flaw in the Paperclip Maximizer Thought Experiment
lesswrong.com·17h
🔀Procedural Generation
Flag this post
Structural sign herdability of linear time-invariant systems:theory and design for arbitrary network structures
arxiv.org·4d
🕸️Graph Theory
Flag this post
Stop Using the Wrong CNI in 2025: Flannel vs Calico vs Cilium
blog.devops.dev·1d
🐝Cilium
Flag this post
Stabilizing Reinforcement Learning for Honesty Alignment in Language Models on Deductive Reasoning
arxiv.org·2d
🌳Tree-sitter
Flag this post
Two Hours to Find a Swapped String
📐Type Theory
Flag this post
On Battle-Short: What, How, and Why Not To
lesswrong.com·17h
🦀Rust
Flag this post
Loading...Loading more...