Placing Arguments
blog.yoshuawuyts.com·1d
🦀Rust Macros
Book Review: The Math Academy Way
ijfen.substack.com·15h·
Discuss: Substack
📚Proof Pedagogy
AI Proves P != NP
mvcalder-01701.medium.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
The Case for Case Insensitivity (2005)
blog.codinghorror.com·23h·
Discuss: Hacker News
💻Programming languages
Patterns of Functional Programming: Functional Core – Imperative Shell
javiercasas.com·1d·
Discuss: Hacker News
🐚Shell Monads
OOMProf - Take a heap profile just before OOMkill using eBPF
polarsignals.com·19h·
Discuss: Lobsters, Hacker News, r/golang
🧠Memory Forensics
Programming languages and dimensions of units of measure
cl.cam.ac.uk·3d·
Discuss: Hacker News
💻Programming languages
Programming a Language
nrinaudo.github.io·3d·
Discuss: Hacker News
🔗Concatenative Programming
How Randomness Improves Algorithms?
quantamagazine.org·43m·
Discuss: Hacker News
🌳Trie Structures
Database Query Operator – Manage Kubernetes Resources from Your Database
reddit.com·2d·
Discuss: r/kubernetes
🌊Streaming Databases
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·1d·
Discuss: DEV
⚡gRPC
Fast and Generalizable parameter-embedded Neural Operators for Lithium-Ion Battery Simulation
arxiv.org·2d
🧠Neural Codecs
DAgger Diffusion Navigation: DAgger Boosted Diffusion Policy for Vision-Language Navigation
arxiv.org·6h
🌀Riemannian Computing
Old Stats, New Tricks: How PCIC Builds on Decades of Recommendation Research
hackernoon.com·2d
🎯Content Recommendation
Building AI-Powered .NET applications with Groq Cloud and MaIN.NET
dev.to·2d·
Discuss: DEV
⚡gRPC
Enhanced Topology Optimization via Multi-Fidelity Bayesian Surrogate Modeling and Reinforcement Learning Feedback
dev.to·20h·
Discuss: DEV
⚡Incremental Computation
Automate AIOps with Amazon SageMaker Unified Studio projects, Part 1: Solution architecture
aws.amazon.com·1d
🏠Homelab Orchestration
Automated Regulatory Compliance Verification for Radiological Safety Protocols via Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
✅Format Verification
High-Throughput Affinity Chromatography Optimization via AI-Driven Resin Microstructure Analysis
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Pragmatics beyond humans: meaning, communication, and LLMs
arxiv.org·3d
🎭Cultural Informatics