Butler Flow: shipping code faster (but less like Alfred, more like CI on steroids) - Part 3
blog.gitbutler.com·9h
🚚Code Migration
Flag this post
Tetrahedral analog of the Pythagorean theorem
johndcook.com·1d
📐Mathematical Computing
Flag this post
A Claude Code Command for Hypothesis
🎲Property Testing
Flag this post
Build your own GPG in Rust
🛡️Parser Security
Flag this post
Building a Production-Ready AI Agent
🎭Program Synthesis
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
🔗Hash Functions
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🌱Forth Kernels
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·20h
🔤Language Tokenizers
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🎭Erlang OTP
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🎭Racket
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·20h
⚡Control Synthesis
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·20h
✨Gleam
Flag this post
Supercharging the ML and AI Development Experience at Netflix
netflixtechblog.com·4h
⚡Live Coding
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·20h
🌱Minimal ML
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·20h
🧠Memory Ordering
Flag this post
Loading...Loading more...