essential spectrum
ncatlab.orgยท1d
๐Category Theory
Flag this post
Links 05/11/2025: Medicare Privatisation and "Breaker Box Economy"
techrights.orgยท8h
๐ก๏ธSecurity Type Systems
Flag this post
Fine-Tuning an AI โ Part I
zwischenzugs.comยท22h
๐Lua
Flag this post
Issue 496
haskellweekly.newsยท6d
๐Dependent Haskell
Flag this post
How to evaluate and benchmark Large Language Models (LLMs)
together.aiยท1d
๐Language Benchmarks
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.comยท2d
โ๏ธInference Rules
Flag this post
3 Experiments That Reveal the Shocking Inner Life of AI Introduction: Is Anybody Home?
hackernoon.comยท1d
๐ฌInteractive REPLs
Flag this post
build system tradeoffs
๐Language Toolchains
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.orgยท10h
โจEffect Inference
Flag this post
Wordle Solver
๐Factor
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.orgยท2d
โ
Type Checking
Flag this post
Helios-Engine ,Why I Built Another LLM Agent Framework (And Why You Might Actually Care)
๐ชEmbedded DSLs
Flag this post
Converting from GDscript
๐Language Interop
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.comยท21h
๐งAPI Design
Flag this post
Loading...Loading more...