tiferrei's Top FindsLoading...
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.ioยท1dยท
Discuss: Hacker News
๐Ÿ“ŠRuntime Verification
Flag this post
The 6-Step Guide to Acing Your Coding Interview
yasminteles.comยท3hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Flag this post
On Async Mutexes
matklad.github.ioยท17hยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
How to Use Multimodal AI Models With Docker Model Runner
docker.comยท1d
๐ŸณContainerization
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyzยท18hยท
Discuss: Hacker News
๐Ÿ”งUnikernel Development
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.orgยท12h
๐Ÿ”€OCaml Multicore
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท12h
๐ŸŽฏHindley-Milner
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท4dยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.orgยท12h
โš™๏ธCompiler Design
Flag this post
Schaltwerk โ€“ The IDE Without Editor
github.comยท11hยท
Discuss: Hacker News
๐Ÿ’ปCLI Tools
Flag this post
Quantum Network Tomography for General Topology with SPAM Errors
arxiv.orgยท12h
๐Ÿ•ธ๏ธGraph Theory
Flag this post
SciTextures: Collecting and Connecting Visual Patterns, Models, and Code Across Science and Art
arxiv.orgยท12h
๐Ÿ”ฒCellular Automata
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.orgยท12h
๐Ÿ“šAutomata Learning
Flag this post
Enhanced Anomaly Detection in Cryogenic Storage Unit Operations via Multi-Modal Data Fusion and Predictive Analytics
dev.toยท8hยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.orgยท12h
๐Ÿ”ฒCellular Automata
Flag this post
I Use AI
ben.stolovitz.comยท2hยท
Discuss: Hacker News
๐Ÿ”คLanguage Design
Flag this post
CharlotteOS โ€“ An Experimental Modern Operating System
github.comยท3dยท
๐Ÿ”งUnikernel Development
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.comยท23hยท
Discuss: Hacker News
๐Ÿ“ฆModule Systems
Flag this post
Accumulating Context Changes the Beliefs of Language Models
arxiv.orgยท12h
๐Ÿ“šAutomata Learning
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post