LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Show HN: Requests-Based Google Maps Scraper
apify.com·14h·
Discuss: Hacker News
🔍BitFunnel
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·4d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Probing AI Safety with Source Code
arxiv.org·7h
✨Effect Handlers
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·7h
✅Format Verification
My AI Workflow for Understanding Any Codebase
steipete.me·1d
⚡Proof Automation
Modeling the World in 280 Characters
tympanus.net·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·1d
🔍Type Inference
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·5h·
Discuss: DEV
⚡Proof Automation
PARALLELPROMPT: Extracting Parallelism from Large Language Model Queries
arxiv.org·2d
🚀SIMD Text Processing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Discover C++26’s compile-time reflection
lemire.me·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp, r/programming
🦀Rust Macros
Summary and Sharing of Data Types in the Cangjie development Language for HarmonyOS Next
dev.to·1d·
Discuss: DEV
🧮Algebraic Datatypes
A Complete Guide to Retrieval-Augmented Generation
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Imitation Box Horse - Personal Center Page (19)
dev.to·22h·
Discuss: DEV
📖Nordic Typography
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·3h
📋Document Grammar