Show HN: Requests-Based Google Maps Scraper
apify.com·10h·
Discuss: Hacker News
🔍BitFunnel
From pair to peer programmer: Our vision for agentic workflows in GitHub Copilot
github.blog·15h
🔄Language Evolution
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
Huawei's Self-Developed Cangjie Programming Language to Go Open Source, Sharing Equal Status with ArkTS in the Future
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·13h
🔒Linear Types
Function Currying in Modern JavaScript: Why, When, and How
dev.to·3d·
Discuss: DEV
⬆️Lambda Lifting
C compiler for Web Assembly (c4wa)
github.com·1d·
Discuss: Hacker News
🌐WASI
Learning Plan Architect: Design Your Mastery Blueprint 🏗️🎯🤖🌠
dev.to·6h·
Discuss: DEV
📐Proof Assistants
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·3h
🎯Performance Proofs
Ts-Wordle: An implementation of Wordle written in TypeScript types
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
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·3h
✨Effect Handlers
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3h
✅Format Verification
My AI Workflow for Understanding Any Codebase
steipete.me·20h
⚡Proof Automation
Modeling the World in 280 Characters
tympanus.net·2d·
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·1h·
Discuss: DEV
⚡Proof Automation