computer science, automata, theory, computation

ESTIMED_hackathon1_SSSUP
hackster.io·1d
🔒WASM Capabilities
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔩Systems Programming
Flag this post
Show HN: Hot or Slop – Visual Turing test on how well humans detect AI images
hotorslop.com·1d·
Discuss: Hacker News
📊Learned Metrics
Flag this post
Magisterium
isaacbowen.com·14h·
Discuss: Hacker News
Algebraic Effects
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·17h·
Discuss: Hacker News
🎙️Whisper
Flag this post
AI is a Tool for Economic Progress, Not a Job Taker
hackernoon.com·2d
🚀Indie Hacking
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·15h
🧪Property-Based Testing
Flag this post
Linear Operator Approximate Message Passing (OpAMP)
arxiv.org·2d
🧠Machine Learning
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
💻Programming languages
Flag this post
Review Based Entity Ranking using Fuzzy Logic Algorithmic Approach: Analysis
arxiv.org·1d
📊Search Ranking
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·1d
📝ABNF Extensions
Flag this post
Advanced 3D IC Heterogeneous Integration Analysis via Bayesian Optimization and AI-Driven Defect Mapping
dev.to·15h·
Discuss: DEV
🔧Hardware Verification
Flag this post
Quantum Genesis: Democratizing Generative AI with Quantum Speedups by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🔐Quantum Cryptography
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.org·1d
🔗Tailscale
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·7h·
Discuss: Hacker News
👑Dependent Haskell
Flag this post
The Epistemic Suite: A Post-Foundational Diagnostic Methodology for Assessing AI Knowledge Claims
arxiv.org·2d
🗺️Competency Maps
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.org·4d
🧮Theoretical Computer Science
Flag this post
UnifiedFL: A Dynamic Unified Learning Framework for Equitable Federation
arxiv.org·1d
📝ABNF Parsing
Flag this post
A Senior Developer’s Guide to Vibe Coding and Deep AI Integration in Cursor
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post