burakemir

POSTS

• Faithful Logical Reasoning via Symbolic Chain-of-Thought

  by burakemir on 6/3/2024, 2:49 AM with 0 comments

• Burak's Mangle Talk for RelationalAI

  by burakemir on 5/12/2023, 8:09 PM with 0 comments

• Current architectural best practices for LLM applications

  by burakemir on 4/27/2023, 9:13 PM with 24 comments

• Rust Security Advisory Database

  by burakemir on 3/28/2023, 9:47 PM with 0 comments

• Open-source high-performance RISC-V processor

  by burakemir on 3/26/2023, 10:32 AM with 109 comments

• Cyber Ontology Stamp Collection

  by burakemir on 9/11/2022, 5:09 PM with 0 comments

• Dart: Patterns Feature Specification (in progress proposal)

  by burakemir on 3/4/2022, 8:36 PM with 0 comments

• Bringing free retail listings to Google Search

  by burakemir on 6/29/2020, 3:10 PM with 0 comments

• Intuitionistic propositional logic and natural deduction

  by burakemir on 5/31/2020, 12:04 AM with 1 comments

• Higher-order logic and equality; multiple ways to use lambda calculus for logic

  by burakemir on 4/3/2020, 9:17 AM with 25 comments

• Epidemiology multi-agent model in NetLOGO

  by burakemir on 3/16/2020, 1:25 AM with 0 comments

• Philosophers should talk more about climate change. Yes, philosophers

  by burakemir on 2/9/2020, 7:46 AM with 1 comments

• Dfinity Canister SDK and Motoko

  by burakemir on 11/2/2019, 10:34 PM with 0 comments