Hackernews posts about Vekos

1. Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com)
   82 points by jgiraldo29 5 months ago | 15 comments
2. Teaching a kernel to optimize itself through machine learning (vekos.org)
   2 points by jgiraldo29 about 2 months ago | discuss
3. Line-Item Vetos in Wisconsin (en.wikipedia.org)
   8 points by apengwin about 1 year ago | 3 comments
4. Interop 2025 must drop secret vetos (open-web-advocacy.org)
   3 points by zspitzer 6 months ago | discuss
5. Cornell vetos trigger warning proposal (www.nytimes.com)
   2 points by allenrb almost 2 years ago | discuss
6. How to get unstuck on Leetcode [video] (www.youtube.com)
   4 points by koinedad almost 2 years ago | discuss
7. Web: The Good Parts (velostudio.github.io)
   3 points by enos_feedler over 1 year ago | discuss
8. Denver Landmark Commission Rejects Church's Plan Build Affordable Housing (www.westword.com)
   2 points by mooreds almost 2 years ago | 1 comments
9. File Pilot: A file explorer built for speed with a modern, robust interface (filepilot.tech)
   331 points by vjekoslav 2 months ago | 221 comments
10. time.apple.com (17.253.14.253) is returning the wrong date and time
    16 points by vkoskiv over 1 year ago | 18 comments
11. File explorer with custom UI written from scratch (www.youtube.com)
    2 points by vjekoslav almost 2 years ago | discuss
12. CFTC SEC Xrp
    1 points by toobitturky almost 2 years ago | discuss
13. 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
14. Map Labeling Algorithms with Application in Graph Drawing and Cartography (2008) [pdf] (myweb.uoi.gr)
    2 points by Tomte about 1 year ago | discuss
15. Compile and Run C in JavaScript (bun.sh)
    92 points by ekosz 7 months ago | 30 comments
16. Carving the Scheduler Out of Our Orchestrator (fly.io)
    2 points by ekosz 5 months ago | discuss