Parallel evaluation comes to Determinate Nix
determinate.systems·1d·
Discuss: Hacker News
❄️Nix
On beautiful code
keygen.sh·3d·
Discuss: r/programming
💎Refinement Types
Is class imbalance a problem in machine learning?
datascience.stackexchange.com·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·2d·
Discuss: Hacker News
💎Refinement Types
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.com·1d·
Discuss: Hacker News
🧩Separation Logic
Python Basics for Hackers, Part 04: How to Find the Exact Location of Any IP
hackers-arise.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·2d
🤖Program Synthesis
In Defense of the Mediocre Developer (are we overestimating averages?)
pugsiman.github.io·17h·
Discuss: r/programming
👁️System Observability
When Agents go Astray: Course-Correcting SWE Agents with PRMs
arxiv.org·3d
✓Automated Theorem Proving
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·2d
🧩Separation Logic
Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
arxiv.org·2d
🩹Self-Healing Systems
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·2d
🔄Finite State Machines
InvisiCaps: The Fil-C capability model
fil-c.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
From Evaluation to Defense: Constructing Persistent Edit-Based Fingerprints for Large Language Models
arxiv.org·2d
🧩Parser Combinators
CPU Utilization Not as Easy as It Sounds
hackaday.com·2d
⚙️Operating System Design
Latent Variable Modeling in Multi-Agent Reinforcement Learning via Expectation-Maximization for UAV-Based Wildlife Protection
arxiv.org·2d
🩹Self-Healing Systems
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.org·2d
🧠Automated Reasoning
MFGLib: A Library for Mean-Field Games
arxiv.org·2d
🎮Verification Games
2nd Place Solution for CVPR2024 E2E Challenge: End-to-End Autonomous Driving Using Vision Language Model
arxiv.org·2d
🔄Finite State Machines
Safe and Efficient Lane-Changing for Autonomous Vehicles: An Improved Double Quintic Polynomial Approach with Time-to-Collision Evaluation
arxiv.org·3d
🩹Self-Healing Systems