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ยท18h
๐ 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
Computational Complexity and Explanations in Physics
gilkalai.wordpress.comยท2d
โ๏ธInference Rules
Flag this post
Beyond Standard LLMs
๐Subinterpreters
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
๐Stack Data Structures
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.orgยท1d
๐ฎLanguage Ergonomics
Flag this post
InsurAgent: A Large Language Model-Empowered Agent for Simulating Individual Behavior in Purchasing Flood Insurance
arxiv.orgยท8h
๐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ยท8h
๐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...