Trending tags: ai  github.com  rust  health  show  trump  psychology  go  web  video  theguardian.com  psypost.org  java  apple  youtube.com  china  google  javascript  biology  security 

The appeal of bidirectional type-checking

3 years ago haskellforall.com

Related Stories

The Perils of Pointers in the Land of the Zero-Sized Type

44 hours ago blog.fillmore-labs.com go

Abstract Data type

8 hours ago reddit.com go

JVM Runtime Parametric Type Support

9 hours ago mail.openjdk.org java

Conformance checking at MongoDB: Testing that our code matches our TLA+ specs

11 hours ago mongodb.com formalmethods mongodb

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

2 days ago skeary.me typescript

Distribution of bots that are accused of vibecoding

2 hours ago reddit.com go

Cinematography of “Andor”

47 hours ago pushing-pixels.org

The Simple Macroeconomics of AI – Extended Summary of the related paper

2 days ago codingismycraft.blog ai

The virtue of unsynn

21 hours ago youtube.com rust

So tired of python

4 hours ago reddit.com python

Example of Splitting a PR

4 hours ago jefftk.com vcs

The Visual World of 'Samurai Jack'

35 hours ago animationobsessive.substack.com

The Metamorphosis of Prime Intellect (1994)

4 hours ago localroger.com

The rise of judgement over technical skill

36 hours ago notsocommonthoughts.com

Euro execs mull use of US clouds

26 hours ago theregister.com

Show HN: A toy version of Wireshark

17 hours ago news.ycombinator.com show

Example of JWT Actix-Web Basic Auth

9 hours ago reddit.com rust

Streaming HTML out of order without JavaScript

20 hours ago lamplightdev.com html javascript

Ahead of Time Computation - Inside Java Podcast

2 days ago youtu.be java

The Colorado River basin has lost 27.8m acre-feet of groundwater in the past 20 years, an amount of water nearly equivalent to the full capacity of Lake Mead…

17 hours ago theguardian.com environment

Review of 10 Papers on Viral 'Mouth Taping' Trend Finds an Absence of Evidence to Support the Health Claims

30 hours ago sciencealert.com health

Welcome to the age of $10/month Lakehouses

2 days ago tobilg.com

Engagement = % of Humanity's Time Hijacked and Wasted

37 hours ago news.ycombinator.com

The Unreliability of LLMs and What Lies Ahead

16 hours ago verissimo.substack.com llm

The Secret History of Trump’s Private Cellphone

14 hours ago theatlantic.com trump

Having a mix of tea, berries, apples, and grapes every day may lower your risk of chronic disease and early death

22 hours ago scimex.org disease health

Sexual Violence against Children and Teenagers – 20 percent of women and 5 percent of men report being sexually harrassed in youth

an hour ago aerzteblatt.de

RenderFormer: Neural rendering of triangle meshes with global illumination

2 days ago microsoft.github.io

Iterators - Part 14 of Idiomatic Rust in Simple Steps

35 hours ago youtube.com rust

IE6, AI, and the future of browsing the Web

24 hours ago agenticweb.substack.com ai web