andrii

haskell ∩ vegemite

[andrii @ynorsk]

Helluva cool looking badge @a41con

[andrii @ynorsk]

While some people still argue that programming in JavaScript brings them joy…

As always - the future is already here, it’s just distributed unevenly.

[Erik Meijer @headinthebox]

At yesterday's Verification Summit [0], @evelovesolive mentioned that she spends 24/7 thinking about a critical shift: we should be designing programming languages for agents, not for humans.

As a professional language designer, this reality hit me years ago. It was crystal clear that my job would disappear long before developer jobs did.

That is why in early 2023, I pivoted. I stopped designing for human ergonomics and started designing a language (called Universalis, thanks for the shoutout @satnam6502!) optimized for AI to generate efficiently [1, 2], for theorem provers to reason and validate rigorously [4, 5], and for humans to comprehend easily [3].

For three years, I was the crazy one. Yesterday, the crazy went mainstream ;-)

[Yaron (Ron) Minsky @yminsky]

Our goals here are ambitious! Our hope is to make formal methods as pervasively useful of a tool for building software as sophisticated type systems are for us today.

https://t.co/pazSGvASoQ

[andrii @ynorsk]

At this point my trust level to everything is well below zero.

[andrii @ynorsk]

This time of the year @ZuriHac

[lotz @lotz84_]

今の時代 Haskell を学ぶなら記事や本を読むのもいいけど気になるキーワードを元に AI に解説してもらうのも良さそう（質問もできるし👀）

「Haskell の ◯◯ について入門者向けにコード例と共に解説してください」

◯◯ に入るキーワードはこんな感じか
・イミュータブル
・第一級関数
・Maybe
・リスト
・代数的データ型
・パターンマッチ
・パラメータ多相
・型クラス
・モノイド
・参照透過性
・遅延評価
・高階関数
・ポイントフリースタイル
・継続
・Functor / Applicative
・モナド
・モナドトランスフォーマー
・パーサーコンビネータ
・Freeモナド
・Algebraic Effects
・関数型アーキテクチャ
・Template Haskell
・EDSL
・GADTs
・存在型
・幽霊型
・Higher-Kinded Data
・Lens / Optics
・ストリーム処理
・ジェネリックプログラミング
・Functional Reactive Programming
・Recursion Schemes
・線形型
・型レベルプログラミング

[andrii @ynorsk]

@croloris Not sure why but I somehow expected them to talk at least a little bit about software correctness at some point…

[andrii @ynorsk]

@mitchellh @zooko @WilliamsonMark Elderly and children.
I just hate how Netflix/Disney/etc for kids are just the same machines designed to maximize screen time/engagement or whatever they are designed to do.

[andrii @ynorsk]

@enhanced_games It feels like you don’t understand what “enhanced” means.

[Anton Gerashchenko @Gerashchenko_en]

The moment of one of today’s Russian strikes on Kyiv.

I can see that fewer and fewer people are reading news from Ukraine. I understand that on a Sunday morning, people don’t want to read about war. They want to sleep a little longer, drink good coffee, and sit in the sun. I understand that. The algorithms on X limit content about war, destruction, and suffering. You have to make an effort to even see this information.

All of this is understandable on a human level. But unfortunately, if you remove Putin and the war from your information feed, they do not disappear from reality.

Putin is a sadist and a maniac. He is a threat to all of humanity.

There needs to be active resistance. News from Ukraine needs to be shared. People need to keep their focus.

Despite a sleepless night, I’m still here. And I’m grateful to everyone who continues to stand with us.

One day, we’ll drink morning coffee together in a beautiful, peaceful Kyiv.

[Ivan Krstić @radian]

🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator to advance the state of the art in verified cryptography! https://t.co/LZPHFD0ifE

[David Crawshaw @davidcrawshaw]

While the industry is pouring resources into programs without GC (rust), I think the Jane Street OCaml folks have it figured out with OxCaml.

Almost all your code paths are cold and GC is net positive. 1% of your code is performance sensitive. Don't create GC pressure there.

[andrii @ynorsk]

Here it is https://t.co/oORgiFaKwX yet another abandoned thing I barely started %)

[andrii @ynorsk]

I’ve been wondering for a while whether it’s possible to recreate about://dino using the kitty protocol in Ghostty.

[andrii @ynorsk]

@DominikTornow Maybe if you chose it for your next project, it will become a tiny little bit more popular.

[andrii @ynorsk]

Using haskell and yampa of course

[andrii @ynorsk]

I’ve been wondering for a while whether it’s possible to recreate about://dino using the kitty protocol in Ghostty.

[andrii @ynorsk]

One of many things I like about living Scandinavia

[Paul Graham @paulg]

"They're all wearing solid colors. People here don't wear patterns. This is my kind of place."

— Jessica on Stockholm

[Paul Graham @paulg]

We're in Stockholm. You know how there are some places where you think "Nice place to visit, but I wouldn't want to live there"? Stockholm is the kind of place that makes you want to live there.

[Luc Perkins @lucperkins]

Under-utilized Nix feature: on-the-fly shell environments

[andrii @ynorsk]

@Love2Code @blelbach People who blindly merge any code are bad software engineers