🐪 ocaml - KnorrFG · Scour

Finally out! Miriam's (@miriamppol) 1st, 1st author article!

threadreaderapp.com·15h

Ma reggel : M1 : February 12, 2026 8:20am-8:30am CET : Free Borrow & Streaming

archive.org·7h

💻programming

intersection type in nLab

ncatlab.org·2d

📐Type Theory

Nice TCR processing libraries | Oxford Protein Informatics Group

blopig.com·21h

💻programming

Using Generative AI tooling with Clojure

dev.solita.fi·1d

The Solution to Prompt Injection: Mapping SSL/TLS Trust Architecture onto LLMs [pdf]

solvingpromptinjection.com·12h·

Discuss: Hacker News

The World's First LLM-Native Language

nerd-lang.org·2d·

Discuss: Hacker News

🔧functional programming languages

Large Language Models for Mortals book

andrewpwheeler.com·1d

🔧functional programming languages

Recent OP_RETURN output statistics

delvingbitcoin.org·17h

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·2d·

Discuss: r/rust

mradermacher/Qwen3-Coder-Next-REAM-GGUF

huggingface.co·5h·

Discuss: r/LocalLLaMA

💻programming

How Andrej Karpathy Built a Working Transformer in 243 Lines of Code

analyticsvidhya.com·1h

🔧functional programming languages

Geolm/lite_encoding: C99 header-only small (300 LOC) adaptive entropy encoding library

github.com·4h·

Discuss: r/C_Programming

⚠️Error Handling

SMTLIB as a Compiler IR I

philipzucker.com·3d·

Discuss: Hacker News

🔧functional programming languages

Show HN: I built an AI executive assistant you use through iMessage

getattache.com·22h·

Discuss: Hacker News

💻programming

Simple generators of rational function fields

arxiv.org·9h

🔧functional programming languages

百度千帆推出 AI 编码订阅服务 Coding Plan

linux.do·13h

💻programming

EyesOff: Why Some Models Quantize Better Than Others

ym2132.github.io·15h·

Discuss: Hacker News

🔧functional programming languages

Is this const str concat macro cursed or blessed?

docs.rs·1d·

Discuss: r/rust

The Univalence Principle

golem.ph.utexas.edu·1d

📐Type Theory

Loading more...