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

Embedding Preservability in New Forms of Scholarship
dpconline.org·16h
🔄Archival Workflows
Flag this post
Big Kiss, Bye-Bye by Claire-Louise Bennett review – remembering terrible men
theguardian.com·18h
🏛Digital humanities
Flag this post
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.com·2d·
Discuss: DEV
🌊Streaming Systems
Flag this post
Dying mother loses life insurance after failing to declare UTI tests
abc.net.au·11m
🏠Personal Archives
Flag this post
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·3d·
Discuss: Hacker News
🎯Proof Tactics
Flag this post
First look at the DGX Spark
xeiaso.net·1d·
Discuss: Hacker News
🖥️Terminal Renaissance
Flag this post
VLLM Predicted Outputs
cascadetech.ai·4d·
Discuss: Hacker News
💻Local LLMs
Flag this post
Vile texts messages from Young Republican group chat are exposed — with epithets, racism and Hitler praise the norm
the-independent.com·46m
📝ABNF Parsing
Flag this post
A Taste of P99 CONF: Low Latency With eBPF, Rust and More
thenewstack.io·8h
🖥️Modern Terminals
Flag this post
From Complex Law to Simple Code: The Logic Behind a Financial Calculator
dev.to·18h·
Discuss: DEV
🔗Constraint Handling
Flag this post
Will AI Agents Change the Internet Forever?
spectrum.ieee.org·1d
⚙️TLA+
Flag this post
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·5d·
Discuss: r/rust
🦀Rust Macros
Flag this post
TTRV: Test-Time Reinforcement Learning for Vision Language Models
arxiv.org·5d
📊Learned Metrics
Flag this post
Automated Fraction Collection Optimization via Dynamic Peak Prioritization and Real-Time Gradient Adjustment
dev.to·1d·
Discuss: DEV
Precision Brewing
Flag this post
Low Complexity Detector for XL-MIMO Uplink: A Cross Splitting Based Information Geometry Approach
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.org·4d
🗺️Competency Maps
Flag this post
Real-Time Ice Prediction via Multi-Sensor Fusion & Adaptive Kalman Filtering for RWIS
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Flag this post
Your MCP Agents Can Access Everything. They Can't Prove Who They Are. Here's Why That's Dangerous.
dev.to·1d·
Discuss: DEV
🌳Archive Merkle Trees
Flag this post