Show HN: I gamified passwords to make them easier to remember
passwordgame.apps.benthayer.com·11m·
Discuss: Hacker News
🎮Verification Games
Flag this post
Beyond Start and End: PostgreSQL Range Types
boringsql.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Ansible Release 12: the Windows Vista Moment
blog.ipspace.net·21h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·22h
📚Automata Learning
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·3d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.org·22h
✓Automated Theorem Proving
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·22h
📚Automata Learning
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·22h
🎮Verification Games
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·22h
📚Automata Learning
Flag this post
The Hardest Bug to Fix Is Ambiguity
dev.to·23h·
Discuss: DEV
🔍Formal Verification
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·12h·
Discuss: DEV
🧮Z3
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·9h·
Discuss: Hacker News
📦Module Systems
Flag this post
Enhancing LOD Integrity via Hyperdimensional Semantic Graph Normalization & Automated Anomaly Detection
dev.to·6h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
In AI, Everything is Meta
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Building EduSimplify: An AI Agent for Simplifying Educational Topics using Django, DRF, and Telex A2A Protocol
dev.to·11h·
Discuss: DEV
🌐Network Protocols
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.com·5h
🔬Unikernels
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post