๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”  Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.ioยท2dยท
Discuss: Hacker News
๐ŸนEffect Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.orgยท13h
๐ŸซOCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.orgยท2d
โœ“Automated Theorem Proving
Data-Star.dev โ€“ v1 and Beyond
data-star.devยท1dยท
Discuss: Hacker News
๐ŸงฑImmutable Infrastructure
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.orgยท13h
๐ŸŽฎVerification Games
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.devยท1dยท
Discuss: Hacker News
๐ŸงฑImmutable Infrastructure
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.orgยท13h
๐Ÿ”„Finite State Machines
AutoTriton: Automatic Triton Programming with Reinforcement Learning in LLMs
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.orgยท13h
๐Ÿ”Formal Verification
Data-Semantics-Aware Recommendation of Diverse Pivot Tables
arxiv.orgยท2d
๐ŸซOCaml
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.coยท1dยท
Discuss: Hacker News
๐Ÿค–Program Synthesis
Differential Mamba
arxiv.orgยท2d
๐ŸซEmbedded OCaml
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.orgยท2d
๐Ÿ”„Finite State Machines
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.orgยท13h
๐Ÿ”Formal Verification
Havoc โ€“ Heap Allocated Value Object Containers
github.comยท4dยท
Discuss: Hacker News
๐Ÿ›ก๏ธseL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.orgยท2d
๐Ÿ”Formal Verification
Minimal balanced collections and their applications to core stability and other topics of game theory
arxiv.orgยท2d
๐ŸŽฎVerification Games
Secure Cooperative Gradient Coding: Optimality, Reliability, and Global Privacy
arxiv.orgยท13h
๐ŸŒNetworkProtocols
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ“ฆUnikernel Systems
Loading...Loading more...
AboutBlogChangelogRoadmap