๐Ÿฟ๏ธ 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

Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.comยท1hยท
Discuss: Hacker News
๐Ÿ”„Finite State Machines
floccinaucinihilipilification
en.wiktionary.orgยท1dยท
Discuss: Hacker News
โžก๏ธCategory Theory
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.ioยท2dยท
Discuss: Hacker News
๐ŸนEffect Systems
Perceptual Distortions and Autonomous Representation Learning in a Minimal Robotic System
arxiv.orgยท11h
๐Ÿ”„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ยท11h
๐Ÿ”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ยท11h
๐Ÿ”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ยท11h
๐ŸŒNetworkProtocols
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.comยท22hยท
Discuss: r/programming
๐Ÿ“ฆUnikernel Systems
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.orgยท11h
๐Ÿ‘๏ธSystem Observability
Too Human to Model:The Uncanny Valley of LLMs in Social Simulation -- When Generative Language Agents Misalign with Modelling Principles
arxiv.orgยท1d
๐Ÿ›ก๏ธseL4
The First AI Coding Style Guide
github.comยท4dยท
Discuss: Hacker News
๐ŸซOCaml
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.orgยท11h
๐ŸซOCaml
Loading...Loading more...
AboutBlogChangelogRoadmap