Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
prisonguard
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
prisonguard
6d ago
what in the gobbledygook is this
2.
▲
by
prisonguard
6d ago
can't believe what has become of this profession
3.
▲
by
prisonguard
6d ago
> I do not know how to code a single line of Swift or Kotlin sounds like your app is nothing serious
4.
▲
by
prisonguard
6d ago
yea man they are trying to nickle and dime you
5.
▲
by
prisonguard
6d ago
Congratulations, you now have 2 codebases to maintain.
6.
▲
by
prisonguard
6d ago
Unless you are at the basketball court where talking smack is a valid winnign strategy
7.
▲
by
prisonguard
6d ago
its sad that the only reason warranting this switch is AI. I would have loved to see some performance benchmarks on some critical app flow.
8.
▲
by
prisonguard
6d ago
LOL!
9.
▲
by
prisonguard
10d ago
You and the AI agree, but how about you and the team who will eventually read and do code review. Cognitive burden increases marginally with AI assisted coding. This is why we haven't seen big projects(think browsers and browser engine
10.
▲
by
prisonguard
11mo ago
ChatGPT is actively being used as a calculator.
11.
▲
by
prisonguard
3y ago
Solution looking for a problem
12.
▲
by
prisonguard
3y ago
This is astonishing coming from Amazon.
13.
▲
by
prisonguard
3y ago
Looks like hardware (Pixel especially) is also struggling as it is hardly mentioned?
14.
▲
by
prisonguard
3y ago
> But most developers do none of these things When they should, failure cost time/money
15.
▲
by
prisonguard
3y ago
Mash-Allah Eid Mubarak!
16.
▲
by
prisonguard
3y ago
> 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 actually do not care care about supply-chain security. Those t
17.
▲
by
prisonguard
3y ago
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 concise reasons as to why bun is faster than its peers
18.
▲
by
prisonguard
3y ago
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. it was always amusing listening to oral history of a part o
19.
▲
by
prisonguard
3y ago
> 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.
20.
▲
by
prisonguard
3y ago
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 mathematical notation and still learn concepts such as totality, co
21.
▲
by
prisonguard
3y ago
thank you for explaining, but do i need a special keyboard just to type out the natural number type?
22.
▲
by
prisonguard
3y ago
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 have gained so much popularity
23.
▲
by
prisonguard
3y ago
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-mathematical background. Take this snippet for instance th
24.
▲
ISO 26262 – Software Level of Functional Safety
(youtube.com)
2 points
by
prisonguard
4y ago
|
0 comments
25.
▲
Bug of the Sprint
(youtube.com)
2 points
by
prisonguard
4y ago
|
0 comments
26.
▲
by
prisonguard
6y ago
technology has gone past simple cash transfer via USSD we are talking of virtual currencies, trust networks, tokens now.
27.
▲
by
prisonguard
6y ago
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 constantly stiffle innovation in the payment space,
28.
▲
by
prisonguard
13y ago
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, a one time access password would be generated.
29.
▲
by
prisonguard
13y ago
agreed, might be trivial but i think the button text could as well switch to 'Submitting' like bootstrap
30.
▲
by
prisonguard
13y ago
My fav editor(ST2) coupled with a markdown plugin does the trick for me.
More ›