Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
johnsonjo
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
johnsonjo
10d ago
Though I somewhat think some benchmarks are silly like the article says. I saw someone on YouTube recently take a picture of a building across the street from them (seemed like it was in NYC), and asked GPT 6 Astra to make it in blender. It
2.
▲
by
johnsonjo
1mo ago
Most official Rust projects are dual MIT/Apache licensed by convention [1] (and most Rust libraries from third parties I've seen that are open source MIT follow the MIT/Apache dual license), so seems like this library shouldn
3.
▲
by
johnsonjo
2mo ago
Other than the IEE-754 he might mean the Wat talk [1] by Gary Bernhardt which is kind of famous for poking fun at JavaScript (and it's unpredictability with things like NaN. As a JS developer myself I find it hilarious.) Though I don&#
4.
▲
by
johnsonjo
3mo ago
> only thing I'm missing is a jump to next root comment That's a two step process currently when you are just going through the comments you click "root" on any sub-root-comment and then "next" on the root c
5.
▲
by
johnsonjo
3mo ago
> Yeah i understand that but it is logically right to reply with "Tom Cruise" or any of the girls to that question because by its structure it requires only 1 of the 4 answers since it asks for a singular child right? Yes that
6.
▲
by
johnsonjo
3mo ago
> Might have several. It only has one answer if there is only one child, which appears to be the case here. With context. It does have several which was probably GPs point, and she did not have only one child. Quick google search turns
7.
▲
by
johnsonjo
3mo ago
The space of possible answers is more than one is all GP is saying. Mary Lee Pfeiffer had 1 son, Tom Cruise, and 3 daughters. That's why saying Who is Mary Lee Pfeiffer's son was an identity, because it strictly identifies (or sin
8.
▲
by
johnsonjo
3mo ago
Lean is a programming language [1] > Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code [1]: https://lean-lang.org/
9.
▲
by
johnsonjo
3mo ago
Jai is not written by ai, but only its website is. It's written by a Stanford Computer-Science professor with decades of C++ and Unix/linux experience. > [1]: Was jai written by an AI coding agent? No. While this web site was o
10.
▲
by
johnsonjo
3mo ago
As a jai and linux user, myself, looking at nono's os-sandbox (from here [1]) it seems nice too. Thanks for the recommend I was looking for something that might be nice on Mac and nono seems good to recommend to coworkers and the like.
11.
▲
by
johnsonjo
3mo ago
I've been using jai [1] for sandboxing on linux (although I use opencode and local models and not claude code) and I'm pretty satisfied with it. It comes in three different modes [2]: casual mode, strict mode, and bare mode. Here&
12.
▲
by
johnsonjo
6mo ago
I've been using VIM/NVIM on and off for a while and the one thing that made it stick for me over VSCode was LazyVim [1]. If you're missing out on something IDE like VSCode, but you love vim it's a great way to go (it can
13.
▲
by
johnsonjo
2y ago
I haven't used Firefox in a bit, but I thought their devtools were pretty good, but last time I used it I used their developer edition browser [1]. I think the devtools were particularly bad when you used to have to install Firebug as
14.
▲
by
johnsonjo
2y ago
My sister went to an allergist and found out she is allergic to corn/HFCS as well with similar symptoms as you (hives, vomit inducing). Corn and HFCS are in almost literally everything, so it's a really hard allergy for her to hav
15.
▲
by
johnsonjo
2y ago
I agree the author of the site does not understand God from the aspect that a Christian would (regardless of whether he is a former Christian). So while some may say by me saying that I'm about to pull a "True Scotsman" falla
16.
▲
by
johnsonjo
2y ago
Sounds like problem 15 [1]? [1]: https://projecteuler.net/problem=15
17.
▲
by
johnsonjo
2y ago
Yes and no. Yes there are more resources, and yes they're easier to discover, but you implied that was all that GP meant, but his point was they can be hard to find still. At least resources that try and give you intuition, so that
18.
▲
by
johnsonjo
2y ago
Really neat. I was mainly curious to know when they are planning to release the self hosted docker versions of Penpot 2.0. Although I found this issue on their Github and it Looks like its coming in the next couple days hopefully [1]. [1]:
19.
▲
by
johnsonjo
3y ago
Well I'm not entirely sure why they did that, Adobe is the original creators of the PDF format [1] as given by this Wikipedia article on PDFs which might mean they meant something more like a viewer for *Adobe's PDF format* rather
20.
▲
by
johnsonjo
3y ago
The other reports and not just the knife and bar incident are really awful as well and like hidden half way down the article: > Here's a sampling of stories Fleener shared: > "'Last night, I was propositioned in the mos
21.
▲
by
johnsonjo
3y ago
Apparently it's a typo for löyly a finnish word which apparently means steam [0]. The author probably only heard the word pronounced. Anyways, to find this out I merely looked up "pouring water on sauna rocks" instead of tryi
22.
▲
by
johnsonjo
3y ago
It's interesting to me that the focus of these verses has always been on the "impossibility" of rich men entering the kingdom of Heaven. When 2 verses later it says with God all things are possible (in reference to what He ju
23.
▲
by
johnsonjo
3y ago
I think gp meant the next two verses. Where the verse two after the one we are talking about says: Mark 10:27 And Jesus looking upon them saith, With men it is impossible, but not with God: for with God all things are possible.
24.
▲
by
johnsonjo
3y ago
Makes sense. Thanks for letting me know. I’ll ask a moderator if they’ll answer and if you’re correct then I will not do it again. I was simply trying to be helpful.
25.
▲
by
johnsonjo
3y ago
I’m genuinely curious on whether this is an insinuation on me breaking that rule you posted in my previous comment or towards the general public. If anyone can clarify what is meant by the above comment then I will gladly fix whatever I’m d
26.
▲
by
johnsonjo
3y ago
That is true it says all numbers in thousands also I noticed I accidentally was on years and not quarters. So 11k a month for example is the new number for a good year [1] and 5k a month is the example for a bad year [2]. So yes now it see
27.
▲
by
johnsonjo
3y ago
Okay I was wrong about that I was also wrong about the quarterly part the numbers were not per quarter but per year. Again back of the napkin and I’m glad to have people point out the flaws in my argument.
28.
▲
by
johnsonjo
3y ago
It sounds to me like you're explaining Tax Deductions through Charity which is already a thing.
29.
▲
by
johnsonjo
3y ago
There are 500k homeless people in the US alone [0]. Let's compare that to Google's net income (money gained after all expenses including taxes, etc.) for a quarter (quarter is 3 months with $70m on a good quarter and $30m on a bad
30.
▲
by
johnsonjo
3y ago
I don't really have much beef with your comment as it has pretty substantive points, but I just wanted to remind and let everybody know about a Hacker News guideline outlined on their guidelines under the comments section. Sorry, I jus
More ›