|
|
| 1. | | Faithful Logical Reasoning via Symbolic Chain-of-Thought (arxiv.org) | |
2 points by burakemir 11 months ago | 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
|
|
|
Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
