🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

RSS Readers
irreal.org·20h
📰RSS Reading Practices
findr [by Alethia, Jack/Robby]
archiveofourown.org·10h
📟Terminal Forensics
Is AI ready to pop?
aardvark.co.nz·18h
🤖AI Curation
Satisfaction of Render Pipelines
azeemba.com·18h·
Discuss: Lobsters, Hacker News
🌊Stream Processing
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·2d·
Discuss: Hacker News
📜Binary Philology
Constant-Time Crypto in Fil-C
fil-c.org·1d·
Discuss: Hacker News
🔒Type Safety
Diagnosing Underperforming Content at Scale Our ETL Pipeline for Blog SEO in N8N
researchly.at·15h·
Discuss: Hacker News
🔃Feed Algorithms
There will soon be AI agents working on our behalf
blog.cip.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Using Haskell to write an NES emulator
github.com·1d·
Discuss: Hacker News
🕹Emulation
Show HN: GitHub-native prediction markets using Issues (no DB)
news.ycombinator.com·20h·
Discuss: Hacker News
🌊Apache Kafka
Tech With Tim: My top 5 python programming course recommendations
dev.to·3h·
Discuss: DEV
⭐Awesome lists
00. AI in Bioinformatics
dev.to·10h·
Discuss: DEV
🦴Database Paleontology
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·3d
📐Compression Bounds
Reproducibility Study of "XRec: Large Language Models for Explainable Recommendation"
arxiv.org·4d
🧠Intelligence Compression
Reimagine Libraries management as Apps using Agentic Executable framework
dev.to·10h·
Discuss: DEV
🧱Immutable Infrastructure
Arbitrary Entropy Policy Optimization: Entropy Is Controllable in Reinforcement Finetuning
arxiv.org·3d
🔲Cellular Automata
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·3d
🔲Cellular Automata
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.to·7h·
Discuss: DEV
🎙️Whisper
Using Translation Memory in Software Projects: A Beginner’s Guide
dev.to·4h·
Discuss: DEV
🔄Language Evolution
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·6d
🎯Performance Proofs