Alphyn Capital Management Q3 2025 Letter To Investors
seekingalpha.com·3h
🔍BitFunnel
Flag this post
Walking and Talking in the Woods with AI: The Future of Untethered Software Development
zackproser.com·21h
📟CLI Design
Flag this post
Nonmonotonic Logic
cambridge.org·3h·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
How to organize your Rust tests
blog.logrocket.com·2h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
What's new in C# 14: overview
pvs-studio.com·5d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Neural Networks for Chess
github.com·57m·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
The seven second kernel compile
es.tldp.org·1h·
Discuss: Hacker News
💾Memory Mapping
Flag this post
Automatically Translating C to Rust
cacm.acm.org·3d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
What does computer literacy mean for 2026?
sjg.io·7h·
Discuss: Hacker News
🧠Personal Knowledge Base
Flag this post
Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
arxiv.org·6d
👑Coq Tactics
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
🎯 Day 54 of My Data Analytics Journey
dev.to·5h·
Discuss: DEV
📊Vector Quantization
Flag this post
I built an AI agent with Mistral that automates 80% of my PostgreSQL DBA work
news.ycombinator.com·14h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Flag this post
JS/TS Functions Orchestrator
github.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
How Open Source License Scanners Work
fossa.com·48m·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Automated Lagrangian Anomaly Detection via Real-Time Constraint Propagation
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·17h
✨Effect Handlers
Flag this post
Building a Monitoring System That Actually Works
towardsdatascience.com·2h
👁️Observatory Systems
Flag this post
VL-SAE: Interpreting and Enhancing Vision-Language Alignment with a Unified Concept Set
arxiv.org·17h
🧮Vector Embeddings
Flag this post