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