10 Insights from Integrating AI into My Coding Workflow
thenewstack.io·11h
🤖Program Synthesis
The XINU Page
xinu.cs.purdue.edu·23h·
Discuss: Hacker News
📦Unikernel Systems
Croissant! Building a No-Framework Web App
dbushell.com·15h·
Discuss: Hacker News
🌐NetworkProtocols
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·8h·
Discuss: Hacker News
👁️System Observability
The case against which-key: a polemic
matem.unam.mx·3d·
Discuss: Lobsters, Hacker News
🐫OCaml
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·4d·
Discuss: Hacker News
➡️Category Theory
The Analog Art
joostrekveld.net·6h·
Discuss: Hacker News
💾Retro Computing
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Curriculum Negative Mining For Temporal Networks
arxiv.org·19h
➡️Category Theory
Feature-Based Belief Aggregation for Partially Observable Markov Decision Problems
arxiv.org·3d
🔠Type-Level Programming
From Autonomy to Agency: Agentic Vehicles for Human-Centered Mobility Systems
arxiv.org·3d
💻CS
Trainability of Quantum Models Beyond Known Classical Simulability
arxiv.org·1d
🐫OCaml
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·3d
➡️Category Theory
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·2d
➡️Category Theory
Bridging AI and Software Security: A Comparative Vulnerability Assessment of LLM Agent Deployment Paradigms
arxiv.org·1d
🛡️seL4
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
MagiC: Evaluating Multimodal Cognition Toward Grounded Visual Reasoning
arxiv.org·19h
✓Automated Theorem Proving
Beyond the Dataset – Deep tech data science
aneeshsathe.com·17h·
Discuss: Hacker News
👁️System Observability
Conditional Multi-Stage Failure Recovery for Embodied Agents
arxiv.org·2d
🛡️seL4