Football: Spanish harmony to battle English resilience in Women's Euro final
france24.comΒ·3h
πŸ“‡Dublin Core
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.comΒ·5d
πŸ“Concrete Syntax
More sizzle than steak? Using an LLM to produce verified bug fixes (new preprint)
bertrandmeyer.comΒ·2d
⚑Proof Automation
Show HN: I missed a $2M deal due to bad notes, so I built this
apps.apple.comΒ·1dΒ·
Discuss: Hacker News
πŸ’ΏFLAC Archaeology
The Ethical Minefield of Genetic Testing for All
medscape.comΒ·11hΒ·
Discuss: Hacker News
🧬Copy Number Variants
In Defence of Gary Marcus
reubenadams.substack.comΒ·1dΒ·
Discuss: Substack
πŸ’Ύvintage computing
Careers at the Frontier: Hiring the Future at OpenAI
forum.openai.comΒ·3hΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
The app I never launched
asad.pwΒ·1dΒ·
Discuss: Hacker News
πŸš€Indie Hacking
First time writing an Operator, Opinion needed on creating Operator of operators
reddit.comΒ·1dΒ·
Discuss: r/kubernetes
πŸ”CBOR
API tests as the single source of truth for docs, SDKs, and AI agents
scheduleddowntime.comΒ·4dΒ·
Discuss: Hacker News
πŸ”—Hypermedia APIs
Paper Notes - From Mind to Machine: The Rise of Manus AI as a Fully Autonomous Digital Agent
dev.toΒ·16hΒ·
Discuss: DEV
βš™οΈTLA+
Multimodal Fusion via Hypergraph Autoencoder and Contrastive Learning for Emotion Recognition in Conversation
arxiv.orgΒ·2d
πŸŽ™οΈWhisper
Go Concurrency in Microservices: A Practical Guide for Backend Devs
dev.toΒ·2dΒ·
Discuss: DEV
🌊Streaming Systems
SnippetSearch: Code Snippets Discovery Engine for Developers
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”BitFunnel
πŸš€ Qwen3‑Coder + Qwen Code CLI: A Powerful Open Source Alternative to Claude for Developers
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”“Open Source Software
Python Write JSON to File
dev.toΒ·5dΒ·
Discuss: DEV
πŸ“¦Deflate
DevStash: AI-Powered Developer Knowledge Management with Algolia MCP
dev.toΒ·1hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
BetterCheck: Towards Safeguarding VLMs for Automotive Perception Systems
arxiv.orgΒ·3d
πŸ—œοΈLZW Variants
Leveraging Knowledge Graphs and LLM Reasoning to Identify Operational Bottlenecks for Warehouse Planning Assistance
arxiv.orgΒ·3d
πŸ”—Constraint Handling
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.comΒ·5dΒ·
Discuss: Hacker News
πŸ”—Concatenative Programming