burakemir's submissions

1.		Faithful Logical Reasoning via Symbolic Chain-of-Thought (arxiv.org)
		2 points by burakemir on June 3, 2024 \| past
2.		Burak's Mangle Talk for RelationalAI (burakemir.ch)
		2 points by burakemir on May 12, 2023 \| past
3.		Current architectural best practices for LLM applications (mattboegner.com)
		141 points by burakemir on April 27, 2023 \| past \| 24 comments
4.		Rust Security Advisory Database (rustsec.org)
		1 point by burakemir on March 28, 2023 \| past
5.		Open-source high-performance RISC-V processor (github.com/openxiangshan)
		262 points by burakemir on March 26, 2023 \| past \| 109 comments
6.		Cyber Ontology Stamp Collection (burakemir.ch)
		3 points by burakemir on Sept 11, 2022 \| past
7.		Dart: Patterns Feature Specification (in progress proposal) (github.com/dart-lang)
		1 point by burakemir on March 4, 2022 \| past
8.		Bringing free retail listings to Google Search (blog.google)
		2 points by burakemir on June 29, 2020 \| past
9.		Intuitionistic propositional logic and natural deduction (burakemir.ch)
		1 point by burakemir on May 31, 2020 \| past \| 1 comment
10.		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
11.		Epidemiology multi-agent model in NetLOGO (northwestern.edu)
		2 points by burakemir on March 16, 2020 \| past
12.		Philosophers should talk more about climate change. Yes, philosophers (backreaction.blogspot.com)
		4 points by burakemir on Feb 9, 2020 \| past \| 1 comment
13.		Dfinity Canister SDK and Motoko (dfinity.org)
		1 point by burakemir on Nov 2, 2019 \| past