Hackernews posts about Vekos

RSS feed for Vekos

01
newShow HN: Vekos – a Rust OS with Built-In Cryptographic Verificationgithub.com
▲ 82jgiraldo29 669d 💬 15
02
newShow HN: Axion One NeuroSymbolic Microkernel Prototype InRust(Help on Scheduler)
▲ 1yigremT 275d discuss
03
newAxion One a Neuro-Symbolic Microkernel Prototype in Rust (Help on Scheduler)
▲ 1yigremT 275d discuss
04
newTeaching a kernel to optimize itself through machine learningvekos.org
▲ 2jgiraldo29 578d discuss
05
newVjekoslav KrajačIć – File Pilot: Inside the Engine – BSC 2025 [video]www.youtube.com
▲ 5gingerBill 440d discuss
06
newInterop 2025 must drop secret vetosopen-web-advocacy.org
▲ 3zspitzer 724d discuss
07
newVjekoslav Krajačić – File Pilot: Inside the Engine – BSC 2025 [video]www.youtube.com
▲ 2t23414321 142d 💬 1
08
newMy first contribution to Linuxvkoskiv.com
▲ 701vkoskiv 363d 💬 88
09
newTracking Down a Regression in Mesa 3Dvkoskiv.com
▲ 52ndbigbang 351d 💬 1
10
newMy First Contribution to Linuxvkoskiv.com
▲ 5thunderbong 362d discuss
11
newMy First Contribution to Linuxvkoskiv.com
▲ 5panic 363d discuss
12
newTracking Down a Regression in Mesa 3Dvkoskiv.com
▲ 3mattjhall 348d 💬 1
13
newTracking Down a Regression in Mesa 3Dvkoskiv.com
▲ 2signa11 350d discuss
14
newRevel Part 4: I Accidentally Built a Turing-Complete Animation Frameworkvelostudio.github.io
▲ 2blablahblah 359d discuss
15
newRevel: 1M Cubes and AI Generationvelostudio.github.io
▲ 1dretsmets 367d discuss
16
newFile Pilot: A file explorer built for speed with a modern, robust interfacefilepilot.tech
▲ 331vjekoslav 593d 💬 221
17
newLooking at code behind File Pilotwww.youtube.com
▲ 3vjekoslav 127d discuss
18
newFile Pilot: Major update to Windows file manager alternativefilepilot.tech
▲ 1vjekoslav 324d discuss
19
newUber Kraken is back? New releasesgithub.com
▲ 1vkoshkarov 382d discuss
20
newShow HN: Kekoso – On-device dictation and transcription for macOSkekoso.app
▲ 8a_chmerev 32d 💬 3
21
newShow HN: RekoSearch – Semantic Search for Media SaaS (Rust, Python, AWS and K8s)rekosearch.com
▲ 4Obscurely 390d discuss
22
newI made a free DeepSeek coding agent using Gemini CLI called DeepGemgithub.com
▲ 2eeko_systems 379d discuss
23
newSpec-Driven Development with AIgithub.blog
▲ 5ekosz 268d discuss
24
newI parsed 17 years of Spain's company registry – 9.5M events, no scrapingbormeapi.com
▲ 2gekosp 87d discuss
25
newAmazon Kiro AI IDE – Pricing Announcementkiro.dev
▲ 2pekostrophy 429d discuss
26
newCarving the Scheduler Out of Our Orchestratorfly.io
▲ 2ekosz 676d discuss