Open Catalyst Project
opencatalystproject.org·7h·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·7h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Composer Patches 2.0.0
cweagans.net·1d·
Discuss: Hacker News
💾Cachix
Flag this post
Welcome to Aspire: Your stack, streamlined – Aspire is going polyglot
devblogs.microsoft.com·18h·
Discuss: Hacker News
🔧ppx
Flag this post
I created Open Source Kubernetes tool called Forkspacer to fork entire environments + dataplane, it is like git but for kubernetes.
reddit.com·1d·
Discuss: r/kubernetes
⎈Kubernetes
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.org·1d·
Discuss: Hacker News, r/linux
🐳Containerization
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·1h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·4d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
You Don't Need Types in Ruby
zhisme.com·3d·
Discuss: Hacker News
❓Existential Types
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·1d·
Discuss: Hacker News
💬Mach Messages
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·6h·
Discuss: DEV
🧪Property-Based Testing
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
💬Mach Messages
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·23h·
Discuss: Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Linux/WASM
joelseverin.github.io·18h·
Discuss: Hacker News
🐳Containerization
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Building from First Principles
marvinh.dev·3d·
Discuss: Hacker News
📝Nix Language
Flag this post
Algorithmic Constraints on Multiverse Exploration via Compactified Topological Spaces
dev.to·11h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Why I Chose Go as My Main Backend Language — and Why You Might Too
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post