HN Reader

Ask HN: If you were to start a business outside of tech, what would it be?

6 points by utkarsssh17 2h ago 2 comments

Ask HN: Is your company still hiring junior engineers?

34 points by wafflemaker 9h ago 36 comments

Ask HN: Who wants to be hired? (September 2025)

114 points by whoishiring 1d ago 268 comments

Ask HN: Who is hiring? (September 2025)

245 points by whoishiring 1d ago 278 comments

Ask HN: Can/Will server, network and security jobs ever be outsourced?

4 points by shivajikobardan 10h ago 0 comments

Ask HN: The government of my country blocked VPN access. What should I use?

1322 points by rickybule 5d ago 725 comments

Ask HN: Best foundation model for CLM fine-tuning?

27 points by philomath868 5d ago 17 comments

Ask HN: I got fired from 100k job so I've made a game and it failed

9 points by martinlistiak 17h ago 25 comments

Ask HN: How to protect own privacy under ChatControl?

7 points by wiznova 14h ago 2 comments

Ask HN: Why hasn't x86 caught up with Apple M series?

451 points by stephenheron 8d ago 621 comments

Ask HN: What to learn for math for modeling?

71 points by shivajikobardan 6d ago 28 comments

How do you handle JDK/JRE patch updates for Java apps on K8s?

6 points by bgalek 15h ago 5 comments

Understanding Android's Boot Process

7 points by alokq 1d ago 0 comments

Ask HN: How do you fight YouTube addiction and procrastination? I'm struggling

143 points by angelochecked 2d ago 144 comments

Tell HN: My advice after I applied to 450 positions before getting hired

128 points by usernamed7 3d ago 172 comments

Ask HN: Are there enough utilities in bash now?

3 points by Forgret 19h ago 10 comments

Worse Performance at a Higher Cost

3 points by damon8or 19h ago 0 comments

Ask HN: Tools for Crossword Puzzle Generation?

6 points by ekorbia 1d ago 8 comments

Ask HN: Why does Seattle feel so risk-averse compared to the Bay Area?

5 points by annyma 23h ago 4 comments

LinkedIn seems to be leaking Google Docs

4 points by pbd 23h ago 3 comments

Ask HN: Do custom ROMs exist for electric cars, for example Teslas?

57 points by j1000 1d ago 41 comments

My experience with Apache Pulsar to solve PostgreSQL multi-tenant pain

3 points by rudderdev 1d ago 0 comments

Tell HN: Use "-f**k" to kill Google AI Overview

103 points by camillomiller 1d ago 92 comments

Ask HN: How can I recover and run my old mobile game from the 2010s?

56 points by diasks2 8d ago 47 comments

Ask HN: Which Open Source License to Choose for a Python Language Server

11 points by davidhalter 2d ago 12 comments

Change Tracker: Monitor+revert file edits from Claude/AI agents(in-memory VCS)

2 points by ankit95742 1d ago 0 comments

Ask HN: What is your biggest regret about a decision you made?

4 points by yu3zhou4 16h ago 6 comments

Ask HN: Looking for Headless CMS Recommendation

4 points by rakshithbellare 2d ago 3 comments

Hacker News Alternativies

15 points by default_ 2d ago 7 comments

Ask HN: Did Developers Undermine Their Own Profession?

9 points by rayanboulares 1d ago 17 comments

C Tooling

7 tbs4 1 9/2/2025, 7:49:12 PM tomscheers.github.io ↗

Comments (1)

Nokinside · 5h ago
That's just start.

The bleeding edge uses abstract interpretation to verify code.

Free from NASA: IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. https://github.com/NASA-SW-VnV/ikos

Commercial: Astrée is a static analyzer for safety-critical software written or gen­er­ated in C or C++. https://www.absint.com/astree/index.htm https://www.absint.com/astree/index.htm

abstract interpretation for static analysis and verification:

Good intro Mechanized semantics, fifth lecture Abstract art: static analysis by abstract interpretation https://xavierleroy.org/CdF/2019-2020/5.pdf

Static Analysis and Verification of Aerospace Software by Abstract Interpretation https://mine.perso.lip6.fr/publi/article-bertrane-al-fntpl15...