🎯 Dependent Parsing

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

Google Search: Introducing AI Mode in the UK
blog.google·6h
📰RSS Reading Practices
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·2d
⚔️Lean Theorem
Python and NixOS: A match made in hell
crescentro.se·18h·
Discuss: Hacker News
❄️Nixpkgs
Police and sharks:not knowing how your data is processed can lead you astray
blog.engora.com·17h·
Discuss: Hacker News
🔗Data Provenance
Reverse Proxy Deep Dive Part 3: Understanding Service Discovery Challenges
startwithawhy.com·1d·
Discuss: r/devops
📊PCAP Analysis
Building a custom GUI app for my Hugo blog with Tauri
blog.notmyhostna.me·1d·
Discuss: Hacker News
📺Terminal UI
Lucidly Launches a New Platform to Redefine Website Proofing and Collaboration
markets.businessinsider.com·17h·
Discuss: Hacker News
🚀Indie Hacking
ContextSphere 8B: A New AI Paradigm
dixonary.co.uk·4d·
Discuss: Hacker News
🔢Denotational Semantics
Why Does Work Expand?
thudfactor.com·1d·
Discuss: Hacker News
🔬Lean
Russian networks flood Internet with propaganda, aiming to corrupt AI chatbots
thebulletin.org·1d·
Discuss: Hacker News
🧅Tor Networks
State of the Art SISR [R]
reddit.com·18h·
Discuss: r/MachineLearning
💾Disk Imaging
I built a Python Quiz App using Tkinter and Pygame – Feedback welcome!
dev.to·16h·
Discuss: DEV
🕹Emulation
🧠 AsMind – The Empathetic Conversational Search Assistant (Neuro-Inclusive AI powered by Algolia + GPT)
dev.to·1d·
Discuss: DEV
🎛️Feed Filtering
Reinforcement Learning Fine-Tunes a Sparse Subnetwork in Large Language Models
arxiv.org·5d
🎧Learned Audio
Probing Vision-Language Understanding through the Visual Entailment Task: promises and pitfalls
arxiv.org·5d
📊Learned Metrics
ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics
arxiv.org·4d
✨Effect Handlers
Youtube Downloader - My first MCP Server
dev.to·8h·
Discuss: DEV
📦MKV Containers
Your AI Knowledge System is Garbage (And Here's How to Fix It)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·2d
🎙️Whisper
Diverse and Adaptive Behavior Curriculum for Autonomous Driving: A Student-Teacher Framework with Multi-Agent RL
arxiv.org·1d
🔲Cellular Automata