🎯 Dependent Parsing

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

The NNCPNET email network
lwn.net·2d·
Discuss: Hacker News
📼Cassette Networks
SFrame Stack Trace Format
sourceware.org·1d·
Discuss: Hacker News
🔧Binary Parsing
Reading Hits Differently to Listening For Your Brain, Science Says
sciencealert.com·1d·
Discuss: Hacker News
📄Document Phonetics
Skynet scenarios and real world risks
helenbeetham.substack.com·12h·
Discuss: Substack
⚖️Emulation Ethics
Data Leakage and Redundancy in the LIT-PCBA Benchmark
arxiv.org·4d
⚡Performance Mythology
How Computers “See” Molecules
towardsdatascience.com·2d
💎Information Crystallography
TandoorRecipes/recipes
github.com·1d
🔄Sync Engine
QWIKTHREADS FOR REDIS WINNING HACKATHON
dev.to·18h·
Discuss: DEV
⚡Redis Internals
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.org·4d
🔍Vector Forensics
FedCVD++: Communication-Efficient Federated Learning for Cardiovascular Risk Prediction with Parametric and Non-Parametric Model Optimization
arxiv.org·2d
🤐Secure Multiparty
AI Assistant: Your Guide to the Best Productivity Tool
dev.to·2d·
Discuss: DEV
📐Proof Assistants
From Zero to Telegram AI Bot: My Experience Building with Bolt and Gemini
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Why LLMs struggle with analytics
dev.to·4d·
Discuss: DEV
🗄️Database Internals
Context Engineering: The Hidden Superpower Fueling Next-Gen AI
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
Decoding the Magic: Logistic Regression, Cross-Entropy, and Optimization
dev.to·2d·
Discuss: DEV
🧠Machine Learning
PEMUTA: Pedagogically-Enriched Multi-Granular Undergraduate Thesis Assessment
arxiv.org·5d
🏛Digital humanities
🎉 I’ve Moved from `rs-calculator` to `rsc` — Here’s What’s New!
dev.to·1d·
Discuss: DEV
📚Lempel-Ziv
Knowledge Is More Than Performance: How Knowledge Diversity Drives Human-Human and Human-AI Interaction Synergy and Reveals Pure-AI Interaction Shortfalls
arxiv.org·2d
🔲Cellular Automata
Why Go’s any and interface{} Are the Same… But Not Quite
dev.to·3h·
Discuss: DEV
🔒Linear Types
Python Fundamentals: complex numbers
dev.to·4d·
Discuss: DEV
💧Liquid Types