Hacker News: ducktective

New comment by ducktective in "HTML Can Do That"

ducktective — Fri, 21 Aug 2026 02:25:45 +0000

My point was, people block js of websites by default. Why? Cause website devs abuse js and don't exclusively use it for basic interactivity of stuff like sorting table columns.

There is an incentive to use HTML for common interactivity purposes.

New comment by ducktective in "HTML Can Do That"

ducktective — Thu, 20 Aug 2026 20:46:02 +0000

>single, simple JS file

It's all fine and dandy until marketing bros decide to shove all kinds of shady modals into that JS file. The JS side is not exclusive to trivial interactivity.

New comment by ducktective in "Responding to the next frontier of critical cyber capabilities"

ducktective — Fri, 07 Aug 2026 17:10:59 +0000

> including isolated testing environments

Given the attack vector having possible super-human capability, I'm not sure such an environment exists. "Isolated" according to who?

Maybe seL4 could be a viable option here...

New comment by ducktective in "Governments are making a dangerous bet on the AI boom"

ducktective — Thu, 06 Aug 2026 04:46:12 +0000

>Do you think Japan and the EU would be better off if our/their economies were centred around trillion dollar companies that make a product that is 20% better than the Chinese models at 1000x the cost?

Why Japan and Europe don't develop a model that is 20% worse at 0.001x the cost?

New comment by ducktective in "Governments are making a dangerous bet on the AI boom"

ducktective — Thu, 06 Aug 2026 04:32:33 +0000

I wonder about Japan and Europe these days. Back in the 80s, when Japan was pursuing the "Fifth-Generation Computers", EU and US scrambled to compete with Japan. Like, it was a big deal for strategists and decision-making high-level politicians of that era.

Now in 2020s, it seems only China is tailing US and in turn, US is wary of China. What gives?

New comment by ducktective in "Ten advances in mathematics and theoretical computer science"

ducktective — Mon, 03 Aug 2026 19:55:45 +0000

Do LLMs generate deterministic or trustworthy answers?

New comment by ducktective in "Don't be a meat proxy"

ducktective — Mon, 03 Aug 2026 08:29:43 +0000

It's AI-assisted now but on a path to becoming AI-independent in the coming months at least due to the general public perception.

New comment by ducktective in "SwiftUI After 7 Years"

ducktective — Sun, 02 Aug 2026 20:04:20 +0000

I wonder what experts think of this other option: going fully native for one platform then vibe-porting it to others.

F*: A general-purpose proof-oriented programming language

ducktective — Sun, 02 Aug 2026 12:31:16 +0000

Article URL: https://fstar-lang.org/

Comments URL: https://news.ycombinator.com/item?id=49143925

Points: 189

# Comments: 99

New comment by ducktective in "Generative AI floods and dilutes the market for books"

ducktective — Sun, 02 Aug 2026 12:21:01 +0000

No passion, no independent research, only the drive to make money with as little effort as possible

New comment by ducktective in "13 Models and 4 Agents on SWE Tasks: Go, Java, Python, Rust, TS"

ducktective — Fri, 31 Jul 2026 18:32:33 +0000

Exactly. I was wondering what language would be better for heavy agentic workflow. Due to a recent blog post, Clojure seem to be the most terse [1]. But some people are suggesting static types would help in this workflow.

[1] : https://martinalderson.com/posts/which-programming-languages...

New comment by ducktective in "Are We Stuck with Lean?"

ducktective — Thu, 30 Jul 2026 15:14:06 +0000

Recent posts on formal proofs usually talk about Lean, Rocq, Isabelle and (due to this post) Metamath.

What do people think of F* [1]? At least, for non-mathematics projects, doesn't it seem to be a more appropriate option [2]? It seems even the CS community is gravitating towards Lean.

[1] https://fstar-lang.org/

[2] https://fstarlang.github.io/lowstar/html/Introduction.html

New comment by ducktective in "The whole premise of checking for human writing is daft"

ducktective — Sat, 25 Jul 2026 17:05:05 +0000

>that there's no daylight between the works of an individual who has taken a literal lifetime to hone a skillset and any random dilletante armed with the appropriate AI tools.

Well, the promise of AGI and current LLM trajectory looks like this is how it's going to be. This is part of the reason that juniors or university students feel animosity towards LLMs.

Have you looked at the recent prompts mathematicians use to disprove conjectures? One of the last ones related to graph theory was basically: continue research...enough partial results, give me a breakthrough...

Not exactly skillful prompting...

New comment by ducktective in "Android May Soon Restrict On-Device ADB"

ducktective — Sat, 25 Jul 2026 07:54:30 +0000

>a config switch between A and B is never considered

And why should modern corpo maintain additional complexity to pander to 1% of privacy-aware tech-savvy users?

New comment by ducktective in "Codeberg bans vibe coded projects"

ducktective — Wed, 22 Jul 2026 11:30:19 +0000

>Still, one thing should not be forgotten, those who fail to adapt eventually fall behind.

Adapt to what? Current LLM endgame is "wished-spec => code". Where do you fit in this? You are fighting for the last 10%, 1%, 0.1% contribution in this march of the 9s game.

New comment by ducktective in "Moonshine: Lets you stream games from your PC to any device running Moonlight"

ducktective — Mon, 20 Jul 2026 06:10:19 +0000

Thanks for the summary!

Does anyone happen to know how to make a Windows machine, the extended display of a Linux machine? Both machines are on the same network.

I'm looking to use a Windows laptop as a mere HDMI monitor for the Linux laptop. I don't need gaming/streaming requirements. Like, can anyone list our options in 2026 as the parent comment did?

I assume one can use this Moonshine on the server (Linux laptop) and run Moonlight on the client (windows laptop)?

New comment by ducktective in "Anonymous GitHub account mass-dropping undisclosed 0-days"

ducktective — Sun, 28 Jun 2026 13:55:46 +0000

Not even that, libssh2 vul. that "scp"s malware from cloud to your machine...

New comment by ducktective in "Show HN: Decomp Academy – Learn to decompile GameCube games into matching C"

ducktective — Sun, 28 Jun 2026 03:29:32 +0000

Before the advent of LLMs, ML was used in upscaling the assets and pre-rendered backgrounds of the first 3 classic Resident Evil games: https://www.reshdp.com

New comment by ducktective in "Show HN: Decomp Academy – Learn to decompile GameCube games into matching C"

ducktective — Sun, 28 Jun 2026 03:27:04 +0000

Makes one wonder, why should anyone embark on learning this intricate and time-consuming art of reverse engineering when LLMs are on their way to automate it in seconds...

New comment by ducktective in "It used to be hard"

ducktective — Mon, 15 Jun 2026 16:29:11 +0000

It's not just corpo talk. The ultimate goal in LLM and AI progress is "replacement" of professional knowledge workers. In the march of the 9s of the accuracy of the generated LLM output, the engineers role would matter less and less.

It's asking engineers to "adapt" to being efficient in filling out the last 10% then 1% then 0.1% then 0.01%.