🐪 ocaml - KnorrFG · Scour

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

threadreaderapp.com·23h

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

archive.org·15h

💻programming

A missense variant in ASCL5 leads to lobodontia

nature.com·18h

Nice TCR processing libraries | Oxford Protein Informatics Group

blopig.com·1d

💻programming

intersection type in nLab

ncatlab.org·2d

📐Type Theory

GLM-5以及GLM-5-Code的API价格相比GLM-4.7涨幅超过100%

linux.do·19h

💻programming

The Univalence Principle

golem.ph.utexas.edu·1d

📐Type Theory

Large Language Models for Mortals book

andrewpwheeler.com·1d

🔧functional programming languages

Structured Prompting for LLMs: From Raw Text to XML

pub.towardsai.net

·18h

💻programming

mradermacher/Qwen3-Coder-Next-REAM-GGUF

huggingface.co·13h·

Discuss: r/LocalLLaMA

💻programming

I used to be fervent embedded DSL fan many years ago (particularly in college wi...

news.ycombinator.com·2d·

Discuss: Hacker News

🔧functional programming languages

A tag read the consent state before a default was set. Can anyone tell me how to fix this? Google tag manager

i.redd.it·2d·

Discuss: r/webdev

💻programming

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]

sjalander.com·3d·

Discuss: Hacker News

Origin of Indian National Congress

magadhmahilacollege.org·1d

11. C# (Parsing)

dev.to·3d·

Discuss: DEV

💻programming

Gauss-Newton Unlearning for the LLM Era

arxiv.org·18h

🔧functional programming languages

I got bored and had Claude design and implement a programming language

github.com·2d·

Discuss: Hacker News

💻programming

[AINews] Z.ai GLM-5: New SOTA Open Weights LLM

latent.space·15h

Junior hockey team encourages fans to shower before arrival — then tries to ‘wash this one off’

nytimes.com

·52m

💻programming

esolangs.org·2d

Loading more...