New book shows how questioning the alphabet can push typography further
creativeboom.com·1d
💬REPL Design
Flag this post
A nod to Purdue RB Devin Mockobee, the Boilermakers star who stayed
nytimes.com·16h
🏠indieweb
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·2d
🌉Cross-Platform FFI
Flag this post
A Claude Code Command for Hypothesis
🎲Property Testing
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🦀MIR Optimization
Flag this post
Issue 496
haskellweekly.news·5d
👑Dependent Haskell
Flag this post
Empirical Characterization Testing
blog.ploeh.dk·1d
🧪Compiler Testing
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·2d
⚖️Inference Rules
Flag this post
Beyond Standard LLMs
🔄Subinterpreters
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.org·5h
🔍ML Language
Flag this post
Deciphering Scientific Collaboration in Biomedical LLM Research: Dynamics, Institutional Participation, and Resource Disparities
arxiv.org·1d
📐Mathematical Computing
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·1d
✨Effect Inference
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·5h
🔍ML Language
Flag this post
Chain of Pattern: Rethink
📚Self-Documenting Code
Flag this post
Life Before Earth
🏺Code Archeology
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🏭Functional Compilers
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Tablegen
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
🚚Code Migration
Flag this post
Loading...Loading more...