HN user
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't know why it would need to be remade he at least referenced the talk, it seems, with the word Wat, so it's worth mentioning at least I guess
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 comment. Next will always take you to the next sibling comment (called a sibling, because it's a tree data-structure basically and sibling comes from a family tree. In fact where I said sub-root-comment I could have said descendants or children.)
EDIT: I just realized that the first child of the root doesn't have the "root" button so you have to click "parent" on it and then "next".
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 is correct it is logically correct to reply Tom Cruise or any of the girls, and that was their point that there are four possible answers to one question.
Why would it have several answer when you are asking for a singular child?
By the way this quote was the focus of my GP comment since I didn't quote it there.
Or is it like we are saying while that is logically correct, its not the actual answer and the model should reply "they have more than one child, here is the list of children" and that would be a more accurate one even though the prompt strictly asked for just 1 child?
This was not his point so I feel like we are moving the goal posts a bit, so no though that could have been what's said I don't think that's what was really being said.
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 out that Mary Lee Pfeiffer had 4 children:
Lee Ann DeVette (born 1959) (daughter) Marian Henry (born 1960) (daughter) Tom Cruise (born 1962) (son) Cass Mapother (born 1964) (daughter)
So saying "Who is Mary Lee Pfeiffer's child?" would have 4 possible answers (which is several) with all known context. Whereas like GP was saying "Who is Mary Lee Pfeiffer's son?" would have 1 identifying answer, Tom Cruise with the same context.
In this case, the correct would always include “Tom Cruise” even if it needed a clarifying “there might be others I have no knowledge of”.
I agree with this by the way.
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 singles out) Mary's son, Tom.
Kind of a weird way to draw an analogy, but in math it's kind of like |x|=2 (the absolute value of x is 2) the answer for the value of x is -2 and 2 sure you could reply that the answer is 2 and be correct (even though you would still be missing something, because the space of possible answers includes both 2 and -2). To relay that back to Mary Lee Pfeiffer saying she has Tom Cruise as a child is correct, but the actual answer could include any 4 of her children (including Tom or one of the 3 daughters) and still be correct.
Lean is a programming language [1]
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code
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 obviously made by an LLM (ChatGPT read the man page, asked some follow-up questions, and produced a prompt from which claude code built a vitepress site), jai itself was hand implemented by a Stanford computer science professor with decades of C++ and Unix/linux experience. As an experiment, the author did previously try vibe-coding a container, but the results were disastrous and repeatedly put his machine in a state that required a reboot (e.g., recursively changing the attributes of all mounts in the wrong mount namespace). The author does use coding agents to look for bugs, get feedback, and develop tests. However, rest assured that a single human understands every line of C++ in jai.
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.
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's some descriptions of each mode:
Casual mode [3]: > Your home directory is mounted as a copy-on-write overlay. The jailed process sees your real files, but writes go to $HOME/.jai/default.changes instead of modifying originals, except in the directory where you ran jai. Your current working directory grants full read/write access to code in the jail (unless suppressed with -D). So files deleted there are really gone. /tmp and /var/tmp are private. The rest of the filesystem is read-only.
Strict mode [4]: > The process runs as the unprivileged jai system user, not as you. Home directory is an empty private directory at $HOME/.jai/<name>.home. Granted directories (via -d or cwd) are exposed with id-mapped mounts — files look like they are owned by jai inside the jail. Because the process has a different UID, it cannot read files outside your home directory that are only accessible to your user — this is where confidentiality comes from.
Bare mode [5]: > Home directory is an empty private directory, like strict mode. But the process runs as your user, not as jai. This means it cannot provide confidentiality — the process can still read any file accessible to your UID outside the home directory.
I've always ran my stuff in casual so far just so my whole computer doesn't get rimraffed :P. but I'm thinking of switching to just strict mode, but haven't really vibe coded in a while so I haven't tried it yet.
[1] https://jai.scs.stanford.edu/
[2] https://jai.scs.stanford.edu/modes.html
[3] https://jai.scs.stanford.edu/modes.html#casual-mode
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 take some getting used to so hang in there). EDIT LazyVim is based off nvim by the way. If your more into videos to learn about something this is a good intro to it from Elijah Manor [2]. I have my dotfiles stored on github that I use on my different machines, and use gnu `stow` and `make` to build them and that gives me my specific lazyvim setup free and quickly after just downloading a few dependencies.
[1] https://www.lazyvim.org/ [2]: https://youtu.be/N93cTbtLCIM
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 a seperate part of the browser which is no longer the case [2]. For a quick view of what the developer tools currently look like you can see here [3]
[1] https://www.mozilla.org/en-US/firefox/developer/
[2] https://hacks.mozilla.org/2016/12/firebug-lives-on-in-firefo...
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 have. You say now you eat it for breakfast? What do you mean by that? Are you over your allergy and what has worked for you if so? If you could give someone going through something similar advice what would you say?
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" fallacy on what a True Christian would say I would counter by saying he is merely "straw manning" what God, the Bible, and a Christian would say and is taking things out of the context of the Gospel whole.
I haven't read his whole site, but probably have counted atleast 5 times so far reading it that he quotes Mark 11:24 which has Jesus saying, "Therefore I tell you, whatever you ask for in prayer, believe that you have received it, and it will be yours." I think the issue for non-Christians is they take that statement to be defeated by people that pray righteously and don't get what they want. However for Christians this is not an issue Jesus states in Matthew 5:45 "for [God] maketh his sun to rise on the evil and on the good, and sendeth rain on the just and on the unjust." Job is an example of this. My point is that to a Christian these two statements/ideas are not at odds though they may seem that way at first.
So, though Jesus doesn't explicitly state you don't get everything you've ever wanted just by praying for it he does state no matter who you are you good or evil you will have good and bad in your life. To me, I believe God does bless us for good/prayer just not in the way we may expect and ultimately all wrongs will be made right and justified just maybe not in this life. He is not a cosmic vending machine of which when we do a good work we are instantly gratified.
One of my main points in saying all this in a more general way is that to non-Christians The God of the Old and New Testament may seem to contradict himself, but I know there are answers to every one of those possible supposed contradictions even though not every person may immediately know the answer to every one of them.
Sounds like problem 15 [1]?
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's the "no" part. In terms of your question more availability of resources in general doesn't always mean you have better odds of finding good to great available resources for giving you these intuitions. The problem we have today, I believe, is the signal to noise ratio is low to build your intuition. It's a problem one of my professors explained once that so much of grade school and even required college math for most students is filled with the solve this equation mentality that you kind of miss the purpose of a lot of what higher level math is about. Sure part of it is still solving equations, but some other parts just as an example are about discovering truths (through for example a proof) that we didn't know before hand or hadn't built the intuition for before hand and that part of math is fun, but you do need a foundation for that too. It can be disheartening to learn that so much of math kind of kills that joy, and only focuses on the foundation of it the solving of the equations.
We often find ourselves sifting through materials that always assume you have (or can figure out) the intuition and make it hard to find something that digs a little deeper and allows something to stick. This happens in math, programming, and you name it. We kind of assume the intuition is already developed most the time. Writing depends on our audience. If you're a programmer like me imagine someone trying to explain a modern and complex algorithm to you while simultaneously explaining every small part of how a program executes all the way down to machine code. That would be a horrific way to try to learn just the algorithm itself and it would be drudgery to try and fight through finishing an article or book that contained that much information, and because of that it would be a waste of the author's time writing such a thing. The simple answer is usually is to either stick with simpler examples and try to build intuition like this book does (though that doesn't mean there is no complexity in the example still due to digging into the example from a fresh perspective), or to just write a book full of rules and examples through problem sets (think like a textbook on math).
I swear this is related, but my favorite course in college was Discrete Mathematics which is sometimes titled something like Mathematics of Computer Science. The interesting thing is it was the first time in Math and at school that someone has explained to me the meaning of things that build a foundation in Logic in mathematics like "for all", "there exists", logical operators, and the negation of any of those things and what they mean. It was enlightening to say the least. It gave me an intuition behind the language of proofs. It allowed me to write my own proofs and to be able to read other proofs. Which proofs are everywhere in mathematics and understanding a proof is exactly like building an intuition of the underlying math. I couldn't believe after taking that one course that I actually understand textbooks way more often, and could understand that most the learning didn't happen by going example to example and solution to solution, but by understanding the underlying rule. Math always seemed, so much more ambiguous to me before then like the rules didn't clearly define every edge case and outcome, but they almost always certainly do.
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].
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 than *Adobe's viewer* for PDFs.
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 most graphic way I've ever heard. When I turned him down, he tried to convince me to leave with him by telling me his pregnant wife was on bedrest and I was doing her a favor.'"
"'A leader at a firm showed me a video of 2 girls under 20 in his bedroom naked and and [sic] invited me and the other woman I was with to join him.'"
Another female executive, Samantha Mather, wrote about the trials of more than 15 years in legal tech, from being physically accosted at a company event to countless inappropriate comments and having to avoid one-on-one meetings with some men in her industry.
When she recruited two trusted male colleagues to stay close to her as allies, Mather said, some men pestered her anyway — or asked about her relationship with the pair.
"You literally cannot win," she wrote on LinkedIn.
On the other hand. The headline does leave out details, but is still pretty accurate for that one scene. I guess it could say 1 person assaulted and another harassed at a tech conference. For the article mostly being focused on women being harassed by men, it's easy to miss that it was a man who was assaulted, Shimmy, (hence a different person) who got the knife pulled on him for standing up for Bier (the woman who was harassed by Cruz). I had to reread it to realize that. More people in this world should be like Shimmy (and more companies like Microsoft [atleast in this instance]) that's kind of one of the points that the article is about that it doesn't matter who you are when you see something is wrong you do something to alleviate the problem. I mean you don't need to be a hero like Shimmy necessarily, but anything you find within your power to alleviate is better than nothing. Just like the event holders should have done something about harassment happening at their event.
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 trying to look up loyle.
The primary function of sauna rocks is to generate steam when water is poured onto them. This process, known as löyly in Finnish culture, releases the heat from the rocks in the form of steam, adding humidity to the sauna environment. This humidity helps to open the pores and create a more comfortable and relaxing experience. [1]
[0] https://translate.google.com/?sl=auto&tl=en&text=l%C3%B6yly&... [1]: https://eligoria.com/blogs/saunas/are-you-supposed-to-put-wa...
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 just said about the eye of the needle). In my opinion I think Jesus Christ makes it pretty clear throughout the Gospels especially in His sermon on the mount that there are diverse paths to Hell and those paths are broad and "easy" (Matthew 5 doesn't say those terms exactly but the sentiment is there), but the point is not that we're all going to Hell in fact it is far from it. It's that there is a way to Salvation and that we all need that way. The idea conveyed here is the same as breaking any other law of God that you don't really have a chance of making it to heaven without God. In fact that's a little too specific of a condition really it's you don't have a chance of making it to heaven without God even with all the good works in the world (notice this is to say it is necessary God is in the equation to make it to Heaven).
Also another often misquoted bible verse is "Money is the root of all evil" when really it says "For the love of money is the root of all evil" (1 Timothy 6:10). That chapter is a good read for what makes having or wanting riches often lead to evil (for those who don't want to read it; it basically says coveting, lusting, and setting your heart upon riches, instead of God, is evil).
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.
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.
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 doing wrong. I’m just unsure (a) whether I’ve done something wrong and (b) what part of that statement I did wrong.
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 seems more tractable than it was before, but my argument was just supposed to show one reason why it was intractable there could be many other reasons, though my argument fell flat for that one reason there are still many other reasons it could be intractable.
So the question still remains is it tractable? The answer given my above argument is still up in the air, because the honest truth is there are many underlying assumptions in my argument so again it doesn’t really say much about it being tractable. It was only trying to say it was intractable which again it fell short of doing. For example in the per month. After Google dumps all or even some of their profit into that for even one month it is somehow going to still reach the same profit margins the next month the proof for that is up to someone trying to prove it’s tractable. There are too many other variables like this that exist and it really needs a much bigger burden to show that something like that is tractable.
[1] https://www.wolframalpha.com/input?i=%2870+billion+%2F+12%29... [2]: https://www.wolframalpha.com/input?i=%2830+billion+%2F+12%29...
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.
It sounds to me like you're explaining Tax Deductions through Charity which is already a thing.
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 one [1]). If we were to give every cent of Google's earnings to each homeless person in the USA then each homeless person could get a $46 pay check ((net_income_per_quarter / homeless_population) / 3 [2]) per month from Google on a good quarter and a $20 paycheck per month on a bad quarter [3]. But, you have to ask yourself what this sort of wild and crazy idea would cost to Google's bottom line. I'm no expert on that, but I assume it would not be good. This is just some simple back of the napkin math, but it shows how simply infeasible solving homelessness or poverty is even for a company as big as Google. This is why I usually believe solving homelessness can not be achieved by money alone, and just the scale of the problem makes it so intractable.
[0] https://en.wikipedia.org/wiki/Homelessness_in_the_United_Sta...
[1] https://finance.yahoo.com/quote/GOOGL/financials
[2] https://www.wolframalpha.com/input?i=%2870000000+%2F+500000%...
[3] https://www.wolframalpha.com/input?i=%2830000000+%2F+500000%...
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 just recently re-read the guidelines, so I thought I might point others to it too. I honestly believe there are a lot more people breaking all these guidelines on this site, so the whole thing is a good read for anyone uninformed, and yes there are definitely more egregious breakages of guidelines elsewhere.
Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that". [1]
I just mainly brought this one up, because I see it come up often, and because I didn't even notice it was really a violation until I reread the guidelines the other day.
[1] https://news.ycombinator.com/newsguidelines.html#comments
I've watched the 3blue1brown essence of Linear Algebra series which is great tbh, but I've been trying to get a grip on Linear Algebra as I never took it in my CS program and found this video the other day and at the section "Linear Algebra is more like programming" (and as the previous section is titled, "linear algebra is not like algebra"). I was astonished at how much sense at least a small part of this topic makes now to me. Can't wait to dive deeper. The part that stood out to me for those that don't want to watch an hour long video is where Charles Frye, the instructor, (who has a PhD in ML) said that matrices shapes are like programming's types (they are like a constraint on how they can be manipulated), that matrices themselves are like functions (they take some set of data and return another set), and that matrix operations are like function composition (they allow functions to be combined and sort of short circuited to get to an expected output.) Near the end of the video he says that these matrix operations or "function compositions" can be refactored by either breaking them down into their subsequent composite parts or by combining them together in a similar fashion as you would refactor code for clarity of intent, simplicity, efficiency, etc.
2 maybe 3 hours, but at least I got it done before it got off the front page :P