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

Weekly DC Stats - 23NOV2025
forums.anandtech.com·44m
🔄Burrows-Wheeler
Flag this post
What Does the AGPL Require?
runxiyu.org·2h·
🔓Open Source Software
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·17h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·19h·
Discuss: Substack
🧠Query Planners
Flag this post
Abuse of the nullish coalescing operator in JS/TS
fredrikmalmo.com·2d·
🧪Binary Fuzzing
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
How LLMs generate judgments
nature.com·3d·
Discuss: Hacker News
💻Local LLMs
Flag this post
AI Caught in a Lie: A Corrective Conversation with Perplexity AI
shastasfog.wordpress.com·2d·
Discuss: Hacker News
🧪Binary Fuzzing
Flag this post
Graph Neural Networks for Surgical Scene Segmentation
arxiv.org·2d
🌀Riemannian Computing
Flag this post
Dingo: A Meta-Language for Go
github.com·13h·
🦀Rust Macros
Flag this post
Liballocs: Meta-level run-time services for Unix processes a.k.a. dragging U
github.com·27m·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Classification of worldwide news articles by perceived quality, 2018-2024
arxiv.org·2d
📰Content Curation
Flag this post
Unveiling Intrinsic Dimension of Texts: from Academic Abstract to Creative Story
arxiv.org·3d
🧠Intelligence Compression
Flag this post
Hyperdimensional Semantic Mapping for Robust Visual Localization in Dynamic Robotic Environments
dev.to·3h·
Discuss: DEV
🌀Differential Geometry
Flag this post
Knowledge-Informed Automatic Feature Extraction via Collaborative Large Language Model Agents
arxiv.org·3d
🧮Z3 Applications
Flag this post
Tool42: AI assisted Rust development tooling
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
Entropy-Guided Reasoning Compression
arxiv.org·4d
Information Bottleneck
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·1d·
Discuss: Hacker News
💧Liquid Types
Flag this post