dlahoda

13 ms·

241.
by dlahoda 2y ago
afaik grpc did callbacks before we got sse/ws/webrtc/webtransport. so grpc was needed kind of. and also canonical content streaming was in grpc. in http there was no common accepted solution at old times.
242.
by dlahoda 2y ago
grpc "urls" and data are binary. binary with schema separation. 3x smaller payload.
243.
by dlahoda 2y ago
there are well working (official) generators of openapi/json schemas for grpc. so once you wrote grpc, you get open api rpc for free.
244.
by dlahoda 2y ago
types are just autoverified logic. tdd just tests logic which cannot be typed in given type system. in lean4 one can type a lot(dependant types to test integration shapes and proofs are proptests).
245.
by dlahoda 2y ago
gitoxide is written in rust. why would they want copy paste code from it? also, why they hate cpp? cpp without exceptions and late binding virtual inheritance is nice, and gpt said nonstop has full 17 and partial 20 cpp standard support.
246.
by dlahoda 2y ago
use only stable nix. override nixpkgs for inputs you add. after first build, use offline and no-substitute flags on reuse, alias such command. use nixdirenv. read and setup store/gc settings work for you. do not use nixenv nor nix prof
247.
by dlahoda 2y ago
as per wiki, several gui apps use guile as scripting language. also guix of interest. if emacs would have guile, i would have single language lisp machine. emacs lisp is not standard, while guile R7RS. so even more sharing. so for me emacs
248.
by dlahoda 2y ago
i am not user of emacs, but looking into as next switch. using mainstream more structured language is good point go into emacs. it also will lead to rewrite of some plugins. for example many rust rewrites just better c versions, but more c
249.
by dlahoda 2y ago
as per wiki, it seems still alpha and is not shipped with devices?
250.
by dlahoda 2y ago
even english wiki looks like marketing and poor on details. i was wandering how easy to root device, can it run android apps, what processor tech used, what is battery capacity, phone weight. one can use old processors tech with bigger batt
251.
by dlahoda 2y ago
may be it directs to use unsafe?
252.
by dlahoda 2y ago
i once was working for bosch contractor. they have team of 2-3 people doing in half year less work than i am in one month, and yet payed 2x less. de lead of that 2-3 team was putting some integration tests ignored and unignored several time
253.
by dlahoda 2y ago
4. what part of money sent to ukraine is actually investment to eu defence? trying tactics and seeing arms in actios and then selling these to aravia and asia because of good reviews. 3. all young screwed with inflation money printing, and
254.
by dlahoda 2y ago
thing located in place it was before https://f-droid.org/pt/packages/com.fsck.k9/
255.
by dlahoda 2y ago
I am from slavic lands, and found out that I prefer not to work within mostly slavic teams, as any other teams with high genetic and cultural cohesions.
256.
by dlahoda 2y ago
crypto needs support for decimals, determinism, rounding directions, uplifting to higher dimensions during long term accrual, down lifting fosome kind of quantization, path dependance. eth is whole number 10*18. usdc is 10*6. usd is if to s
257.
by dlahoda 2y ago
350 usd dish, on par with good 5g antenaroputer thing.
258.
by dlahoda 2y ago
author does not use nix on his nixos and removed it, so no ram issue. author does not activate new config on host machine, but deploys new host machines as needed. he evals on build/dev/ci machine only.
259.
by dlahoda 2y ago
less coffee more nix
260.
by dlahoda 2y ago
today linkedin marketed me linkedin Games... bed smell. what is next things to start switching?
261.
by dlahoda 2y ago
Tried to donate in crypto, failed. Bad UX. May I have just address and chain to send to?
262.
by dlahoda 2y ago
it was fun for me. i just forgot how to do my job. not exact operations or how to code. by what is exactly my job consist of what. for year like. and at same time appeared i started to do my job better as per 3rd parties feedback. also i wa
263.
by dlahoda 2y ago
rust is sexy, but i prefer system76 invest to become apple in hardware(failures of hardware, noise, cheap easy to break plastic), not software(may be little software around kernel and drivers updates). my laptop died with well known display
264.
by dlahoda 2y ago
Yeah, need more caches and backup git links (including local clones). Also they had IPFS attempts, but not finished.
265.
by dlahoda 2y ago
I see more and more people use less Github, but some other git solutions. I am afraid to think what to do when GitHub is down for hours (need to learn maillists?). Another reason is that MS may be in phase when it will ask to pay for using
266.
by dlahoda 2y ago
why do you claim i doing it blindly?
267.
by dlahoda 2y ago
Added links to answer, they tell that drivers must be signed and tested by microsoft, the WHQL is part of that. Ability to do other way deprecated in 2021.
268.
by dlahoda 2y ago
https://chatgpt.com/share/8eca1a08-062f-4474-9310-95444bab67... said ms tests drivers
269.
by dlahoda 2y ago
gpt said it could be updated by ms https://chatgpt.com/share/8eca1a08-062f-4474-9310-95444bab67...
270.
by dlahoda 2y ago
how 8.5M devices got approval to install? may they came with hard to disable windows autoupdate?

More ›