Meta-agentic Prisoner's Dilemmas
lesswrong.comยท20h
๐ง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
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
๐Static Analysis
Flag this post
The Write Last, Read First Rule
tigerbeetle.comยท13h
๐Static Analysis
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.orgยท8h
๐ง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ยท1h
๐งPLT
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.eduยท25m
๐Static Analysis
Flag this post
Understanding multi GPU Parallelism paradigms
๐งPLT
Flag this post
A QOJ week
๐งPLT
Flag this post
Loading...Loading more...