🎯 Dependent Parsing

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

A language model built for the public good
jmason.ie·2d
💻Local LLMs
Replacing WriteFreely with eleventy
underlap.org·1d
📰RSS Archaeology
Mun Programming Language
mun-lang.org·1d·
Discuss: Hacker News
🔩Systems Programming
SensorLM: Learning the language of wearable sensors
research.google·5d·
Discuss: Hacker News, Hacker News
🎙️Whisper
Lessons from 10 Years at GitHub
rickwinfrey.com·1d·
Discuss: Hacker News
🔄Language Evolution
What Makes a Mature Science
press.asimov.com·1d·
Discuss: Hacker News
🔲Cellular Automata
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🗂Data structures
A Semi-Technical Primer on LLMs
sandboxthoughts.substack.com·5d·
Discuss: Substack
📏Linear Logic
I'm a Therapist. ChatGPT Is Eerily Effective
nytimes.com·1d·
Discuss: Hacker News
🧪Cassette Hacks
LLMs and Mental Health
towardsdatascience.com·2d
🎵Audio ML
Pinpoint Error in Your GenAI Model Input & Response
dev.to·2d·
Discuss: DEV
🔍Z3 Parsing
An Empirical Investigation of Gender Stereotype Representation in Large Language Models: The Italian Case
arxiv.org·5d
🏛Digital humanities
Dependency on Meta AI Chatbot in Messenger Among STEM and Non-STEM Students in Higher Education
arxiv.org·3d
⚡Proof Automation
Which AI Reigns? GPT‑4, Claude, LLaMA, Perplexity & AI Studio
dev.to·1d·
Discuss: DEV
🤖AI Curation
Why Agentic AI Will Replace 80% of Low-Level Automation Tools
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·2d
📝Compiler Design
Mamba-based Efficient Spatio-Frequency Motion Perception for Video Camouflaged Object Detection
arxiv.org·1d
🧠Machine Learning
I asked Chat to show me what my cat would look like as a person.
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·3d·
Discuss: DEV
🐚Nordic Shell
React Libraries for Building AI-Powered Apps
dev.to·2d·
Discuss: DEV
🎙️Whisper