computer science, automata, theory, computation

The Riemann zeta function and tuning
en.xen.wiki·15h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
How Tiles Works – Tiles Privacy
blog.tiles.run·15h·
Discuss: Hacker News
🔬Unikernels
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·6d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·4d·
Discuss: Hacker News
🔧DevOps
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·3d
🛡️seL4
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·3d
🔲Cellular Automata
Flag this post
Two-Parameter R\'enyi Information Quantities with Applications to Privacy Amplification and Soft Covering
arxiv.org·2d
Existential Types
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·2d
🔍CBMC
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·2d
🔍CBMC
Flag this post
Stop Calling LLMs AI
dev.to·2d·
Discuss: DEV
📚Automata Learning
Flag this post
Observer-based neural networks for flow estimation and control
arxiv.org·1d
👁️Observability
Flag this post
Disentangled Concepts Speak Louder Than Words:Explainable Video Action Recognition
arxiv.org·1d
📚Automata Learning
Flag this post
Generative deep learning for foundational video translation in ultrasound
arxiv.org·1d
🔲Cellular Automata
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·1d
📚Automata Learning
Flag this post
**Hyperlocal Weather Anomaly Forecasting via Spatiotemporal Graph Neural Networks & Ensemble Kalman Filtering**
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·2d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Jeff Su: 4 Next-Level ChatGPT Techniques (Save 15+ Hours Weekly)
future.forem.com·2d·
Discuss: DEV
🎮Verification Games
Flag this post
Intentionality
lesswrong.com·2d
📵Digital Minimalism
Flag this post
Automated Infrastructure as Code (IaC) Drift Detection and Remediation with Predictive Analytics
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post