dlahoda

5 ms·

61.
by dlahoda 4mo ago
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?
62.
by dlahoda 5mo ago
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
63.
by dlahoda 5mo ago
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?
64.
by dlahoda 5mo ago
Phoning like that damages their brains for sure. Hope there will be research.
65.
by dlahoda 5mo ago
Afaik principal was not confiscated. What is violation of what rights?
66.
by dlahoda 5mo ago
Search story of Eco Health Alliance. It tells Usa based org got grant to research Coronaviruses. And outsourced research to China Wuhan.
67.
by dlahoda 5mo ago
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?
68.
by dlahoda 5mo ago
GDP per Capita is average which is also misleading.
69.
by dlahoda 5mo ago
Rust macro compiling function to NPU kernel likely is Turing decidable "fragment".
70.
by dlahoda 5mo ago
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
71.
by dlahoda 5mo ago
"All Charity computations terminate" - Turing decidable it was.
72.
by dlahoda 6mo ago
- 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++
73.
by dlahoda 6mo ago
Why differential fuzzing did not catch these bugs? https://github.com/uutils/coreutils/tree/main/fuzz/uufuzz
74.
by dlahoda 6mo ago
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.
75.
Swift-bridge facilitates Rust and Swift interop(github.com)
2 points by dlahoda 6mo ago|0 comments
76.
by dlahoda 6mo ago
> 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.
77.
by dlahoda 6mo ago
> 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 fr
78.
Cidre (French CIDR) – Rusty Apple API's(github.com)
3 points by dlahoda 6mo ago|0 comments
79.
by dlahoda 6mo ago
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
80.
by dlahoda 6mo ago
dictatorship is anticompetitive practice(slaves work is cheap) and relying on its produce to produce essentials is national security issue.
81.
by dlahoda 6mo ago
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
82.
by dlahoda 6mo ago
Why it needs documents? From video of liveness check it clearly visible that 35 years old bearded man is over 18.
83.
by dlahoda 6mo ago
Where do you want it to be produced? Assembly is not production, essential parts production is.
84.
by dlahoda 6mo ago
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)?
85.
by dlahoda 6mo ago
I use macos for dev. Not even install xcode tools, neither most apps via apple store.
86.
by dlahoda 6mo ago
did you tried nix on macos? helps with software updates
87.
by dlahoda 6mo ago
linux and windows are older. and mac has ios, which with ipads goes desktopy. (capability based security)
88.
by dlahoda 6mo ago
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
89.
by dlahoda 6mo ago
on windows it does not leak slowly. just preallocates 2x memory for all future leaks.
90.
by dlahoda 6mo ago
what is better?

More ›