computer science, automata, theory, computation

Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·17h
🔑Cryptographic Protocols
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·4h
⚛️Quantum Storage
Flag this post
Agentic Coding Workshop on Vanishing Gradients
everything.intellectronica.net·6h
⚔️Lean Tactics
Flag this post
Show HN: Hot or Slop – Visual Turing test on how well humans detect AI images
hotorslop.com·12h·
Discuss: Hacker News
📊Learned Metrics
Flag this post
Autumn Lisp Game Jam 2025
itch.io·19h·
Discuss: Hacker News
🤖Lisp Machines
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·29m·
Discuss: Hacker News
🔒Linear Types
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·1d
🇨🇳Chinese Computing
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·11h
🌳Context free grammars
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·11h
💻Programming languages
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·11h
💻Local LLMs
Flag this post
Understanding Artificial Intelligence: History, Definitions, and Modern Applications
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Flag this post
👨‍🍳 Part 4: Coroutines Waiters Who Listen
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Flag this post
Decentralized Causal Discovery using Judo Calculus
arxiv.org·2d
Effectful Programming
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·11h
🎯Gradual Typing
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.org·2d
🧠Machine Learning
Flag this post
Automated Calibration of Open-Loop Control Systems via Adaptive Fourier Analysis
dev.to·13h·
Discuss: DEV
Precision Brewing
Flag this post
Durable execution workflow system based on Postgres
github.com·1h·
Discuss: Hacker News
🌊Streaming Systems
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·11h
🧮Kolmogorov Complexity
Flag this post