🐫 Ocaml - bugzmanov · Scour

Making an archer automaton

blog.adafruit.com·1d

AVB on X: "I am working on an RLM tutorial. We will implement it from first principles using deno & pyodide (inspired by dspy.RLM). Lot of uber cool things ...

x.com·1d·

Discuss: X

📐formal specification

Re: is c++ too much for a beginner?

forum.melonland.net·1d

🔍Static Analysis

Show HN: 0x – A language that compiles to React, Vue, and Svelte (80% less code)

0xlang.com·1d·

Discuss: Hacker News

minikanren.org·3d·

Discuss: Lobsters

🔍Refinement Types

gutenberg.org·2d

🔎Semantic Analysis

A high-performance Go framework (250k+ req/sec) with built-in batteries

go-kvolt.github.io·1d

Large Language Numbers

thejaymo.net·2d

🔎Semantic Analysis

When Models Examine Themselves: Vocabulary-Activation Correspondence in Self-Referential Processing

zenodo.org·2d·

Discuss: Hacker News

Active learning enables generation of molecules that advance the known Pareto front

nature.com·1d

🔍Refinement Types

gposes 10-2-2026

hikayatwolelio.bearblog.dev·1d

Yet another GCC 1.40 *SOME ASSEBMLY REQUIRED

virtuallyfun.com·3d

🔍Static Analysis

esolangs.org·1d

🔎Semantic Analysis

The Adventures of a Pythonista in Schemeland/30

artima.com·4d

MrBeast bought a bank for pennies on the dollar. PayPal should be watching 🏦🐯; Gemini ditches 3 continents to save its balance sheet 👋🇪🇺; Stripe’s $140B price ta...

substackcdn.com·1d·

Discuss: Substack

Stephen-Seo/SimpleArchiver 2.6.2

github.com·21h

🔎Semantic Analysis

Category $\mathcal{O}$ for hybrid quantum groups and non-commutative Springer resolutions

arxiv.org·2d

🔍Refinement Types

Canada’s Marie-Philip Poulin exits game after taking hit by Czech Republic’s Kaltounková

nytimes.com

·2d

All versions of the Steam Deck are currently out-of-order

i.redd.it·1d·

Discuss: r/linux_gaming

SectorC: A C Compiler in 512 bytes (2023)

news.ycombinator.com·3d·

Discuss: Hacker News

🔍Static Analysis

Loading more...