Pragma Unroll
🔀OCaml Multicore
Flag this post
We're Counting Birbs Today
💾Retro Computing
Flag this post
I Taught an AI to Dream
🔲Cellular Automata
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·6d
λFunctional Programming
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
⚡Process Calculi
Flag this post
Automated Exoplanet Atmospheric Biosignature Discrimination via Spectral Decomposition & Machine Learning
👁️Observability
Flag this post
Endowing GPT-4 with a Humanoid Body: Building the Bridge Between Off-the-Shelf VLMs and the Physical World
arxiv.org·1d
⚙️Compiler Design
Flag this post
Intentionality
lesswrong.com·17h
📵Digital Minimalism
Flag this post
Many-vs-Many Missile Guidance via Virtual Targets
arxiv.org·17h
🤖Robotics
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🔍CBMC
Flag this post
Learning a Distance for the Clustering of Patients with Amyotrophic Lateral Sclerosis
arxiv.org·17h
🕸️Graph Theory
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Validating Deep Models for Alzheimer's 18F-FDG PET Diagnosis Across Populations: A Study with Latin American Data
arxiv.org·1d
🎨GADTs
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Modeling the geopolitics of AI development
lesswrong.com·1d
🤖Program Synthesis
Flag this post
Building PhishNet: An AI Cybersecurity Agent for Detecting Phishing Threats with Mastra
🔒Protocol Verification
Flag this post
Think Smaller: The Counterintuitive Path to AI Adoption
oreilly.com·10h
🔧DevOps
Flag this post
Loading...Loading more...