dlahoda

16 ms·

271.
by dlahoda 2y ago
not only allowing, but approving? they signed driver, right? linux also allows, by approval is decentralized
272.
by dlahoda 2y ago
is not it the case that kernel drivers are signed and approved by microsoft?
273.
by dlahoda 2y ago
there is visual editor which exports cel https://github.com/react-querybuilder/react-querybuilder
274.
by dlahoda 2y ago
https://actoromicon.rs/#features Asynchronous actors equipped with supervision and a customizable life cycle. Two-level routing system: between actor groups (pipelining) and inside them (sharding). Protocol diversity: actor
275.
Elfo is another actor system in Rust(github.com)
2 points by dlahoda 2y ago|1 comments
276.
by dlahoda 2y ago
Eastern block is same as Anglophone.
277.
by dlahoda 2y ago
forloni account was just created to make this comment. hello russian troll factory!
278.
by dlahoda 2y ago
solana can make some ceremony for warp bootstrap. instead of validating since genesis, ask several on chain random nodes for start from specific block. and fisherman to find if any node differs from archieval. so economics of storage i do
279.
by dlahoda 2y ago
block production is not finalization. reorgs possible. one cannot bridge or act in reality for 32 * 400 ms https://solana.stackexchange.com/questions/7945/single-slot-...
280.
by dlahoda 2y ago
is full history needed? for validators it may be last 300 blocks. for bridges 30k blocks. for rollups 300k. assuming it is possible to start validator from any block(trusting random subset of validators to bootstrap) and account state is wa
281.
by dlahoda 2y ago
people tell that solana lowers validating fees up to inability to stand against normal traffic which ddos it. also two thirds of transactions are validators voting for blocks. also afaik solana finalization time is not sub second, but 10 se
282.
by dlahoda 2y ago
60 years is way small. one person could have move in the end of of life. it should be 200.
283.
by dlahoda 2y ago
seems component object model(binding model and ref counting, winrt and dx) well fit for swift scripting. support of cmake of swift seems good path for interop cpp(build it and codegen). csharp did not have ideal story there.
284.
by dlahoda 2y ago
has refinement types. these exist in fstar lang and liquidhaskell. dependant types are not refinement [0] ts and rust have ideas to have them[1], but not so officially [0] https://www.reddit.com/r/dependent_types/co
285.
by dlahoda 3y ago
one of reasons i switched from win11 is that it was eating 100% of my cpu robustly.
286.
by dlahoda 3y ago
poetry with poetry2nix with nix flakes will do magic in terms of setup. if stick with pyright(inference) it is as modern as rust. python speed increases heavily in all directions.
287.
by dlahoda 3y ago
nix modules have types. in flakes they can be quasi statically verified
288.
by dlahoda 3y ago
override input works well. asking nix to accept arbitrary args in flakes like asking to so random patch of rust code during compilation. to patch use cargo patch. that is analogy of flakes, when you thing how flakes make nix statically type
289.
by dlahoda 3y ago
do you use special email client and host provider for that? does it work for 10k bmarks?
290.
by dlahoda 3y ago
pure flake nix with nixos modules is strongly statically typed. in this case typing is evaluation. so tvix promises doing typing faster.
291.
by dlahoda 3y ago
nix eco has project(s) which instead building full images just plug tiny shim linked into nix store. nix-snapshotter. fast and small. oci images spec allows to do nice thing with nix.
292.
by dlahoda 3y ago
asking gpt for help is awesome these days, it speaks like good old linux user friend i never had. i used linux on high end dell and msi laptopx not problem with battery. linux really works way better now it did 6+ years ago, erased my traum
293.
by dlahoda 3y ago
may be ubuntu? i tried it 6 years ago, and 8 and 10, and other linuxes like suse before. never stick. but now linux works like magic. i upgraded 3rd laptop in 3 years. just moved my nvme and all worked, even kernel and drivers in place upgr
294.
by dlahoda 3y ago
most self reports are false. there should be 3rd party eval.
295.
by dlahoda 3y ago
no diff referenced, incompetency or pr campaing from hc
296.
by dlahoda 3y ago
expression problem, tagless final, death of tagless final
297.
by dlahoda 3y ago
There was COM/Corba like this. It was hanging/freezing. So somebody will have to refactor it back to normal.
298.
by dlahoda 3y ago
i have fastapi server which gets and mangles data. and calls numpy with that. data is badly formatted, i need to make it right. functional code is better for that. i do not want one more service now to be added in typescript, with effect ts
299.
by dlahoda 3y ago
there is pull request to integrate in both pydantic extra types and into pandas cose [1] [1]: https://github.com/pandas-dev/pandas/issues/53999
300.
by dlahoda 3y ago
i just searched integration of numpy and pydantic, somebody started it [1]. i tried to use pydantic to make pandas typesafe[2] without success. what is guidance to use pydantic(fastapi) with pandas/numpy shaped data? [1]: https:/&

More ›