Hackernews posts about Posix

Posix is a standard for Unix-like operating systems that defines a set of APIs and utilities to ensure compatibility across different Unix variants.

1. Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
   34 points by ngrislain 20 days ago | 23 comments
2. Show HN: Shifu – A pure POSIX shell framework to create powerful CLIs (github.com)
   7 points by ultramann 14 days ago | 2 comments
3. A reproducible C toolchain rooted on POSIX shell (umontreal.scholaris.ca)
   3 points by laurenth 10 days ago | discuss
4. Amiport ports POSIX/Linux C programs to AmigaOS 3.x (github.com)
   3 points by doener 11 days ago | discuss
5. Show HN: Opensidian: Local-first notes in the browser with POSIX shell and sync (opensidian.com)
   2 points by braden-w 6 days ago | 2 comments
6. PDF of the Current POSIX Standard (corvora.github.io)
   2 points by birdculture 7 days ago | discuss
7. Boxsh: A sandboxed POSIX shell with concurrent JSON-line RPC mode (github.com)
   2 points by progyoung 7 days ago | discuss
8. Obsidian Kernel – A post-POSIX kernel (github.com)
   2 points by oretuff 27 days ago | discuss
9. Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)
   2 points by PaulHoule 27 days ago | discuss
10. Show HN: Emil is a new terminal-based text editor in C99 and POSIX 2001 (github.com)
    2 points by emil_coder 27 days ago | discuss
11. NWM-POSIX, 1000 (github.com)
    1 points by tinyopsec 13 days ago | discuss
12. Show HN: Glazyr Viz – Zero-Copy MCP Vision Server via POSIX Shared Memory (github.com)
    1 points by mcpmessenger 16 days ago | discuss
13. Long-Running Sandbox in Dockers for Coding Agents (100% POSIX Compatible) (sandock.ai)
    1 points by chepy 20 days ago | discuss
14. Getopt: Go package for POSIX/GNU-style command line parsing (pkg.go.dev)
    1 points by PaulHoule 26 days ago | discuss
15. Show HN: Threadprocs – executables sharing one address space (0-copy pointers) (github.com)
    64 points by jer-irl 21 days ago | 46 comments
16. Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.) (raw.githubusercontent.com)
    7 points by adinhitlore 4 days ago | 2 comments
17. Show HN: I couldn't compare storage topologies without 3 forks, so I built this (github.com)
    2 points by AnishMulay 12 days ago | discuss
18. Show HN: Flint – A compiled, pipeline-oriented language for CLI tooling (codeberg.org)
    1 points by lucaas-d3v 29 days ago | 2 comments
19. The usability of open source operating systems (posixcafe.org)
    2 points by j03b 6 days ago | discuss
20. Ukrainian drone holds position for 6 weeks (defenceleaders.com)
    171 points by AftHurrahWinch 12 days ago | 193 comments
21. Iran's Nuclear Program Has Survived, Posing Problem for U.S. Negotiators (www.wsj.com)
    13 points by ceejayoz 1 day ago | 1 comments
22. Show HN: RemoteDevJobs – AI-curated remote developer positions with scoring (remotedvjobs.com)
    9 points by remotedvjons 20 days ago | 1 comments
23. How we chose Positron's Python type checker (positron.posit.co)
    9 points by nomial 13 days ago | discuss
24. Positron Flux: from DORA dashboards to explaining what changed (sklivvz.com)
    6 points by sklivvz1971 13 days ago | discuss
25. Artemis Mission Tracker – Live Orion Spacecraft Position (issinfo.net)
    5 points by ColinWright 11 days ago | 2 comments
26. Ask HN: What should I do to land a position soon?
    4 points by kdroids 24 days ago | 5 comments
27. KarpathyTalk – A positive developer community for builders and agents (github.com)
    4 points by armen99 7 days ago | discuss
28. Live Artemis II position tracker (issinfo.net)
    2 points by qingcharles 9 days ago | 1 comments
29. Fourwords, a free open human and machine friendly global positioning standard (yoshimi.space)
    2 points by fish43 10 days ago | 1 comments
30. Show HN: RemoteDevJobs – AI-curated remote developer positions (311 active) (remotedvjobs.com)
    2 points by remotedvjons 15 days ago | 1 comments