Hackernews posts about Vekos

  1. Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com)
    82 points by jgiraldo29 about 1 year ago | 15 comments
  2. Show HN: Axion One NeuroSymbolic Microkernel Prototype InRust(Help on Scheduler)
    1 points by yigremT about 2 months ago | discuss
  3. Axion One a Neuro-Symbolic Microkernel Prototype in Rust (Help on Scheduler)
    1 points by yigremT about 2 months ago | discuss
  4. Teaching a kernel to optimize itself through machine learning (vekos.org)
    2 points by jgiraldo29 12 months ago | discuss
  5. Vjekoslav KrajačIć – File Pilot: Inside the Engine – BSC 2025 [video] (www.youtube.com)
    5 points by gingerBill 7 months ago | discuss
  6. Interop 2025 must drop secret vetos (open-web-advocacy.org)
    3 points by zspitzer over 1 year ago | discuss
  7. My first contribution to Linux (vkoskiv.com)
    701 points by vkoskiv 5 months ago | 88 comments
  8. Tracking Down a Regression in Mesa 3D (vkoskiv.com)
    5 points by 2ndbigbang 4 months ago | 1 comments
  9. My First Contribution to Linux (vkoskiv.com)
    5 points by thunderbong 5 months ago | discuss
  10. My First Contribution to Linux (vkoskiv.com)
    5 points by panic 5 months ago | discuss
  11. Tracking Down a Regression in Mesa 3D (vkoskiv.com)
    3 points by mattjhall 4 months ago | 1 comments
  12. Tracking Down a Regression in Mesa 3D (vkoskiv.com)
    2 points by signa11 4 months ago | discuss
  13. Revel Part 4: I Accidentally Built a Turing-Complete Animation Framework (velostudio.github.io)
    2 points by blablahblah 4 months ago | discuss
  14. Revel: 1M Cubes and AI Generation (velostudio.github.io)
    1 points by dretsmets 5 months ago | discuss
  15. File Pilot: A file explorer built for speed with a modern, robust interface (filepilot.tech)
    331 points by vjekoslav about 1 year ago | 221 comments
  16. File Pilot: Major update to Windows file manager alternative (filepilot.tech)
    1 points by vjekoslav 3 months ago | discuss
  17. Uber Kraken is back? New releases (github.com)
    1 points by vkoshkarov 5 months ago | discuss
  18. Show HN: RekoSearch – Semantic Search for Media SaaS (Rust, Python, AWS and K8s) (rekosearch.com)
    4 points by Obscurely 5 months ago | discuss
  19. I made a free DeepSeek coding agent using Gemini CLI called DeepGem (github.com)
    2 points by eeko_systems 5 months ago | discuss
  20. Spec-Driven Development with AI (github.blog)
    5 points by ekosz about 1 month ago | discuss
  21. Amazon Kiro AI IDE – Pricing Announcement (kiro.dev)
    2 points by pekostrophy 7 months ago | discuss