Hacker News: dlahoda

New comment by dlahoda in "Android 17 is the first since 3.x to add new APIs without releasing to the AOSP"

dlahoda — Fri, 18 Sep 2026 20:23:21 +0000

for some people contactless payments are essential for their lifes

New comment by dlahoda in "GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?"

dlahoda — Mon, 14 Sep 2026 21:06:47 +0000

so I assembled orchestration which catches design issues, multilayer livenesssoundnesssecurity issues.

kind of high level.

did you noticed that astra started to write better comments which look as it understands something?

New comment by dlahoda in "GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?"

dlahoda — Mon, 14 Sep 2026 21:02:07 +0000

I would and do.

works perfect

https://github.com/dzmitry-lahoda/dz/tree/main/agents/skills...

burns half of day sub of astra for 200 USD. runs 1 hour on our repo.

finds bugs missed by coderabitai, devin-integration-bot, codex and copilot (I ask them first until nothing found, yet my orchestration finds more).

I do not hardcode our application in orchestration, but run subagent for applicationdomainproduct detection.

also I use agy 200usd sub for second-opinion as one of steps for false positive elimination.

New comment by dlahoda in "Statichost.eu – European static site hosting"

dlahoda — Sat, 05 Sep 2026 00:43:06 +0000

...European values, and requires eu tax number, eu payment card only, eu sanctions, eu censorship, eu prices(high), and residence permit of course.

Immediately blocked for half year until they think if you can have that site.

New comment by dlahoda in "GPT-6 Astra"

dlahoda — Fri, 04 Sep 2026 08:52:14 +0000

ad video is full of people with hoarse voices. it is called vocal frying. i hope they not really going to make ai voice hoarse too?

New comment by dlahoda in "Functional State Machines in Rust: Typestate and Newtype Patterns"

dlahoda — Sun, 30 Aug 2026 06:12:50 +0000

Check 'bon' crate for named parameters built on newtype.

New comment by dlahoda in "U.S. sanctions against the A/I Collective"

dlahoda — Sat, 29 Aug 2026 13:26:14 +0000

Are not they sanctioned because of Free Palestine label?

Any sanctioned org for just being p2p/crypto so far?

Seems you misdirect reasons.

New comment by dlahoda in "Firefox 157 will include JPEG XL by default on all platforms"

dlahoda — Tue, 25 Aug 2026 23:55:02 +0000

What Updates tied? App Store updates use same networking and storage as OS? Why it is bad?

New comment by dlahoda in "Firefox 157 will include JPEG XL by default on all platforms"

dlahoda — Tue, 25 Aug 2026 23:54:08 +0000

My wife, son and me not using Safari. Do not see how Safari relates to App Store.

We use App Store.

New comment by dlahoda in "Firefox 157 will include JPEG XL by default on all platforms"

dlahoda — Tue, 25 Aug 2026 23:50:29 +0000

I do not feel so.

Not only Rust does C API, but Objective-C the way it allows to call Apple platform and call Apple compatible functions back.

Also well integrated Rust programs(with platform calls and low level hardware access) are well compiled without Apple SDK.

3-4 kicking Rust solutions are easy findable in this area.

New comment by dlahoda in "Mojo is now open source"

dlahoda — Fri, 21 Aug 2026 01:29:19 +0000

I coded Matlab in uni, never got it. And had to look Julia code. I have to learn it to read. I am more SEng rather then Sci or Quant. And on compile time types. So for me Julia is foreign and forces me to look both Python and Julia.

New comment by dlahoda in "Mojo is now open source"

dlahoda — Fri, 21 Aug 2026 01:22:30 +0000

It still feels python enough.

New comment by dlahoda in "Mojo is now open source"

dlahoda — Tue, 18 Aug 2026 18:31:03 +0000

Hm, in docs they say that dependent type system is not first class seems.

Is it even dependent? More like refinement types, which seems will be in Rust too.Also HN recently mentioned Rust building similar llvm based integration with GPU.

But compared with Python, Julia, Matlab, R, Rust, C, C++ - Mojo feel relief for working with numerics.

New comment by dlahoda in "Modeling and Verification of Keeta's Consensus [pdf]"

dlahoda — Sun, 16 Aug 2026 03:46:55 +0000

> Clients are responsible for managing conflicts and resubmitting transactions if necessary.

"Fat" clients need to talk to many "RPC"s at once and get final vote on "two phase" commit to their transaction.

Client is like Builder in Proposer builder separation.

Each representative stores all data for all accounts. They do DA.

New comment by dlahoda in "Writergate: Zig I/O Interface Overhaul"

dlahoda — Sat, 15 Aug 2026 20:08:11 +0000

Just use zig mystd which fits your usage.

New comment by dlahoda in "The Nixpkgs core team has disbanded"

dlahoda — Sat, 08 Aug 2026 14:45:54 +0000

Yeah. I fixed AI/GPU stack consisting of 6 existing packages to run CLI on Mac. Fixed all comments during several weeks. And then silence. No approve no nothing for few months. Closed PR and will never come back.

New comment by dlahoda in "ICE Collected Nearly 1M People's DNA Last Year–Including Young Children"

dlahoda — Mon, 03 Aug 2026 14:15:51 +0000

ZK, FHE, MPC is written in Rust/Swift/C(pp) to support proper DNA data management. I assume that there is already done research related to DNA. Any modern phone has enough to crank needed bits. These schemes do not need trust to company nor government.

Remaining is to upgrade old phones of every body.

New comment by dlahoda in "Codex Security"

dlahoda — Thu, 30 Jul 2026 13:17:16 +0000

yeah, Sol failed to review my pr to my code of my app this way. day after, my openai 200usd subscription down to 20usd one. i started to use my 200usb subscription of google gemini a lot more. got openrouter account and put 200usd here. started to use glm.

New comment by dlahoda in "Codex Security"

dlahoda — Tue, 28 Jul 2026 23:15:18 +0000

Allow only OpenAi key? Requires Cyber registration? Yes. Yes. Useless.

New comment by dlahoda in "Pizza, pasta, potatoes, protein – how Italian children became so overweight"

dlahoda — Mon, 27 Jul 2026 00:42:58 +0000

This explains how sugars and fast carbs can be healthy https://youtu.be/n28W4AmvMDE?si=xEx29eVFgDEy2ktW

Tldr; highly processed food looses vitamins(micro nutrient starvation) and starch/fiber are needed to slow absorption until it gets to bacteria producing drugs(barbiturate and precursors to neuromediators including), and give signals over vagus nerve to head. May be summary of few books from me too. Do not recall. Add on top chewing fibery food takes time, feeling full starts earlier of being full, and saliva ferments help to digest either.