Title: New Chapter Published: Minimization of Finite Automata — A deeper look into efficient automaton design
link.springer.com·4d·
Discuss: r/compsci
🎯Finite Automata
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·5d·
Type Checking
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·1h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Show HN: Wolfrominoes
demos.samgentle.com·3h·
Discuss: Hacker News
🧮Combinator Calculus
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
🎭Program Synthesis
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
🎯Finite Automata
Flag this post
Global Optimization: Finding the Needle in a Haystack – Faster by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
🔍Search Algorithms
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·7h·
Mathematical DSLs
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·10h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
AI and answers
mleddy.blogspot.com·1d·
🧠Semantic Parsing
Flag this post
Set theory with types
lawrencecpaulson.github.io·2d·
🎯Type Theory
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·8h
🔗Hash Algorithms
Flag this post
Dingo: A Meta-Language for Go
github.com·6h·
🤖Embedded Go
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
🎭Polymorphic Variants
Flag this post
Teaming LLMs to Fight Hallucinations: A Deep Dive into a New Frontier of Model Reliability
pub.towardsai.net·1d
Effect Inference
Flag this post
My code is 100% AI generated
jda.bearblog.dev·14h
📚Self-Documenting Code
Flag this post
Models not making it clear when they're roleplaying seems like a fairly big issue
lesswrong.com·1d
🎲Parser Fuzzing
Flag this post