Submissions from burakemir.ch

		From Operations to Effects: A Journey Through M-Sets (burakemir.ch)
		2 points by g0xA52A2A 10 days ago \| past \| discuss
		Building a WASM Runner with Cloud Hypervisor (burakemir.ch)
		2 points by todsacerdoti 22 days ago \| past
		Indexed reverse polish notation, an alternative to AST (burakemir.ch)
		1 point by fanf2 23 days ago \| past
		Indexed Reverse Polish Notation, an Alternative to AST (burakemir.ch)
		10 points by matt_d 27 days ago \| past
		Three Meanings of Effects (burakemir.ch)
		1 point by dagipflihax0r 3 months ago \| past
		CEK and Control Operators (burakemir.ch)
		3 points by matt_d on Jan 5, 2024 \| past
		Burak's Mangle Talk for RelationalAI (burakemir.ch)
		2 points by burakemir on May 12, 2023 \| past
		Cyber Ontology Stamp Collection (burakemir.ch)
		3 points by burakemir on Sept 11, 2022 \| past
		Automata Runs as Sheaves (burakemir.ch)
		1 point by viewfromafar on Dec 11, 2021 \| past
		Intuitionistic propositional logic and natural deduction (burakemir.ch)
		1 point by burakemir on May 31, 2020 \| past \| 1 comment
		Higher-order logic and equality; multiple ways to use lambda calculus for logic (burakemir.ch)
		73 points by burakemir on April 3, 2020 \| past \| 25 comments