Henry Blanchette

Programming Languages PhD student at the University of Maryland. Interested programming languages, formal verification, game dev, game theory.

[Henry Blanchette @rybl4]

@ChShersh This works (`<&>` is from `Data.Function`)

[Henry Blanchette @rybl4]

@aallan Thanks for the thoughtful replies

[Henry Blanchette @rybl4]

Pawatun

[Henry Blanchette @rybl4]

Fontgen, a Gemini setup for generating fonts based on natural language descriptions https://t.co/tO5SjAP9vj

[Henry Blanchette @rybl4]

Xeloxis

[Henry Blanchette @rybl4]

AetherScrybe

[Henry Blanchette @rybl4]

AquaFraktur

[Henry Blanchette @rybl4]

Chemiglyphica

[Henry Blanchette @rybl4]

The Whispering Tiles

[Henry Blanchette @rybl4]

Tilikon Magjong

[Henry Blanchette @rybl4]

Al-Fatih Grid

[Henry Blanchette @rybl4]

@Altimor Would you say now that AI programmers are 95% as good as humans?

[Henry Blanchette @rybl4]

Experiments in font design with @NanoBanana (NB2): Arabesque Flourish

[Henry Blanchette @rybl4]

Experiments in font design with @NanoBanana (NB2): Gothic Arabesque

[Henry Blanchette @rybl4]

@jonatanpallesen Your points are contradictory. If insider trades are revealing accurate info to enemies, they are also revealing accurate info to everyone, since these are public markets. Therefore making the prediction markets more accurate.

[Henry Blanchette @rybl4]

@pmarca Nice https://t.co/Cnc9AeqmeW

[Anil Madhavapeddy @avsm]

"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today https://t.co/0Y8yrkyjEA

[Henry Blanchette @rybl4]

@simonw This has been a feature in the Gemini for a long time

[Henry Blanchette @rybl4]

In particular, I cover ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models https://t.co/8oZdgraFtO

[Henry Blanchette @rybl4]

I wrote about new developments in constrained decoding for LLMs here: https://t.co/pCNtac7vve