Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·21h·
Discuss: Hacker News
🦀Rust
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·21h
🦀Rust
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·21h
⚠️Error Handling
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·1d·
Discuss: Hacker News
📐Type Theory
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·1d·
🦀Rust
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·6d·
Discuss: Substack
⚠️Error Handling
Flag this post
Reforging the ReScript Build System
rescript-lang.org·10h·
🦀Rust
Flag this post
original ↗
raymondcamden.com·2d
💻programming
Flag this post
Do I want Coders to Code?
yeikoff.xyz·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Going Full-Time NeoHaskell
dev.to·16h·
Discuss: DEV
🦀Rust
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·21h
⚠️Error Handling
Flag this post
What Are Auto-regressive Models? A Deep Dive and Typical Use Cases
blog.pangeanic.com·1d
📐Type Theory
Flag this post
The AI-Powered Evolution of Software Development
devops.com·15h
🦀Rust
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
🦀Rust
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·3h·
Discuss: Hacker News
🦀Rust
Flag this post
Windsurf Codemaps: Understand Code, Before You Vibe It
cognition.ai·8h·
🦀Rust
Flag this post
AI Uses Functions to Fetch Real Data (Not Just Chat)
farukalpay.substack.com·13h·
Discuss: Substack
💻programming
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·5d·
Discuss: Hacker News
🦀Rust
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·11h·
Discuss: Substack
📐Type Theory
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
⚠️Error Handling
Flag this post