Hacker News: airtnphttps://news.ycombinator.com/user?id=airtnpHacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 12 Sep 2026 06:34:37 +0000<![CDATA[New comment by airtnp in "A misalignment of AI in mathematics"]]>I'm so bored by HackerNews commenters on decelerationism stuff. Model doesn't care; the ability for math problems is emerging, not trained.

These mathematicians are not suggesting anything interesting, and the announcement more like desperate crying stuff

]]>Sat, 12 Sep 2026 01:05:17 +0000https://news.ycombinator.com/item?id=49667542airtnphttps://news.ycombinator.com/item?id=49667542https://news.ycombinator.com/item?id=49667542<![CDATA[New comment by airtnp in "How we use binary search to find compiler bugs"]]>JReduce (https://dl.acm.org/doi/abs/10.1145/3453483.3454091) uses similar technique but with semantics for debugging such problems with Java decompiler and bytecodes.

The problem is we don't know if compiling with these functions follows the monotonicity of binary searching: what if a problem is caused by a special combination of two functions? You have to arrange these two functions in the right order in order to find the problem.

]]>Sat, 22 Oct 2022 03:24:54 +0000https://news.ycombinator.com/item?id=33295420airtnphttps://news.ycombinator.com/item?id=33295420https://news.ycombinator.com/item?id=33295420<![CDATA[New comment by airtnp in "Show HN: PRQL 0.2 – a better SQL"]]>This sounds like LINQ, or SparkSQL. Instead of a full new language, it makes feel better to create libraries in languages that supports embedded DSL easily.

]]>Mon, 27 Jun 2022 19:31:57 +0000https://news.ycombinator.com/item?id=31899611airtnphttps://news.ycombinator.com/item?id=31899611https://news.ycombinator.com/item?id=31899611