HN Explorer

burakemir

↗ HN profile [ 88.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Faithful Logical Reasoning via Symbolic Chain-of-Thought (arxiv.org)
    2 points 0
  2. Burak's Mangle Talk for RelationalAI (burakemir.ch)
    2 points 0
  3. Current architectural best practices for LLM applications (mattboegner.com)
    141 points 25
  4. Rust Security Advisory Database (rustsec.org)
    1 points 0
  5. Open-source high-performance RISC-V processor (github.com)
    262 points 113
  6. Cyber Ontology Stamp Collection (blog.burakemir.ch)
    3 points 0
  7. Dart: Patterns Feature Specification (in progress proposal) (github.com)
    1 points 0
  8. Bringing free retail listings to Google Search (blog.google)
    2 points 0
  9. Intuitionistic propositional logic and natural deduction (blog.burakemir.ch)
    1 points 1
  10. Higher-order logic and equality; multiple ways to use lambda calculus for logic (blog.burakemir.ch)
    73 points 25
  11. Epidemiology multi-agent model in NetLOGO (ccl.northwestern.edu)
    2 points 0
  12. Philosophers should talk more about climate change. Yes, philosophers (backreaction.blogspot.com)
    4 points 1
  13. Dfinity Canister SDK and Motoko (sdk.dfinity.org)
    1 points 0