| 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 |
|
