In over my head - advice on OS?
🔬Unikernels
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
🔧Unikernel Development
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
Speedrunning an RL Environment
🎮Verification Games
Flag this post
Modeling the geopolitics of AI development
lesswrong.com·1d
🤖Program Synthesis
Flag this post
Predicting & Mitigating Data Corruption in Pure Storage Flash Arrays via Adaptive Bit Error Rate Modeling
🩹Self-Healing Systems
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🧩Parser Combinators
Flag this post
LLMs Position Themselves as More Rational Than Humans: Emergence of AI Self-Awareness Measured Through Game Theory
arxiv.org·2d
🔲Cellular Automata
Flag this post
Incorporating Quality of Life in Climate Adaptation Planning via Reinforcement Learning
arxiv.org·1h
🩹Self-Healing Systems
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·2d
🔄Reproducible Builds
Flag this post
Two-Parameter R\'enyi Information Quantities with Applications to Privacy Amplification and Soft Covering
arxiv.org·1d
❓Existential Types
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·1h
📚Automata Learning
Flag this post
Periodic Skill Discovery
arxiv.org·1h
📚Automata Learning
Flag this post
Optimal Boundary Control of Diffusion on Graphs via Linear Programming
arxiv.org·1h
🕸️Graph Theory
Flag this post
Loading...Loading more...