dlahoda

11 ms·

151.
by dlahoda 11mo ago
you are doing it all time. you just not aware. the person was so bad in thing, and had to build relevant part of the brain manually. that part you got automagically. there is no difference except awarness. over time he will loose awarness t
152.
by dlahoda 11mo ago
i do not see problems with axum. we wrote some macro(with muncher) which allows strongly typed and yet dry per method error, error split of public part vs internal log only(with backtrace crate trace capture), full openapi support(via schem
153.
by dlahoda 11mo ago
seems similar to this https://github.com/pdtpartners/nix-snapshotter so kind of allowing pull images from nix store, mounting shared host nix store per node into each container, incremental fast rebuilds, generating ba
154.
by dlahoda 11mo ago
every company must pay enough to allow developer to donate from his own pocket (and each state to allow vat free donations without paper work).
155.
by dlahoda 11mo ago
another one from high trust stable place. glad for you being there. have you heard about decentralization? society is not civilization. local vs global.
156.
by dlahoda 11mo ago
until one's society started to collapse, one does not think crypto is good
157.
by dlahoda 1y ago
i have not bought pixel 9 because of author tests for example. i had samsung fold 3, and knew that bend out tests are very very important. went with samsung fold 6, i failed to bend at all
158.
by dlahoda 1y ago
as for rust linked list https://crates.io/crates/ghost-cell
159.
by dlahoda 1y ago
we just got virus into heads(which mutated some cells) forcing us to eat more. we are vodoo dolls driven by craving for flesh.
160.
by dlahoda 1y ago
i hope her shares were not deluted. anyway, it was right decision to sell all of them, for sure.
161.
by dlahoda 1y ago
newtypes are not as good as native low level types. after typing a lot of code, one will find out that he needs nightly to get decent integration to avoid casting to low level and back all time.
162.
by dlahoda 1y ago
lean4. it analyses code. if it finds raii/linearity/single-ownership, it does exactly like rust mem mgmt. but if it js not, it does rc. so it does what rust, but automagically without polluting code. so cow or pbw or 2mem are not
163.
by dlahoda 1y ago
my point is that site uses "stdlib" in title, which implies eng like formalized-categorized fleur of meaning. but looking into tags and content, it is not far different from enterprise agile middlemanagment type of thing content.
164.
by dlahoda 1y ago
as per you linkedin profile titles and headers, you are manager, sales, director, coach and tutor, and consultant. what part of you income is from making solution via coding/programming/drawing-writing specs? i doubt even 25%. all
165.
by dlahoda 1y ago
any links for research proving you state?
166.
by dlahoda 1y ago
agile, and scrum?, consultants blog trying to be pretend using tech slang will help with anything
167.
by dlahoda 1y ago
did you use lates claude release? did you ask codex to review and bug fix? what wat time spent promting, manual fixes and waiting for agent to finish work?
168.
by dlahoda 1y ago
Latest Rust stable version of official default linter says: ```rust warning: manual implementation of `.is_multiple_of()` | if number % i == 0 { | ^^^^^^^^^^^^^^^ help: replace with: `number.is_multiple_of(i)`
169.
by dlahoda 1y ago
1. assuming 7 inch device still phone 2. and phone is phone of it can do phone calls 3. it holds battery for one day at least there is possibly oss phone https://mastodon.social/@mntmn/111387899138111367 so seems need
170.
by dlahoda 1y ago
In the footnote, the author linkedly suggests to "Read That F* Code". Indeed, it is good to be able to read F* code. So not sure why the author does suggest to be Typer and Thinker at same time. Thinking in Types(and categories) c
171.
by dlahoda 1y ago
> You're making the claim that Antithesis isn't necessary because compile time type-checking solves problems that Antithesis is targeting sorry, i never claimed what you stated above. you have taken only part of my initial stat
172.
by dlahoda 1y ago
check this https://news.ycombinator.com/item?id=45264789 , antitesis feels like set of bash scripts thb
173.
by dlahoda 1y ago
1. many things antithesis finds in go, kotling, cpp just do not exist in rust. that i less needed case. these people like antithesis. 2. i mentioned tooling, also in other thread i mentioned ecosystem - https://github.com/Bu
174.
by dlahoda 1y ago
you cannot prove RAFT correctness using Rust type checker. wdym by "no tests"? seems you have not read my response at all... > sure we need write tests, and tests like antithesis helps with. also, imho both lamports (bft and pa
175.
by dlahoda 1y ago
yes. tests test what? logic. logic = types (proven). so stronger type system less test needs to be written. more, if proc macro or build.rs can execute logic, based on parsed """types"""(partial info only), we
176.
by dlahoda 1y ago
sorry, where exactly i stated no need to write tests? i argue, overall, that antithesis less likely will be adopted in rust because language itself (in sense extended to typelevel patterns and in macro simulations) and its ecosystem (by eco
177.
by dlahoda 1y ago
i guess most of issues anthitesis finds are preventable by simple or more evolved rust (patterns). in rust i just have more time for other things you mentioned. also it is clear you are misunderstand rust. rust type and macro system allow t
178.
by dlahoda 1y ago
do they have sustained at least one prominent rust first and rust core customer? i doubt, rust has a lot of tooling and catches at compile time what their product does in runtime. also not sure about antithesis biz practices. you pay them f
179.
by dlahoda 1y ago
https://github.com/dfinity/candid/blob/master/spec/Candid.md
180.
by dlahoda 1y ago
so you say only nothing or harm to all?

More ›