🎯 Dependent Parsing

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

My 1981 BASIC adventure’s third lease on life
technologizer.com·14h
💾vintage computing
A Video Introduction to Broadband Surveillance with RTL_POWER
rtl-sdr.com·12h
📻Homebrew Protocols
Brinkmanship is risky
aardvark.co.nz·1d
🛡Cybersecurity
Amp Code: Arbitrary Command Execution via Prompt Injection Fixed
embracethered.com·5h
🛡️CLI Security
Evil AI?
rhollick.wordpress.com·3h
🔲Cellular Automata
MIT tool visualizes and edits “physically impossible” objects
news.mit.edu·22h·
Discuss: Hacker News
📐Mathematical Art
Show HN: Embeddable -build interactive experiences you can drop into any website
embeddable.co·10h·
Discuss: Hacker News
🔗Hypermedia APIs
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
ChatGPT and the Meaning of Life: Guest Post by Harvey Lederman
scottaaronson.blog·16h·
Discuss: Hacker News
🧲Magnetic Philosophy
One Third of the Web Will Stop Working in 4 Days
lowendbox.com·2d·
Discuss: Hacker News
🔓Hacking
Perplexity AI accused of scraping content against websites’ will with unlisted IP ranges
theregister.com·22h
🔍BitFunnel
How to Play (and Win) Connections
lifehacker.com·1d
🔲Cellular Automata
Building for the Era of Experience
rnikhil.com·2d·
Discuss: Hacker News
🌍Cultural Algorithms
10 years building internal tools, and the SaaS stack is still a nightmare
news.ycombinator.com·2h·
Discuss: Hacker News
❄️Nix Flakes
Not everything needs GPT. Sometimes a simple equation will do
danielball.com·5d·
Discuss: Hacker News
🧠Machine Learning
ECG Latent Feature Extraction with Autoencoders for Downstream Prediction Tasks
arxiv.org·1d
🧠Machine Learning
TrajSurv: Learning Continuous Latent Trajectories from Electronic Health Records for Trustworthy Survival Prediction
arxiv.org·1d
🎵Audio ML
A Mixed User-Centered Approach to Enable Augmented Intelligence in Intelligent Tutoring Systems: The Case of MathAIde app
arxiv.org·1d
🌀Differential Geometry
Measuring and Predicting Where and When Pathologists Focus their Visual Attention while Grading Whole Slide Images of Cancer
arxiv.org·14h
📊Learned Metrics
Toward using explainable data-driven surrogate models for treating performance-based seismic design as an inverse engineering problem
arxiv.org·1d
🧠Machine Learning