frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Ask HN: How do you handle logging and evaluation when training ML models?

2•calepayson•1h ago•1 comments

Ask HN: Is Computer Science still a good choice?

8•speedylight•3h ago•10 comments

Ask HN: What Are You Working On? (Nov 2025)

454•david927•4d ago•1328 comments

Ask HN: What's your solution to tech addiction?

4•asim•3h ago•6 comments

Ask HN: How common is banning Docker?

9•martypitt•6h ago•10 comments

Ask HN: How to learn concurrency?

31•shivajikobardan•13h ago•18 comments

Ask HN: Looking for a good course to learn proof assistant Lean 4

4•rabarbers•8h ago•0 comments

Ask HN: What metrics do you track in a Conversational Agent?

4•shubhamintech•9h ago•0 comments

Starting Debugging Session from CLI

2•regular8901•12h ago•0 comments

Ask HN: How does one stay motivated to grind through LeetCode?

84•blutoot•2d ago•101 comments

Ask HN: Could Microsoft replace its CEO with ChatGPT?

23•nothrowaways•1d ago•35 comments

The Lotus program analysis framework

2•cutelimination•1d ago•0 comments

Ask HN: How would you set up a child’s first Linux computer?

220•evolve2k•5d ago•296 comments

Ask HN: Senior people, how did your career evolve?

80•Seb-C•3d ago•50 comments

Ask HN: What do you do while LLM is writing code

7•me551ah•1d ago•13 comments

Tell HN: X is opening any tweet link in a webview whether you press it or not

647•stillatit•1w ago•519 comments

Ask HN: My family business runs on a 1993-era text-based-UI (TUI). Anybody else?

315•urnicus•1w ago•308 comments

Ask HN: Who is hiring? (November 2025)

400•whoishiring•1w ago•579 comments

Ask HN: What open source LLM agent do you guys use and why?

6•_345•1d ago•2 comments

Ask HN: How do you get over the fear of sharing code?

74•sodokuwizard•5d ago•90 comments

Ask HN: Effective way to deal with mosquitoes?

19•simonebrunozzi•2d ago•34 comments

You've reached the end!

Open in hackernews

The Lotus program analysis framework

2•cutelimination•1d ago
An industrial-scale program analysis framework on LLVM, with multiple intermediate representations, alias analyses, interprocedural dataflow analysis engines, and more.

https://github.com/ZJU-Automated-Reasoning-Group/lotus