computer science, automata, theory, computation

The Riemann zeta function and tuning
en.xen.wiki·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
How Tiles Works – Tiles Privacy
blog.tiles.run·9h·
Discuss: Hacker News
🔬Unikernels
Flag this post
Show HN: ChatGPT for Forms
proloom.app·2d·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·11h·
Discuss: r/programming
🔧DevOps
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·1d·
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·3d·
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
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·1d
🌐Network Protocols
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
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·2d
🔍CBMC
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
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
Observer-based neural networks for flow estimation and control
arxiv.org·1d
👁️Observability
Flag this post
Reading Between the Lines: The One-Sided Conversation Problem
arxiv.org·1d
📚Automata Learning
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
Stop Calling LLMs AI
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
AI Evaluation - Future AGI
dev.to·9h·
Discuss: DEV
👁️System Observability
Flag this post