🐿️ 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·6h·
Discuss: Hacker News
🔄Finite State Machines
Announcing TypeScript 5.9 Beta
devblogs.microsoft.com·3d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🐫OCaml
User simulators bridge RL with real-world interaction
jessylin.com·23h·
Discuss: Hacker News
🔍Formal Verification
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·16h
🔍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·16h
🌐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·16h
👁️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·16h
🐫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·16h
🔍Formal Verification
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·16h
🐫Embedded OCaml
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap