🎯 Dependent Parsing

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

Don't show some shortcodes in Hugo's RSS output
james.cridland.net·1d
📡RSS
Do Nothing
blog.tanyakhovanova.com·12h
λLambda Encodings
GitLab Knowledge Graph
gitlab-org.gitlab.io·11h·
Discuss: Hacker News
🕸️Knowledge Graphs
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·1d·
Discuss: Hacker News
🌀Differential Geometry
Show HN: Sora3: Sora 3 – Next-Gen AI Video Generation Platform
sora3.online·1h·
Discuss: Hacker News
🧠Learned Codecs
PHP's New URI Extension
thephp.foundation·2d·
Discuss: Hacker News
🌐Web Standards
ChatGPT Pretends to Run Code
eriklonnroth.com·3d·
Discuss: Hacker News
⚡Proof Automation
Building Repo Bench
repoprompt.com·4d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Been learning Go for the past couple of months. I built this fun project - tview, a terminal tool to visualize your folder structure as a tree
reddit.com·10h·
Discuss: r/golang
⌨️Terminal Customization
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Announcing Chamber: A simple, cross-platform encrypted file vault tool built with Go
reddit.com·20h·
Discuss: r/golang
🔐Archive Encryption
Demystifying and Navigating AI Ethics in Power Electronics
arxiv.org·2h
🔧Hardware Verification
The fragility of "cultural tendencies" in LLMs
arxiv.org·5d
🧮Theoretical Computer Science
11+ Best All-in-One AI Platforms in 2025
dev.to·4d·
Discuss: DEV
🤖AI Curation
XRPO: Pushing the limits of GRPO with Targeted Exploration and Exploitation
arxiv.org·4d
🎯Performance Proofs
Visual Anomaly Detection for Reliable Robotic Implantation of Flexible Microelectrode Array
arxiv.org·2h
💾Floppy Imaging
Multimodal Safety Evaluation in Generative Agent Social Simulations
arxiv.org·3d
🔲Cellular Automata
Tech With Tim: My top 5 python programming course recommendations
dev.to·16h·
Discuss: DEV
🌀Brotli Internals
Tech With Tim: How to Build AI Agents in Python
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Tech With Tim: Python Web Scraping: A Million Dollar Project Idea - FULL Build/Tutorial
dev.to·2d·
Discuss: DEV
🌀Brotli Internals