📰 SGML - matmat · Scour

dggsvd.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·3d

AI to undo your AI writing 🔓Reverse engineering

sinceerly.com·2d·Hacker News, Hacker News

JavaScript source maps 🎯Gradual Typing

gleam.run·2d·Lobsters, Hacker News

Full stack open ✅Format Verification

fullstackopen.com·6d·Hacker News

Profunctor Equipment 🔀Category Theory

bartoszmilewski.com·1d·Hacker News

Towards High-Quality Machine Translation for Kokborok: A Low-Resource Tibeto-Burman Language of Northeast India 🌀Brotli Internals

The seven programming ur-languages (2022) 💻Programming languages

news.ycombinator.com·6d·Hacker News

shreeve/rip-lang: A modern language that compiles to JavaScript 🔗Concatenative Programming

github.com·5d·Hacker News

RAG in Go: A Vulnerability Research Tool ✅Format Verification

ardanlabs.com·6d·Hacker News

Lil: A Scripting Language 🔗Concatenative Programming

beyondloom.com·6d·Hacker News

ncl_agsetp (3) Linux Manual Page 🔤Coded character sets

systutorials.com·13h

SignDATA: Data Pipeline for Sign Language Translation 🔤Unicode Normalization

globus_gram_protocol_unpack_status_update_message_with_extensions (3) Linux Manual Page 📝ABNF Parsing

systutorials.com·2d

huggingface/ml-intern: 🤗 ml-intern: an open-source ML engineer that reads papers, trains models, and ships ML models ✨Effect Handlers

github.com·4d·Hacker News, Hacker News

BendersLib: A Benders Decomposition Library in Python 🧮Constraint Solvers

news.ycombinator.com·3d·Hacker News

gstream-set_input_string (3) Linux Manual Page ❄nix

systutorials.com·2d

SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programs 🧪Binary Fuzzing

dggglm.f (3) Linux Manual Page 💻Local LLMs

systutorials.com·3d

Towards a Data-Parameter Correspondence for LLMs: A Preliminary Discussion 💻Local LLMs

dorgql.f (3) Linux Manual Page 🦀Rust Macros

systutorials.com·3d

Log in to enable infinite scrolling