🐫 Ocaml - bugzmanov · Scour

Langfuse - Open Source LLM Engineering Platform

langfuse.com·1d

🔍Refinement Types

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

sjalander.com·2d·

Discuss: Hacker News

Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries

hackernoon.com·1h

WRB—Feb. 11, 2026

washingreview.com

·1h

🔎Semantic Analysis

Deferred member initialization in C++

sandordargo.com·15h·

Discuss: Lobsters

🔍Refinement Types

Go 1.26 Introduces new Expression Support and Runtime Updates

linuxiac.com·5h

Webinar on how to build your own programming language in C++ from the developers of a static analyzer

pvs-studio.com·5h·

Discuss: r/cpp

🔍Static Analysis

One Version of Events

thedailywtf.com·1d

🔎Semantic Analysis

🧠 Programming Idioms — Common Code Patterns Across Languages

programming-idioms.org·1h·

Discuss: DEV

Dada: moves and mutation

smallcultfollowing.com·1d

The Machine Learning Practitioner’s Guide to Speculative Decoding

machinelearningmastery.com·3h

🔎Semantic Analysis

roc-lang/roc: A fast, friendly, functional language.

github.com·2d

🔎Semantic Analysis

Mystery Date! Asher Perlman’s 150 Comics Nobody Has Seen and the Job He Can’t Talk About

tcj.com·3h

The Return of Algol 68

jxself.org·2d

fiyelimmanuel.online·2d

parentheticalrecluse.com·21h

[Claude] [求助] Claude Code + 魔搭 GLM4.7 报错 422

v2ex.com·1d

Lakers’ LeBron James to sit out 18th game, ending 21-year All-NBA streak

nytimes.com·16h

Making Waffles with Group Theory

hmpcabral.com·1d·

Discuss: Hacker News

[2602.07604] Free fibrations, lax colimits and Kan extensions for $(infty,2)$-categories

arxiv.org·1d

Loading more...