HNHacker News
TopNewBestAskShowJobs

dlahoda

157 karma · joined December 6, 2017

http://lahoda.pro/
submissionscomments
dlahoda··on Gemini 4 Argon
Were infinite loops fixed? There are 2 official google forums requests with no answer for years now. I still suffer each day on our repo. Codex work fine nor we have explicit loop request in repo texts.
dlahoda··on Fertility rate dropped over 50% within 10 years in Argentina
sorry, current president only 3 years in power. what 10 years are you speaking about?

also, by many stats Argentina is more stable of what it was before. what stat you refer indicates less stability?

seems peronista detected here.

dlahoda··on Apple has added persistent 'ads' to iOS, and it's driving users crazy
I think he is busy launching typesafeai analog and chatgpt plugin market more. Anyway, why need phone if you have slave robot?
dlahoda··on Android 17 is the first since 3.x to add new APIs without releasing to the AOSP
for some people contactless payments are essential for their lifes
dlahoda··on GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
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?

dlahoda··on GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
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.

dlahoda··on Statichost.eu – European static site hosting
...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.

dlahoda··on GPT-6 Astra
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?
dlahoda··on Functional State Machines in Rust: Typestate and Newtype Patterns
Check 'bon' crate for named parameters built on newtype.
dlahoda··on U.S. sanctions against the A/I Collective
Are not they sanctioned because of Free Palestine label?

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

Seems you misdirect reasons.

dlahoda··on Firefox 157 will include JPEG XL by default on all platforms
What Updates tied? App Store updates use same networking and storage as OS? Why it is bad?
dlahoda··on Firefox 157 will include JPEG XL by default on all platforms
My wife, son and me not using Safari. Do not see how Safari relates to App Store.

We use App Store.

dlahoda··on Firefox 157 will include JPEG XL by default on all platforms
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.

dlahoda··on Mojo is now open source
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.
dlahoda··on Mojo is now open source
It still feels python enough.
dlahoda··on Mojo is now open source
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.

dlahoda··on Modeling and Verification of Keeta's Consensus [pdf]
> 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.

dlahoda··on Writergate: Zig I/O Interface Overhaul
Just use zig mystd which fits your usage.
dlahoda··on The Nixpkgs core team has disbanded
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.
dlahoda··on ICE Collected Nearly 1M People's DNA Last Year–Including Young Children
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.

dlahoda··on Codex Security
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.
dlahoda··on Codex Security
Allow only OpenAi key? Requires Cyber registration? Yes. Yes. Useless.
dlahoda··on Pizza, pasta, potatoes, protein – how Italian children became so overweight
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.

dlahoda··on Pizza, pasta, potatoes, protein – how Italian children became so overweight
Yeah, in America they have processed level score thing alike and use it in schools.
dlahoda··on Pizza, pasta, potatoes, protein – how Italian children became so overweight
On huberman show one guest described mechanics.

Fiber wraps and gelates fast carbs, and they reach later stages of processing were good bacteria lives and feeds on carbs.

As I recall from others sources, these bacteria produce drugs too, like barbiturate. They make host happier long after meal.

dlahoda··on Cruller: Bun's Zig Runtime, Continued on Zig 0.16
https://en.wiktionary.org/wiki/zirgs
dlahoda··on EU fines Google €890M for competition breaches over search and apps
EU is just 1/20 of world population, why 10%? Seems dishonest. EU human valued 2x more of other human?
dlahoda··on EU fines Google €890M for competition breaches over search and apps
Nor. It more like train costs 15 and fine 5 if caught, and payed later.
dlahoda··on EU fines Google €890M for competition breaches over search and apps
Skimmed (without AI).

Look like feature request lists.

dlahoda··on EU fines Google €890M for competition breaches over search and apps
Article has no reference how exactly fine was reasoned to be specific amount. Nor specific examples of violations.
Page 1 of 15Next →