🎯 Dependent Parsing

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

DeepMind and OpenAI claim gold in International Mathematical Olympiad
newscientist.com·2d
🧠Intelligence Compression
A blog is like a gillnet
mfelix.org·1d·
Discuss: Hacker News
🔗Online Curation
Google Develops AI Tool That Fills Missing Words In Roman Inscriptions
tech.slashdot.org·21h
🤖Paleographic Automation
Logistic Regression Applied to Baseball Data
runningonnumbers.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·7h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Unied Lightweight Terminal Code and Text Editor with Advanced Commands
news.ycombinator.com·1d·
Discuss: Hacker News
📺Terminal UI
NoHumansRequired: Autonomous High-Quality Image Editing Triplet Mining
arxiv.org·4d
🤖Advanced OCR
SkySense V2: A Unified Foundation Model for Multi-modal Remote Sensing
arxiv.org·4d
📊Learned Metrics
Persona-Based Synthetic Data Generation Using Multi-Stage Conditioning with Large Language Models for Emotion Recognition
arxiv.org·4d
⚙️Compression Benchmarking
From Neurons to Semantics: Evaluating Cross-Linguistic Alignment Capabilities of Large Language Models via Neurons Alignment
arxiv.org·3d
🧮Kolmogorov Complexity
Aligned Manifold Property and Topology Point Clouds for Learning Molecular Properties
arxiv.org·2d
🕸️Algebraic Topology
Emergent Cognitive Convergence via Implementation: A Structured Loop Reflecting Four Theories of Mind (A Position Paper)
arxiv.org·2d
🔲Cellular Automata
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
How to build unified AI interfaces using the Vercel AI SDK
dev.to·19h·
Discuss: DEV
🎬WebCodecs API
Building Effective Agents: Simple Strategies for Success
dev.to·12h·
Discuss: DEV
🔲Cellular Automata
LLMs: Game-Changers or Just Hype? What Founders Need to Know About Their Pros and Cons
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
An Exploratory Study on Human-Robot Interaction using Semantics-based Situational Awareness
arxiv.org·1d
⚙️TLA+
Machine Learning Fundamentals: feature engineering project
dev.to·1d·
Discuss: DEV
🧠Machine Learning
The problem with AI agents isn’t the model, it’s missing context (and we built the fix)
dev.to·1d·
Discuss: DEV
⚙️TLA+