Meta-agentic Prisoner's Dilemmas
lesswrong.comยท23h
๐งPLT
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgยท1d
๐งPLT
Flag this post
Show HN: Kumi โ a portable, declarative, functional core for business logic
๐formal specification
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.orgยท1d
๐งPLT
Flag this post
Iโve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
๐Static Analysis
Flag this post
The Write Last, Read First Rule
๐Static Analysis
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.orgยท10h
๐งPLT
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.devยท1h
๐ชScala
Flag this post
Understanding multi GPU Parallelism paradigms
๐งPLT
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
๐formal specification
Flag this post
When did people favor composition over inheritance?
sicpers.infoยท4h
๐งPLT
Flag this post
Loading...Loading more...