Hacker News: dlahoda

New comment by dlahoda in "AI outperforms law professors in Stanford Law study"

dlahoda — Wed, 03 Jun 2026 02:33:54 +0000

i use codex to do initial research and draft texts (in typst). i use files-output skill so that all research contexts are rendered into files md files.

i do second phase on codex, by asking to download all pdfs and extract all text of laws it references. can repeat fully local research step.

after i ask gemini to find issues and criticize.

UPDATE: there many legal skills on github to try, not used so any yet

New comment by dlahoda in "Nikon weaponizes lower prices to break ASML's lithography monopoly"

dlahoda — Sat, 30 May 2026 18:34:43 +0000

smallest transistor known to internet printed by silicon arf tech is 7nm(which reported as limit of light used). while euv did 2nm(and progressing on smaller). so companies target different markets?

New comment by dlahoda in "YouTube to automatically label AI-generated videos"

dlahoda — Thu, 28 May 2026 11:25:26 +0000

Phoning like that damages their brains for sure.

Hope there will be research.

New comment by dlahoda in "Canada to order military plane fleet from Sweden in shift from US suppliers"

dlahoda — Thu, 28 May 2026 06:27:17 +0000

Afaik principal was not confiscated.

What is violation of what rights?

New comment by dlahoda in "U.S. researchers face new restrictions on publishing with foreign collaborators"

dlahoda — Fri, 22 May 2026 23:52:32 +0000

Search story of Eco Health Alliance.

It tells Usa based org got grant to research Coronaviruses. And outsourced research to China Wuhan.

New comment by dlahoda in "Google officially announces that ads will be included in AI Mode search results"

dlahoda — Thu, 21 May 2026 12:18:53 +0000

I pay premium sub 200usd for gemini(which gives premium YouTube too) and share it with family. Would google make me free from ads too?

New comment by dlahoda in "US is starting to see heavy job losses in roles exposed to AI"

dlahoda — Sat, 16 May 2026 19:55:10 +0000

GDP per Capita is average which is also misleading.

New comment by dlahoda in "Charity – Categorical programming language (1998)"

dlahoda — Sat, 16 May 2026 19:40:24 +0000

Rust macro compiling function to NPU kernel likely is Turing decidable "fragment".

New comment by dlahoda in "Charity – Categorical programming language (1998)"

dlahoda — Sat, 16 May 2026 19:39:04 +0000

Afaik there was Turing limited kind of language which had Turing decidable fragments https://www.microsoft.com/en-us/research/wp-content/uploads/...

afaik it is still in relatively active development

New comment by dlahoda in "Charity – Categorical programming language (1998)"

dlahoda — Sat, 16 May 2026 12:48:57 +0000

"All Charity computations terminate" - Turing decidable it was.

New comment by dlahoda in "Embedded Rust or C firmware? Lessons from an industrial microcontroller use case"

dlahoda — Sun, 03 May 2026 14:59:06 +0000

- https://github.com/contextgeneric/cgp

- a lot of code now uses mix of witness types and const generics

- with new borrow checker release they will do new iterators 2.0

Seems like coding on 5 year old Rust is like C++ 98.

New comment by dlahoda in "Bugs Rust won't catch"

dlahoda — Wed, 29 Apr 2026 23:50:27 +0000

Why differential fuzzing did not catch these bugs?

https://github.com/uutils/coreutils/tree/main/fuzz/uufuzz

New comment by dlahoda in "Principia Softwarica: Fundamental Literate System Programs"

dlahoda — Mon, 27 Apr 2026 00:45:56 +0000

Plan9 os used as teaching system thought book.

I heard Plan9 simple simpler than Unix.

And Go lang, created by Plan9 person, is simple too.

So basing Plan9 can be good.

Swift-bridge facilitates Rust and Swift interop

dlahoda — Sat, 25 Apr 2026 17:38:16 +0000

Article URL: https://github.com/chinedufn/swift-bridge

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

Points: 2

# Comments: 0

New comment by dlahoda in "Alberta startup sells no-tech tractors for half price"

dlahoda — Fri, 24 Apr 2026 21:11:17 +0000

> sanctions achieved anything other than suffering for the people?

I feel that some sanctions indeed `achieved anything other than suffering for the people`, but I did not research.

New comment by dlahoda in "Alberta startup sells no-tech tractors for half price"

dlahoda — Fri, 24 Apr 2026 21:05:13 +0000

> Belarusian citizens are not slaves.

These laws de facto prevent most of Belorussians leave country long term and force them to work (even if they do not need to):

- Decree No. 3 “О содействии занятости населения”(including redaction from 2018)

- Decree №278 and Decree №294

There is more laws added overtime, reality on the ground even more harsher of laws - North Korea style. I doubt anybody would argue that there is no slavery in NK.

Cidre (French CIDR) – Rusty Apple API's

dlahoda — Fri, 24 Apr 2026 20:56:52 +0000

Article URL: https://github.com/yury/cidre

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

Points: 3

# Comments: 0

New comment by dlahoda in "GPT-5.5: Mythos-Like Hacking, Open to All"

dlahoda — Fri, 24 Apr 2026 01:54:43 +0000

i casually asked gemini and codex 200usd subs to find and verify bugs for weeks. it did wrote tests, injected mutations, verified fixes. just promts.

also i had to proxy remote mainnet with localhost to force them to do penetration and dos testing.

mythos is nothing new.

New comment by dlahoda in "Alberta startup sells no-tech tractors for half price"

dlahoda — Thu, 23 Apr 2026 10:27:12 +0000

dictatorship is anticompetitive practice(slaves work is cheap) and relying on its produce to produce essentials is national security issue.

New comment by dlahoda in "John Ternus to become Apple CEO"

dlahoda — Tue, 21 Apr 2026 19:24:50 +0000

1. *nix problems, including bsd including darwin.

2. nix is just package manager and configurator of sh which forces to write idempotent sh code with explicit dependencies(just good practices right? check guidelines of any non nix solutions and you will find out that 90% of these rules are just nix). nixos, nix darwin, nix home manager final artifacts are just just idiomatic dotfiles, so nix does not exist.