Rails Decouples Trix From Action Text Into action_text-trix gem
blog.saeloun.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Illustrating Git Diff — And Master It
elye-project.medium.com·3d·
Discuss: r/programming
✓Automated Theorem Proving
Living in a tiny electric van for three years
philsturgeon.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·6d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·4d·
Discuss: Hacker News
❄️Nixified Development
Visualising Topology Inspired Computing Algorithms
antifold.com·4d·
Discuss: Hacker News
🧩Separation Logic
Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·10h·
Discuss: Hacker News
🧗Climbing Tech
Comparing Virtual Threads vs Platform Threads in Spring Boot using JMeter Load Test
reddit.com·3d·
Discuss: r/programming
👁️System Observability
Tokenizing Loops of Antibodies
arxiv.org·2d
🧮Lambda Calculus
Measuring Implicit Spatial Coordination in Teams: Effects on Collective Intelligence and Performance
arxiv.org·1d
🎮Verification Games
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·5d·
Discuss: Hacker News
💎Refinement Types
Setting Up CI/CD Pipelines for TypeScript Monorepo
auslake.vercel.app·4d·
Discuss: r/programming
🔄Reproducible Builds
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·1d
🧩Separation Logic
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Is user onboarding better now that we have AI?
medium.com·13h·
Discuss: Hacker News
🍎Apple
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·4d
✓Automated Theorem Proving
Pydantic AI Gateway
github.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Will this build run 24/7 reliably (trading bot)
reddit.com·2d·
Discuss: r/homelab
🔄Reproducible Builds
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·4d
📚Automata Learning