computer science, automata, theory, computation

Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·10h
🔑Cryptographic Protocols
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·14h·
Discuss: Hacker News
🦀Rust Verification
Flag this post
Autumn Lisp Game Jam 2025
itch.io·12h·
Discuss: Hacker News
🤖Lisp Machines
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·3h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Wireless Sensor Networks as Parallel and Distributed Hardware Platform for Artificial Neural Networks
arxiv.org·4h
📊Quantization
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·7h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·5d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·7h·
💧Liquid Types
Flag this post
Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
arxiv.org·2d
🧮SMT Solvers
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·4h
📝Log Parsing
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·1d·
Discuss: Substack
💻Programming languages
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·4h
🎯Performance Proofs
Flag this post
👨‍🍳 Part 4: Coroutines Waiters Who Listen
dev.to·17h·
Discuss: DEV
🌊Stream Processing
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1h·
Discuss: Hacker News
λLambda Formalization
Flag this post
ProstNFound+: A Prospective Study using Medical Foundation Models for Prostate Cancer Detection
arxiv.org·4h
👁️OCR Enhancement
Flag this post
Nirvana: A Specialized Generalist Model With Task-Aware Memory Mechanism
arxiv.org·4h
💻Local LLMs
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·4h
🌳Context free grammars
Flag this post