Developers discuss verification methods and architecture design
2 Nov 2 9:43 AM · 8d ago · 4 comments · 1 source · development 2 of 3
Comments surface practical verification techniques and design considerations: ozgrakkurt recommends using GCC to verify syscall numbers locally against LLM outputs; db48x proposes modernizing syscall interfaces for languages with length-aware strings; wg0 asks why syscalls vary by architecture if the Linux API is standardized.
“I also made a CLI for consulting the syscall API when I originally released the website. I think I can tidy up the code and make it public too.”
guitmz, Developer · hn ↗guitmz Developer
The whole story articlespostscomments the bright band is this development · numbered dots are the others · click one to jump
What people said 5 voices · verbatim
-
Would also recommend using commands like:echo '#include <sys/syscall.h>' | gcc -E -dM -xc - | grep -i "read"To get the real values on your PC to make sure.I had LLMs give wrong numbers or constant definitions several times but getting it to generate a command like this and seeing it for myself works every time.Also chromium docs has a…
-
Somewhat related - I am working on a dual Pentium III retro build (first retro build) and completely forgot that this would be 32-bit and won't have niceties like SSE2. Having some fun going down the rabbit hole of IDE, SCSI interfaces and AGP graphics. Can anyone recommend some OS installations to play with? So far I am thinking Haiku, ReactOS…
-
This is really great resource, didn't know about it. But one question not related to the website above - why the syscalls vary per architecture if the linux API is the same?Or is it I am confusing it with the C standard library/POSIX and assuming that it should be the same everywhere?
-
I also made a CLI for consulting the syscall API when I originally released the website. I think I can tidy up the code and make it public too. It uses a embedded dataset so it does not have to query the API endpoint all the time
-
I am not familiar with the internals, so excuse my question, but how does one builds this? Separately, how often can it get stale?
All 3 developments of Developer releases updated Linux syscall reference with 27… →
Hacker NewsNewswiresMastodon