🐿️ 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

floccinaucinihilipilification
en.wiktionary.org·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·5h·
Discuss: Hacker News
🔄Finite State Machines
Structuring unstructured data is a correct use of AI
mechanicalsurvival.com·1d·
Discuss: Hacker News
🤖Program Synthesis
User simulators bridge RL with real-world interaction
jessylin.com·21h·
Discuss: Hacker News
🔍Formal Verification
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·14h
🌐NetworkProtocols
Modular Automation Core in Go Inspired by Apache/nginx Architecture
reddit.com·1d·
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·14h
👁️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
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·14h
🐫OCaml
SCoRE: Streamlined Corpus-based Relation Extraction using Multi-Label Contrastive Learning and Bayesian kNN
arxiv.org·1d
➡️Category Theory
The First AI Coding Style Guide
github.com·4d·
Discuss: Hacker News
🐫OCaml
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·14h
🔍Formal Verification
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·14h
🐫Embedded OCaml
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·2d
🐫OCaml
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·1d
➡️Category Theory
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·14h
⚙️PL Implementation
Loading...Loading more...
AboutBlogChangelogRoadmap