10000
jro.sgยท17h
๐ฆExecutable Size
Flag this post
Robins Tharakan: Managing PostgreSQL Buildfarm Members: A status update
thatguyfromdelhi.comยท7h
๐กErlang BEAM
Flag this post
<p>**Abstract:** This paper introduces a novel system for automated genome annotation and functional prediction, leveraging multi-modal data ingestion, semantic...
freederia.comยท18h
โจEffect Inference
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท8h
๐๏ธType Indexing
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.orgยท2d
๐LR Parsing
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Axelang - A Systems Programming Language with Concurrency as a First-Class feature
๐งError Recovery
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
๐Cranelift IR
Flag this post
Trying Out C++26 Executors
๐ฎSpeculative Execution
Flag this post
Exploring structured generation with FoundationModels
onlyfunc.comยท2d
๐ญPolymorphic Variants
Flag this post
GQLSchemaGen v1.0.0: Generate GraphQL Schemas from Go Code
pablor21.github.ioยท22h
๐กProtocol Buffers
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐Monotonic Logic
Flag this post
Loading...Loading more...