🐪 ocaml - KnorrFG · Scour

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

threadreaderapp.com·14h

intersection type in nLab

ncatlab.org·2d

📐Type Theory

A Generalized $\chi_n$-Function

eprint.iacr.org·2d

📐Type Theory

Nice TCR processing libraries | Oxford Protein Informatics Group

blopig.com·20h

💻programming

Structured Prompting for LLMs: From Raw Text to XML

pub.towardsai.net

·9h

💻programming

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

solvingpromptinjection.com·11h·

Discuss: Hacker News

Large Language Models for Mortals book

andrewpwheeler.com·1d

🔧functional programming languages

The World's First LLM-Native Language

nerd-lang.org·2d·

Discuss: Hacker News

🔧functional programming languages

Recent OP_RETURN output statistics

delvingbitcoin.org·16h

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·4h·

Discuss: r/LocalLLaMA

💻programming

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

analyticsvidhya.com·36m

🔧functional programming languages

11. C# (Parsing)

dev.to·2d·

Discuss: DEV

💻programming

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

github.com·3h·

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·21h·

Discuss: Hacker News

💻programming

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

linux.do·12h

💻programming

EyesOff: Why Some Models Quantize Better Than Others

ym2132.github.io·14h·

Discuss: Hacker News

🔧functional programming languages

Is this const str concat macro cursed or blessed?

docs.rs·23h·

Discuss: r/rust

Eve-positional languages: putting order into B\"uchi automata

arxiv.org·1d

🔧functional programming languages

Loading more...