🎯 Dependent Parsing

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

Lithuania joins Baltic neighbours in teaching children to build and fly drones
euronews.com·13h
🔐Soviet Cryptography
For Indigenous communities, AI brings peril — and promise
grist.org·4h
🌍Cultural Computing
RFK Jr. Is Supporting mRNA Research—Just Not for Vaccines
wired.com·19h
📄Document Digitization
I Replaced My Mac With an iPad for an Entire Week. It Went as Well as You’d Expect
wired.com·2h
🖥️Vintage Macintosh
Apple is reportedly planning an AI push with four new smart home products
the-decoder.com·17h
🍎Apple Computing
Lambdas, Nested Functions, and Blocks
thephd.dev·2d·
Discuss: Hacker News
🐚Shell Combinators
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·5d·
Discuss: Hacker News
⚡Proof Automation
The Great Generalist Extinction
wryco.com·2d·
Discuss: Hacker News
🦴Binary Paleography
It's Not 10x. It's 36x – This Is What It Looks Like to Kill a $30k Meeting
cameronwestland.com·2d·
Discuss: Hacker News
⚡Proof Automation
Tips for Setting Expectations in AI Projects
towardsdatascience.com·19h
📏Code Metrics
AI Security Map: Holistic Organization of AI Security Technologies and Impacts on Stakeholders
arxiv.org·1d
🔍Vector Forensics
Adaptive Graph Neural Network Ensemble for Dynamic Network Resilience Prediction
dev.to·1d·
Discuss: DEV
🕸️Graph Embeddings
Save memory and CPU with an interning cache
chrispenner.ca·2d
⚡Cache Theory
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
arxiv.org·2d
🔍Vector Forensics
Based AI improves human decision-making but reduces trust
arxiv.org·9h
🌍Cultural Algorithms
ASCoT: An Adaptive Self-Correction Chain-of-Thought Method for Late-Stage Fragility in LLMs
arxiv.org·6d
✅Formal Methods
AI-Driven Autonomous Calibration of Semiconductor Fabrication Processes via Bayesian Optimization and Dynamic Process Modeling
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
CISO: Species Distribution Modeling Conditioned on Incomplete Species Observations
arxiv.org·2d
📐Linear Algebra
TensorFlow Graph Optimization With Grappler
hackernoon.com·1d
✨Effect Handlers
UW-3DGS: Underwater 3D Reconstruction with Physics-Aware Gaussian Splatting
arxiv.org·3d
🏺Computational Archaeology