[chromatite] devlog: Faster Pulsejet sample decompression
blog.parallax.fyi·10h
📦Compression Algorithms
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🔗Category Theory
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·4d
🪜Recursive Descent
Flag this post
Challenging the Fastest OSS Workflow Engine
📡Erlang BEAM
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Is 'human' a risky AGI target
✨Effect Inference
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·2d
🌱Minimal ML
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🔶Lattice Theory
Flag this post
Reinforcement learning driven adaptive graph construction for fault diagnosis of chemical processes
sciencedirect.com·13h
✨Effect Inference
Flag this post
[D] Realized I like the coding and ML side of my PhD way more than the physics
🔬Nanopasses
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔗Borrowing Extensions
Flag this post
Fourier Neural Operators for Two-Phase, 2D Mold-Filling Problems Related to Metal Casting
arxiv.org·3d
🔢Algebraic Datatypes
Flag this post
Engineering Social Optimality via Utility Shaping in Non-Cooperative Games under Incomplete Information and Imperfect Monitoring
arxiv.org·2d
⚡Control Synthesis
Flag this post
Joy & Curiosity #60
registerspill.thorstenball.com·3h
🌊Gradual Effects
Flag this post
Loading...Loading more...