RANDOMBLOGShttps://devblogy.k47.cz/random/tag/bernsteinbear-com.html On the universal relationhttps://bernsteinbear.com/blog/on-the-universal-relation/Sun, 27 Oct 2024 00:00:00 +0200bernsteinbear.com Adding row polymorphism to Damas-Hindley-Milnerhttps://bernsteinbear.com/blog/row-poly/Tue, 22 Oct 2024 00:00:00 +0200bernsteinbear.com Damas-Hindley-Milner inference two wayshttps://bernsteinbear.com/blog/type-inference/Tue, 15 Oct 2024 00:00:00 +0200bernsteinbear.com What's in an e-graph?https://bernsteinbear.com/blog/whats-in-an-egraph/Wed, 11 Sep 2024 00:00:00 +0200bernsteinbear.com microui+fenster=small guihttps://bernsteinbear.com/blog/fenster-microui/Sat, 7 Sep 2024 00:00:00 +0200bernsteinbear.com Precedence-aware pretty printinghttps://bernsteinbear.com/blog/precedence-printing/Sun, 25 Aug 2024 00:00:00 +0200bernsteinbear.com Abstract interpretation in the Toy Optimizerhttps://bernsteinbear.com/blog/toy-abstract-interpretation/Tue, 23 Jul 2024 00:00:00 +0200bernsteinbear.com Some tricks from the Scrapscript compilerhttps://bernsteinbear.com/blog/scrapscript-tricks/Wed, 10 Jul 2024 00:00:00 +0200bernsteinbear.com TCC does support __attribute__(section(...)), actuallyhttps://bernsteinbear.com/blog/tcc-attribute/Wed, 19 Jun 2024 00:00:00 +0200bernsteinbear.com A baseline scrapscript compilerhttps://bernsteinbear.com/blog/scrapscript-baseline/Sat, 1 Jun 2024 00:00:00 +0200bernsteinbear.com