Hackernews posts about Postfix

1. Writing a Verified Postfix Expression Calculator in Ada/Spark (pyjarrett.github.io)
   2 points by notagoodidea 17 days ago | discuss
2. Ask HN: Please restrict new accounts from posting
   721 points by Oras 30 days ago | 515 comments
3. Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types (ngrislain.github.io)
   34 points by ngrislain 13 days ago | 23 comments
4. Show HN: Shifu – A pure POSIX shell framework to create powerful CLIs (github.com)
   7 points by ultramann 8 days ago | 2 comments
5. Ask HN: Are we going to see more job postings asking for only agentic coding?
   6 points by ronbenton 29 days ago | 11 comments
6. Meta patented an AI that lets you keep posting from beyond the grave (www.businessinsider.com)
   4 points by JumpCrisscross 27 days ago | 4 comments
7. A reproducible C toolchain rooted on POSIX shell (umontreal.scholaris.ca)
   3 points by laurenth 4 days ago | discuss
8. Amiport ports POSIX/Linux C programs to AmigaOS 3.x (github.com)
   3 points by doener 4 days ago | discuss
9. Software Development Job Postings on Indeed in the United States (fred.stlouisfed.org)
   3 points by djoldman 14 days ago | discuss
10. PostGIS-compatible spatial functions for ClickHouse (github.com)
    3 points by zX41ZdbW 15 days ago | discuss
11. PDF of the Current POSIX Standard (corvora.github.io)
    2 points by birdculture about 14 hours ago | discuss
12. Boxsh: A sandboxed POSIX shell with concurrent JSON-line RPC mode (github.com)
    2 points by progyoung about 19 hours ago | discuss
13. Show HN: Bulk posting with CSV for your interns (info.bundle.social)
    2 points by marcelbundle 7 days ago | discuss
14. AI Adoption and Firms' Job-Posting Behavior (www.federalreserve.gov)
    2 points by toomuchtodo 11 days ago | discuss
15. Obsidian Kernel – A post-POSIX kernel (github.com)
    2 points by oretuff 21 days ago | discuss
16. Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)
    2 points by PaulHoule 21 days ago | discuss
17. Show HN: Emil is a new terminal-based text editor in C99 and POSIX 2001 (github.com)
    2 points by emil_coder 21 days ago | discuss
18. Hacker Advertising (HN optimal posting time & advertising value model) (github.com)
    1 points by quinndupont 29 days ago | 1 comments
19. What do frontier AI companies' job postings reveal about their plans? (epochai.substack.com)
    1 points by gmays 7 days ago | discuss
20. NWM-POSIX, 1000 (github.com)
    1 points by tinyopsec 7 days ago | discuss
21. Show HN: Glazyr Viz – Zero-Copy MCP Vision Server via POSIX Shared Memory (github.com)
    1 points by mcpmessenger 10 days ago | discuss
22. What do frontier AI companies' job postings reveal about their plans? (epochai.substack.com)
    1 points by vinhnx 10 days ago | discuss
23. Long-Running Sandbox in Dockers for Coding Agents (100% POSIX Compatible) (sandock.ai)
    1 points by chepy 14 days ago | discuss
24. Getopt: Go package for POSIX/GNU-style command line parsing (pkg.go.dev)
    1 points by PaulHoule 20 days ago | discuss
25. Guest Posting and Link Building Made Simple (seenearme.com)
    1 points by Rollmodl 22 days ago | discuss
26. Show HN: HN Jobs Trends – Monthly trend analysis of HN job postings (hn-job-trends.gantryops.dev)
    1 points by notdian 23 days ago | discuss
27. Show HN: I turned a sketch into a 3D-print pegboard for my kid with an AI agent (github.com)
    65 points by virpo 7 days ago | 18 comments
28. Show HN: Threadprocs – executables sharing one address space (0-copy pointers) (github.com)
    64 points by jer-irl 15 days ago | 46 comments
29. Write Your Own Copy
    30 points by operatingthetan 2 days ago | 16 comments
30. Show HN: I made a free list of 100 places to promote your SaaS (launchdirectories.com)
    21 points by rosennn 9 days ago | 2 comments