Hackernews posts about IFComp

1. Sound and Practical Points-To Analysis for Incomplete C Programs [pdf] (www.sjalander.com)
   14 points by st_ 12 days ago | discuss
2. Advertising would be incompatible with Anthropic's vision (twitter.com)
   4 points by taytus 17 days ago | 3 comments
3. Incompressible File. A File That Resists Compression (v0id-user.mataroa.blog)
   3 points by v0id_user 20 days ago | discuss
4. A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009) (james-iry.blogspot.com)
   1 points by surprisetalk 25 days ago | 1 comments
5. On the philosophical relevance of Gödel's incompleteness theorems [pdf] (philpapers.org)
   1 points by Paracompact 7 days ago | discuss
6. Game-theoretic reasoning requires best response in incomplete information games (weyxie.bearblog.dev)
   1 points by weyxie 12 days ago | discuss
7. Show HN: JavaScript-first, open-source WYSIWYG DOCX editor (github.com)
   129 points by thisisjedr 12 days ago | 44 comments
8. Show HN: Inverting Agent Model (App as Clients, Chat as Server and Reflection) (github.com)
   24 points by ddddazed 18 days ago | 4 comments
9. Elon Musk Censors Dissident Fleeing the United States
   13 points by jPendleton 11 days ago | 12 comments
10. Ask HN: How do you verify cron jobs did what they were supposed to?
    8 points by BlackPearl02 30 days ago | 9 comments
11. Ask HN: GPT-5.3-Codex being silently routed to GPT-5.2?
    5 points by tardis_thad 8 days ago | 3 comments
12. Thoughts on ICElist
    5 points by gorfian_robot 22 days ago | discuss
13. Ask HN: Why not have a subreddit where all voting is done by a single AI?
    4 points by amichail 19 days ago | 9 comments
14. Nightmare Startup, or Bad Comms
    3 points by kidneedsadvic 20 days ago | 4 comments
15. Why is price comparison still so bad in 2026?
    3 points by YourPriceHub 12 days ago | 2 comments
16. Ask HN: What do you think of this "Aliens of the Gaps" movie idea?
    3 points by amichail 25 days ago | 1 comments
17. Show HN: A website that summarises all adopted texts of EU parliament (euforya.eu)
    3 points by krzysiek 22 days ago | discuss
18. Show HN: EnforceAuth GA Launch (enforceauth.com)
    2 points by EnforceAuthMark 18 days ago | 1 comments
19. Show HN: Vibe Audit – Detecting Context Drift in Coding Agents (github.com)
    2 points by vulpez 6 days ago | discuss
20. Show HN: Cuadds – Workspace with one element type (no pags/fldrs/fles distinctn) (www.cuadds.com)
    2 points by santiagopuentep 8 days ago | discuss
21. Show HN: Minima LMS – Bitmap view tracking, caption search, reusable content (github.com)
    2 points by pigon1002 24 days ago | discuss
22. Show HN: Manim Skills – Claude Code skill for creating 3b1B style animations (github.com)
    2 points by Adithya-Kolavi 29 days ago | discuss
23. Show HN: Perspectives – I wanted AI to challenge my thinking, not validate it (getperspectives.app)
    2 points by Jamium 30 days ago | discuss
24. Ask HN: How do you catch cron jobs that "succeed" but produce wrong results?
    1 points by BlackPearl02 21 days ago | 3 comments
25. Show HN: Artificials – Why AI will create the next human civilization
    1 points by brian_bae_kr 9 days ago | 1 comments
26. Show HN: AgentDX – Open-source linter and LLM benchmark for MCP servers (github.com)
    1 points by yamarldfst 3 days ago | discuss
27. Show HN: A "content compiler" that turns LLM output into validated artifacts (gixo.ai)
    1 points by hardikparikh29 5 days ago | discuss
28. Show HN: Jsiphon – Streaming JSON parser with delta tracking and ambiguity trees (github.com)
    1 points by sugeul 5 days ago | discuss
29. Show HN: A Deployable Cross-Platform SIMD RNG Library for C++ (With Bnchmks)
    1 points by whisprer 6 days ago | discuss
30. Porting an INT8 VHDL CNN from Intel Agilex 3 to Lattice Certus-NX
    1 points by smart_coconut 9 days ago | discuss