This Plotter Knows No Boundaries
hackaday.com·10h
🔄Finite State Machines
Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Lightcap: A Symbolic Mirror Forged in Algebra
lightcapai.medium.com·11h·
Discuss: Hacker News
🎮Verification Games
Of Rats and Ratchets (2024)
matklad.github.io·23h·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
How AI Is Changing–Not 'Killing'–College
insidehighered.com·19h·
Discuss: Hacker News
🎮Verification Games
Erik's Plea in The Free Press: Bring Back Aristocratic Tutoring
theintrinsicperspective.com·18h·
Discuss: Hacker News
🎮Verification Games
Chat Is: The Future or a Terrible UI
lukew.com·18h·
Discuss: Hacker News
🎮Verification Games
Show HN: I Used RAG and Power Automate to Turn User Story to Tech Spec and Tasks
medium.com·19h·
Discuss: Hacker News
🤖Program Synthesis
Is AI Running the Government? Here’s What We Know
gizmodo.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Kyran – App Builder for Google Sheets (Apps Script Without the Pain)
workspace.google.com·1d·
Discuss: Hacker News
🍎Apple
Do Self-Supervised Speech Models Exhibit the Critical Period Effects in Language Acquisition?
arxiv.org·2d
🧩Parser Combinators
Zero-Shot KWS for Children's Speech using Layer-Wise Features from SSL Models
arxiv.org·2d
🔠Type-Level Programming
Show HN: Dialog – An Orchestration Layer for VoIP-Agent Applications
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Quantifying Label-Induced Bias in Large Language Model Self- and Cross-Evaluations
arxiv.org·2d
🧩Parser Combinators
Video-LLMs with Temporal Visual Screening
arxiv.org·2d
💻CS
Achieving Hilbert-Schmidt Independence Under R\'enyi Differential Privacy for Fair and Private Data Generation
arxiv.org·2d
🔠Type-Level Programming
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·1d·
Discuss: Hacker News
🎮Verification Games
Kids as Philosophers of AI
turingpost.com·3d·
Discuss: Hacker News
💻CS
Designing Smarter Conversational Agents for Kids: Lessons from Cognitive Work and Means-Ends Analyses
arxiv.org·2d
🧩Parser Combinators
A Unified Theory of Language
arxiv.org·5d
🧩Parser Combinators