Viewing profile — prisonguard

ChatGPT is actively being used as a calculator.

Solution looking for a problem

This is astonishing coming from Amazon.

Looks like hardware (Pixel especially) is also struggling as it is hardly mentioned?

> But most developers do none of these things When they should, failure cost time/money

Mash-Allah Eid Mubarak!

> A lot of companies would pay actual money for some semblance of supply-chain security. After the core-js debacle[0] earlier this year, it was evident that alot of companies actua…

nowadays, it's cool to say this new toy is faster than the rest because it is written in Rust without providing further details? When I visit the Bun project landing page[0], I get…

programmers from different origins and cultures working on the same codebase will have a noticeable problem in naming things. there is currently no tooling to address this problem.…

> think this, it's the first step, think clearly without ambiguity, if you can't the compiler should be designed to force you to do this.

there has to be a better way for a beginner to learn Lean even with the faintest high school mathematics recollection. I can still do theorem proving in Idris excluding the mathema…

thank you for explaining, but do i need a special keyboard just to type out the natural number type?

making thing obscure and less obvious is anti-intellectual, its getting harder and harder for new developers to gain a footing in software development also why tools like chatGPT h…

I've always thought theorem proving to be about proving equality of the function and the result. Lean to me is not only obscure but unapproachable by someone from a non-mathematica…

technology has gone past simple cash transfer via USSD we are talking of virtual currencies, trust networks, tokens now.

i live in kenya and frequently use m-pesa, this service is too expensive, a charge for both sending and receiving money just won't fly, sadly it's backed by powers that be who cons…

sidenote, but kind of alarmed by the number of anon accounts getting created for posts like the OPs. We could have one anon account for submitting anon posts, whereby upon request,…

sidenote, but kind of alarmed by the number of anon accounts getting created for posts like the OPs. We could have one anon account for submitting anon posts, whereby upon request,…

agreed, might be trivial but i think the button text could as well switch to 'Submitting' like bootstrap

My fav editor(ST2) coupled with a markdown plugin does the trick for me.

which often evolves to a rather refreshing discussion that doesn't have to necessarily end with an agreement

Does the op know that the Mozilla foundation is almost entirely funded by Google? http://en.m.wikipedia.org/wiki/Mozilla_Foundation