Making a C64/C65 compatible computer: MEGAphone contact list and Dialer
c65gs.blogspot.comยท2dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Flag this post
Voxel Grid Visibility
cod.ifies.comยท1dยท
๐ŸงฉSeparation Logic
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.comยท3dยท
Discuss: Substack
๐Ÿ“Linear Algebra
Flag this post
Automating error analysis for AI agents โ€“ what works and doesn't
atla-ai.comยท1dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.comยท3dยท
Discuss: Hacker News
๐Ÿ”CBMC
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.orgยท1d
ฮปFunctional Programming
Flag this post
Erasing 'Ugly' from the Internet: Propagation of the Beauty Myth in Text-Image Models
arxiv.orgยท1d
๐Ÿ”คKleene Algebra
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.orgยท1d
๐Ÿ“ฆModule Systems
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Flag this post
Why agents do not write most of our code โ€“ a reality check
octomind.devยท2dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.orgยท13h
๐Ÿ”ฒCellular Automata
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.orgยท1d
๐Ÿ“Linear Algebra
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.toยท16hยท
Discuss: DEV
๐Ÿ”€Brzozowski Derivatives
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท3dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.orgยท1d
๐Ÿ”€OCaml Multicore
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post