Feeds to Scour
SubscribedAll
The Easiest Way to Build a Type Checker
jimmyhmiller.github.ioยท1d
โœ…Format Verification
Preview
Report Post
Learning a new programming language with an LLM
feeding.cloud.geek.nzยท1d
๐Ÿ“Proof Assistants
Preview
Report Post
Theory and AI Alignment
scottaaronson.blogยท1d
๐Ÿ”ฒCellular Automata
Preview
Report Post
Agentic Property Extraction: Simple yet Powerful
aryn.aiยท3dยท
Discuss: Hacker News
๐Ÿ“‹Document Grammars
Preview
Report Post
Gh PR-review: LLM-friendly PR review workflows in your CLI
agyn.ioยท1dยท
Discuss: Hacker News
๐ŸงฌBitstream Evolution
Preview
Report Post
Capturing Classic Authorial Style in Long-Form Story Generation with GRPO Fine-Tuning
arxiv.orgยท23h
๐Ÿ“Concrete Syntax
Preview
Report Post
Golang optimizations for highโ€‘volume services
packagemain.techยท16hยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Preview
Report Post
๐ŸŽฏ Domain-Specific LLMs: Specialized AI for Healthcare, Finance, Legal, and Beyond
dev.toยท18hยท
Discuss: DEV
๐Ÿ—ฃ๏ธDomain-Specific Languages
Preview
Report Post
State of decay in self-hosted commenting (code review)
bykozy.meยท3dยท
Discuss: Hacker News
๐Ÿ”CBOR
Preview
Report Post
I Can't Write Code. I Built This Anyway.
dev.toยท19hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Preview
Report Post
Tiny Core Linux: A 23MB Minimalist Foundation for Edge AI
terabyte.systemsยท1dยท
Discuss: Hacker News
โš™๏ธOperating System Design
Preview
Report Post
Anatomy of a Domain Risk Engine: Regex vs. LLMs
urlert.comยท2dยท
Discuss: Hacker News
๐Ÿ•ต๏ธDomain Enumeration
Preview
Report Post
Building PagerDuty's SRE Agent
pagerduty.comยท3dยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Preview
Report Post
Building a Robust Digital System for Babulnath Alloys โ€” A Full Case Study (Next.js 16 + Prisma + Supabase)
dev.toยท14hยท
Discuss: DEV
๐Ÿ“ฆMETS Containers
Preview
Report Post
Optimizing Medical Question-Answering Systems: A Comparative Study of Fine-Tuned and Zero-Shot Large Language Models with RAG Framework
arxiv.orgยท23h
๐Ÿ”Information Retrieval
Preview
Report Post
Teaching My AI to Sleep: Continual Learning with Llama 3 on a Mac Mini
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Preview
Report Post
Show HN: SpecMem-A Unified Ax and Pragmatic Memory for Coding Agents
super-agentic.aiยท9hยท
Discuss: Hacker News
โš™๏ธTLA+
Preview
Report Post
Show HN: Fixxer โ€“ Local TUI to cull/organize RAW photos(CLIP, Qwen2.5-VL, rawpy)
github.comยท1dยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Preview
Report Post
Retool uses Loop to turn production data into AI roadmap decisions
braintrust.devยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Preview
Report Post
Supercharge your stack: Integrate AI-powered Message generation with Cloudflare
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Sync Engine
Preview
Report Post