HNHacker News
TopNewBestAskShowJobs

dlahoda

157 karma · joined December 6, 2017

http://lahoda.pro/
submissionscomments
dlahoda··on Spoiling Linux Kernel with "sanctioned" code
Author of the article did not say where he pays taxes and spends his money on goods, which are taxed too.

Estimates are that 30 percent of taxes go to war in Russia.

So if he is in Russia, and not left for some deep forest or like, he helps Russian War effort.

dlahoda··on Switzerland wil have a referendum to cap population at 10M
Could just stop state financing farmers and raise import taxes on non bio products which will raise food praises hence less people will be able to survive is better option?
dlahoda··on Switzerland wil have a referendum to cap population at 10M
May be each foreigner in mgmt position should pass some exam on diversification and swiss history?

Actually each foreigner to raise or get some state benefits should pass some exam?

dlahoda··on AI outperforms law professors in Stanford Law study
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

dlahoda··on Nikon weaponizes lower prices to break ASML's lithography monopoly
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?
dlahoda··on YouTube to automatically label AI-generated videos
Phoning like that damages their brains for sure.

Hope there will be research.

dlahoda··on Canada to order military plane fleet from Sweden in shift from US suppliers
Afaik principal was not confiscated.

What is violation of what rights?

dlahoda··on U.S. researchers face new restrictions on publishing with foreign collaborators
Search story of Eco Health Alliance.

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

dlahoda··on Google officially announces that ads will be included in AI Mode search results
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?
dlahoda··on US is starting to see heavy job losses in roles exposed to AI
GDP per Capita is average which is also misleading.
dlahoda··on Charity – Categorical programming language (1998)
Rust macro compiling function to NPU kernel likely is Turing decidable "fragment".
dlahoda··on Charity – Categorical programming language (1998)
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

dlahoda··on Charity – Categorical programming language (1998)
"All Charity computations terminate" - Turing decidable it was.
dlahoda··on Embedded Rust or C firmware? Lessons from an industrial microcontroller use case
- 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.

dlahoda··on Bugs Rust won't catch
Why differential fuzzing did not catch these bugs?

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

dlahoda··on Principia Softwarica: Fundamental Literate System Programs
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.

dlahoda··on Alberta startup sells no-tech tractors for half price
> 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.

dlahoda··on Alberta startup sells no-tech tractors for half price
> 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.

dlahoda··on GPT-5.5: Mythos-Like Hacking, Open to All
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.

dlahoda··on Alberta startup sells no-tech tractors for half price
dictatorship is anticompetitive practice(slaves work is cheap) and relying on its produce to produce essentials is national security issue.
dlahoda··on John Ternus to become Apple CEO
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.

dlahoda··on Brussels launched an age checking app. Hackers took 2 minutes to break it
Why it needs documents? From video of liveness check it clearly visible that 35 years old bearded man is over 18.
dlahoda··on MNT Reform is an open hardware laptop, designed and assembled in Germany
Where do you want it to be produced? Assembly is not production, essential parts production is.
dlahoda··on John Ternus to become Apple CEO
they replacing person doing horizontal scalability with vertical.

do they predict problems of some sort - like lost of ability to small down transistors for a while or supply chain disruption(increased prices of components sourcing)?

dlahoda··on John Ternus to become Apple CEO
I use macos for dev. Not even install xcode tools, neither most apps via apple store.
dlahoda··on John Ternus to become Apple CEO
did you tried nix on macos? helps with software updates
dlahoda··on John Ternus to become Apple CEO
linux and windows are older.

and mac has ios, which with ipads goes desktopy. (capability based security)

dlahoda··on John Ternus to become Apple CEO
did you tried nix home-manager for linux software setup? i never was able to use linux until nix.

hardware - afaik only lenovo(some say asus is worth to try - but no official linux support, framework is sturdy but feels cheap) is well know for quality hardware - others are questionable.

unfortunately AMD AI Max 390/2/5+ nor Qualcomm Elite 2 Lenovos are not here.

dlahoda··on John Ternus to become Apple CEO
on windows it does not leak slowly. just preallocates 2x memory for all future leaks.
dlahoda··on John Ternus to become Apple CEO
what is better?
← PreviousPage 3 of 15Next →