Code execution with MCP: Building more efficient agents
simonwillison.net·20h
🌳Tree-sitter
Flag this post
I am torn about using Lo
reddit.com·1d·
Discuss: r/golang
🎨Design Systems
Flag this post
Pain Points of OCaml
quamserena.com·1d·
🦀Rust Macros
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
AI and the Loss of the Flow
dev.to·13h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·13h·
Discuss: DEV
🏗️Build Systems
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·5h·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
Formal Verification
Flag this post
Going Full-Time NeoHaskell
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·15h
🧮SMT Solvers
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·15h
🧮Embeddings
Flag this post
The Newsletter Template Prompt That Changed My Email Marketing Game
pub.towardsai.net·15h
📡RSS
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·23h·
📏Linear Types
Flag this post
Top 10 AI Features for Modern WYSIWYG Editors
dev.to·21h·
Discuss: DEV
⌨️Text Editors
Flag this post
Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.net·15h
💬Prompt Engineering
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·5h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Build an AI Summarizer Agent in TypeScript Using Mastra (Part 1)
dev.to·1d·
Discuss: DEV
🪟Tauri
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·21h·
Discuss: Hacker News
🚀MLOps
Flag this post