Trending tags: ai  rust  github.com  trump  psychology  health  microsoft  psypost.org  video  linux  google  go  show  nature.com  apple  vibecoding  game  security  theregister.com  theverge.com 

PeanoScript: TypeScript but it's a theorem prover

2 months ago peanoscript.mjgrzymek.com formalmethods javascript typescript

Related Stories

TLTSS: a programming language made in TypeScript's type system

17 days ago skeary.me typescript

A TypeScript banner

16 days ago deviantart.com javascript typescript

javascript or typescript

13 days ago reddit.com javascript typescript

Simple CQRS TypeScript Library

5 days ago github.com javascript typescript

Yet Another Video thumbnail Generator But It's GIF

7 days ago reddit.com gif python video

PCP Theorem Question

15 days ago reddit.com

Feedback Wanted: xStruct — Declarative binary structure toolkit for TypeScript

2 days ago github.com javascript typescript

The Core of Fermat's Last Theorem Just Got Superpowered

8 days ago quantamagazine.org

Hedge funds are replacing a programming language with Rust, but it's not C++

8 days ago efinancialcareers.co.uk c++ rust

Hedge funds are replacing a programming language with Rust, but it's not C++

7 days ago efinancialcareers.com c++ rust

Secret to 100% Type-Safe TypeScript - tRPC eliminated our API type hell

6 days ago beyondit.blog api typescript

opensource typescript/javascript codemod transformers

17 days ago github.com javascript

Tuono: full-stack React framework written in Rust and Typescript

15 days ago github.com javascript react rust typescript

Introducing hdwallet.js (1.0.0-beta.0) - A complete Hierarchical Deterministic (HD) Wallet generator for 200+ cryptocurrencies, built with TypeScript.

6 days ago github.com typescript

CAP Theorem in 1 diagram and 132 words

8 days ago systemdesignbutsimple.com

A Straightforward Explanation of the Good Regulator Theorem

3 days ago lesswrong.com

I think I found the peace. Maybe only for some period of time, but at least that's it.

13 days ago reddit.com rust

Just created my coding channel, I know it's not the best but hopefully I can get somewhere. lol

8 days ago reddit.com python

Hackers claim 64 million leaked T-Mobile records, but it denies breach - here's what customers need to know

45 hours ago techradar.com

why is microsoft rewriting parts of typescript infra in go and not rust?

14 days ago reddit.com go microsoft rust typescript

I built a language that solves 400+ LeetCode problems and compiles to Python, Go, and TypeScript

2 days ago github.com go python typescript

It's Waymo's World. We're All Just Riding in It. 10M Rides Surpassed

17 days ago wsj.com

it’s official. i’m hopeless.

3 days ago reddit.com

Flies usually avoid cocaine – it tastes bitter. But when bitter-sensing neurons are switched off, they learn to prefer it

15 days ago jneurosci.org health

AI Isn't Magic, It's Maths

6 days ago zerofluff.substack.com ai

China's digging out of a crisis, but America's luck is wearing thin – Ken Rogoff

5 days ago dwarkesh.com china

IBM Says It's Cracked Quantum Error Correction

4 days ago spectrum.ieee.org ibm

If it works, it's not AI: a commercial look at AI startups (1999)

10 days ago dspace.mit.edu ai

It's the end of observability as we know it (and I feel fine)

7 days ago honeycomb.io

This project isn’t perfect yet, but I’m looking to improve it—would love your suggestions!

7 days ago github.com