Hackernews posts about Vekos

1. Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com)
   82 points by jgiraldo29 6 months ago | 15 comments
2. Teaching a kernel to optimize itself through machine learning (vekos.org)
   2 points by jgiraldo29 3 months ago | discuss
3. Line-Item Vetos in Wisconsin (en.wikipedia.org)
   8 points by apengwin over 1 year ago | 3 comments
4. Interop 2025 must drop secret vetos (open-web-advocacy.org)
   3 points by zspitzer 8 months ago | discuss
5. How to get unstuck on Leetcode [video] (www.youtube.com)
   4 points by koinedad almost 2 years ago | discuss
6. Web: The Good Parts (velostudio.github.io)
   3 points by enos_feedler over 1 year ago | discuss
7. File Pilot: A file explorer built for speed with a modern, robust interface (filepilot.tech)
   331 points by vjekoslav 4 months ago | 221 comments
8. time.apple.com (17.253.14.253) is returning the wrong date and time
   16 points by vkoskiv almost 2 years ago | 18 comments
9. CFTC SEC Xrp
   1 points by toobitturky almost 2 years ago | discuss
10. Shazam for Heartbeats - AI spots heart murmurs at 2x the rate of physicians (www.fiercebiotech.com)
    3 points by c-slice over 1 year ago | 1 comments
11. Map Labeling Algorithms with Application in Graph Drawing and Cartography (2008) [pdf] (myweb.uoi.gr)
    2 points by Tomte over 1 year ago | discuss
12. Compile and Run C in JavaScript (bun.sh)
    92 points by ekosz 9 months ago | 30 comments
13. Carving the Scheduler Out of Our Orchestrator (fly.io)
    2 points by ekosz 7 months ago | discuss