Submissions from bernsteinbear.com

		You can use C-Reduce for any language (bernsteinbear.com)
		5 points by goranmoomin 3 days ago \| past \| discuss
		A multi-emulator Gameboy tracer (bernsteinbear.com)
		2 points by ingve 5 days ago \| past \| discuss
		You can use C-Reduce for any language (bernsteinbear.com)
		4 points by ingve 9 days ago \| past \| discuss
		You can use C-Reduce for any language (bernsteinbear.com)
		6 points by Tomte 11 days ago \| past \| discuss
		The Universal Relation (bernsteinbear.com)
		73 points by surprisetalk 30 days ago \| past \| 7 comments
		Adding row polymorphism to Damas-Hindley-Milner (bernsteinbear.com)
		211 points by surprisetalk 35 days ago \| past \| 56 comments
		AOT JavaScript compilation by wevaling the wasms [pdf] (bernsteinbear.com)
		3 points by fanf2 39 days ago \| past
		Damas-Hindley-Milner inference two ways (bernsteinbear.com)
		139 points by todsacerdoti 42 days ago \| past \| 11 comments
		What's in an E-Graph? (bernsteinbear.com)
		4 points by thunderbong 74 days ago \| past \| 1 comment
		What's in an e-graph? (bernsteinbear.com)
		5 points by matt_d 76 days ago \| past
		What's in an E-Graph? (bernsteinbear.com)
		3 points by dpassens 77 days ago \| past \| 2 comments
		Microui+fenster=Small GUI (bernsteinbear.com)
		231 points by surprisetalk 80 days ago \| past \| 36 comments
		Beaker Browser and the Dat Protocol (bernsteinbear.com)
		32 points by luu 83 days ago \| past \| 20 comments
		Precedence-Aware Pretty Printing (bernsteinbear.com)
		2 points by PaulHoule 86 days ago \| past
		Precedence-aware pretty printing (bernsteinbear.com)
		4 points by asicsp 3 months ago \| past
		Precedence-Aware Pretty Printing (bernsteinbear.com)
		4 points by todsacerdoti 3 months ago \| past \| 1 comment
		Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
		49 points by thunderbong 4 months ago \| past \| 22 comments
		Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
		2 points by tekknolagi 4 months ago \| past
		Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
		3 points by g0xA52A2A 4 months ago \| past
		Specializing dynamic language C extensions using type information [pdf] (bernsteinbear.com)
		3 points by luu 4 months ago \| past \| 1 comment
		Some Tricks from the Scrapscript Compiler (bernsteinbear.com)
		2 points by tekknolagi 4 months ago \| past
		Some Tricks from the Scrapscript Compiler (bernsteinbear.com)
		20 points by surprisetalk 4 months ago \| past \| 6 comments
		Programming Languages Resources (bernsteinbear.com)
		2 points by avinassh 4 months ago \| past
		Introduction to Software Development Tooling (bernsteinbear.com)
		3 points by sebg 5 months ago \| past
		TCC does support __attribute__(section()) (bernsteinbear.com)
		2 points by ingve 5 months ago \| past
		A Baseline Scrapscript Compiler (bernsteinbear.com)
		26 points by ingve 5 months ago \| past \| 4 comments
		Compilers for free with weval (bernsteinbear.com)
		204 points by todsacerdoti 6 months ago \| past \| 40 comments
		Type information for faster Python C extensions (bernsteinbear.com)
		3 points by thunderbong 7 months ago \| past \| 1 comment
		Waking My Computer from Afar (bernsteinbear.com)
		62 points by ingve 8 months ago \| past \| 48 comments
		[flagged] How to mess with your roommate (2018) (bernsteinbear.com)
		122 points by goranmoomin 8 months ago \| past \| 25 comments
		More