🎯 Dependent Parsing

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

XProc tips and tricks
so.nwalsh.com·2d
⚡Proof Automation
IlanCosman/tide
github.com·22h
📟Terminal Typography
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Understanding Muon: A Revolutionary Neural Network Optimizer
glorious-potato-19.notion.site·11h·
Discuss: Hacker News
📊Quantization
[D] Working on a ML in Quant Finance Conf - Need your guidance
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Announcing Toad - a universal UI for agentic coding in the terminal
simonwillison.net·7h
🔓Open Source Software
Colodebug: A simple way to improve bash script debugging
johannes.truschnigg.info·2d·
Discuss: Hacker News
🐚Shell Optimization
What Optimization Terminologies for Linear Programming Really Mean
towardsdatascience.com·1d
📈Linear programming
Google develops AI tool that fills missing words in Roman inscriptions
theguardian.com·8h·
Discuss: Hacker News
🤖AI Paleography
Unlock Family Photo Secrets Using AI Questions
dev.to·6h·
Discuss: DEV
📜Family History Data
Ask HN: What Speaker Diarization tools should I look into?
news.ycombinator.com·1d·
Discuss: Hacker News
🎙️Whisper
A Beginner’s Guide to Channel Attribution Modeling in Marketing (using Markov Chains, with a case study in R)
dev.to·5h·
Discuss: DEV
🎯Arithmetic Coding Theory
Start Your AI Journey
dev.to·14h·
Discuss: DEV
🧠Intelligence Compression
Building a game for Words Largest Hackathon using Bolt.new
dev.to·17h·
Discuss: DEV
⚡Proof Automation
Using FireCrawl MCP Server with Claude for Web Scraping
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Python Fundamentals: click
dev.to·11h·
Discuss: DEV
💧Liquid Types
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·19h
🗺️Competency Maps
Machine Learning Fundamentals: federated learning with python
dev.to·1d·
Discuss: DEV
💻Local LLMs
How i ditched LangChain to create my own custom RAG
dev.to·4d·
Discuss: DEV
🤖Archive Automation
What Is Agentic AI And Why It Changes Everything in Automation
dev.to·11h·
Discuss: DEV
⚡Proof Automation