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

Why Liquid Haskell matters

24 months ago tweag.io formalmethods haskell

Related Stories

Smalltalk, Haskell and Lisp

12 days ago storytotell.org haskell lisp plt

Java Enterprise Matters: Why It All Comes Back to Jakarta EE

10 hours ago reddit.com java

APL Interpreter – An implementation of APL, written in Haskell (2024)

13 days ago scharenbroch.dev apl haskell

How we built the first stack-aware merge queue (and why it matters)

15 days ago graphite.dev

React Liquid Glass

2 hours ago npmjs.com javascript react

Liquid Glass – WWDC25 [video]

8 days ago developer.apple.com video

Liquid Glass Effect, web based version (multithreaded)

5 days ago neomjs.github.io javascript web

Apple's New Design Language is Liquid Glass

9 days ago theverge.com apple

'Liquid biopsies' alert advanced breast cancer patients when new drugs are needed

17 days ago nbcnews.com cancer

n-functor 0.2.0 released, featuring support for deriving "map_res" aka haskell-style "traverse"

5 days ago docs.rs release rust

why rust

10 days ago reddit.com rust

Oh great, another Liquid Glass UI—battery's about to file a restraining order

5 days ago reddit.com javascript

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh

5 days ago omc345.substack.com apple

Why Bell Labs Worked

12 days ago links.fabiomanganiello.com

Why you love Rust

10 hours ago reddit.com rust

Why I Use a Dumbphone in 2025 (and Why You Should Too)

14 days ago samueleamato.xyz

Why are smokestacks so tall?

11 days ago practical.engineering

Why use docker with java?

11 days ago reddit.com docker java

Why common climate messaging backfires

7 days ago phys.org

Why do lawyers keep using ChatGPT?

16 days ago theverge.com chatgpt gpt

Why I wrote the BEAM book

14 days ago happihacking.com book erlang

Why uptime monitors are ridiculously priced?

12 days ago reddit.com python

Why there is so many JDKs

12 days ago reddit.com java

Why you need to de-specialize

11 days ago futurecode.substack.com

Why quadratic funding is not optimal

9 days ago jonathanwarden.com

Why Doctors Hate Their Computers (2018)

8 days ago web.archive.org philosophy

Why today's graduates are screwed

2 days ago economist.com

Why I Won't Use AI

18 hours ago agentultra.com ai vibecoding

Ask HN: Why are dating apps so bad? Why hasn't anyone made a good one?

17 days ago news.ycombinator.com ask

Why does my ripped CD have messed up track names? And why is one track missing?

6 days ago akpain.net