skysight-inc/HackerNews huggingface dataset:
I feel like allowing bankruptcy in certain situations would make sense.

For example, I took out undergraduate and graduate loans to train for a career that, due to a freak health event (I got MS) in my last semester of grad school, I couldn't actually do. Currently, the disability discharge works in a way where if you can do any work at all you're on the hook for the full amount.

So someone who went to school to become an actuary/doctor/lawyer/etc, suffered a severe head injury and afterwards can only work a retail or fast food job is still on the hook for all their loans and has to pay them off on poverty wages.

Another case is people for whom the economic landscape changed so drastically so quickly that the decisions they made when entering school might not be relevant when they leave school. Think people who started undergrad in 2005/2006/2007 - they might have made perfectly reasonable decisions about what college to go to and how much debt to take out based on expected future return, and then that return tanked while they were in school + there were several years of scraping by during which interest accumulated due to no fault of their own.
i think aws has the most comprehensive infra related docs here -> https://docs.aws.amazon.com/ with good architecture diagrams. i understand that this is just for aws related products and how they are used, i would love to learn if there is a more general site where infra related topics are explained and discussed in more detail.
This is fabrication, not design.
Is this really a mystery? People eat more energy wise and move less.

As to why people eat more, it's probably due to higher energy density food, advertising (especially to children) and lost norms about eating (e.g. sugary stuff is not "proper food"). As to why we move less is less manual labor, more sedentary entertainment and increased use of vehicles.

The obesity discussion seems to somehow deliberately try to avoid the obvious.
Agreed. That is what the original poster said. I didnt manage to reproduce the error on my end, but I dont know the full context or maybe the memory on my end changes the output.
Euclid's Elements is less pervasive on the Internet then content produced for Liberal Arts math courses. As those courses tend to emphasize critical thinking and problem-solving math over pure theory and advanced concepts, they tend to be far more common and tend to win compared to more domain specific meanings.

Examples:

https://en.wiktionary.org/wiki/Euclidean_geometry

https://www.cerritos.edu/dford/SitePages/Math_70_F13/Postula...

Problems with polysemy across divergent, more advanced theories has been one of my biggest challenges in probing some of my areas of intrest.

Funny enough, one of my pet areas of obscure interest, riddled basins, is constantly muddied not by math, but LSAT questions, specifically non-math content directed at a reading comprehension test: "September 2006 LSAT Section 1 Question 26"

IMHO a lot of the prompt engineering you have to do with these highly domain specific problems is avoiding the most common responses in the corpus.

LLM responses will tend to reflect common usage, not academic terminology unless someone cares enough to change that for a specific case.
Please don’t over-dramatise. If a link is provided out of context, there’s no reason why you can’t just click it. If you do not like what’s on the linked page, you are free to go back and be on your way. Or ignore it. It’s not like you’re being asked to do some arduous task for the GP comment’s author.
Implications of using GPL-licensed client-side JavaScript (2015)
PostgreSQL Locking 0 to 100
This man is a true hero

…to liars everywhere. He lied, he forged documents, he filed suits. Most people will never go to these lengths to back up their lies, no matter how big the potential windfall. You have to respect the dedication if nothing else.
Another common theme I would add is that they didn't have a fatal accident. If you are unlucky you can live as healthy as you want and not have any genes that make you more likely to have a specific disease and still die young. :/
Disagree - https://arxiv.org/abs/2406.17642

We cover halting problem and intractable problems in the related work.

Of course LLMs cannot give answers to intractable problems.

I also don’t see why you should call an answer of “I cannot compute that” to a halting problem question a hallucination.
You forgot:

5) Systematically under-build housing so that future generations will be unable to simultaneously repay these loans and afford a place to live.
Purely out of curiosity, what did you prefer about horizontal tabs, and what did you dislike about vertical tabs?
Exactly this, I've been saying this since the beginning. Every response is a hallucination - a probabilistic string of words divorced from any concept of truth or reality.

By total coincidence, some hallucinations happen to reflect the truth, but only because the training data happened to generally be truthful sentences. Therefore, creating something that imitates a truthful sentence will often happen to also be truthful, but there is absolutely no guarantee or any function that even attempts to enforce that.

All responses are hallucinations. Some hallucinations happen to overlap the truth.
Rust error handling
And sometimes it just bugs out and doesn't give any response? Faced that twice now, it "thought" for like 10-30s then no answer and I had to click regenerate and wait for it again.
LLM and other generative output can only be useful for a purpose or not useful. Creating a generative model that only produces absolute truths (as if this was possible, or there even were such a thing) would make them useless for creative pursuits, jokes, and many of the other purposes to which people want to put them. You can’t generate a cowboy frog emoji with a perfectly reality-faithful model.

To me this means two things:

1. Generative models can only be helpful for tasks where the user can already decide whether the output is useful. Retrieving a fact the user doesn’t already know is not one of those use cases. Making memes or emojis or stories that the user finds enjoyable might be. Writing pro forma texts that the user can proofread also might be.

2. There’s probably no successful business model for LLMs or generative models that is not already possible with the current generation of models. If you haven’t figured out a business model for an LLM that is “60% accurate” on some benchmark, there won’t be anything acceptable for an LLM that is “90% accurate”, so boiling yet another ocean to get there is not the golden path to profit. Rather, it will be up to companies and startups to create features that leverage the existing models and profit that way rather than investing in compute, etc.
Job interview? You might be surprised at the number of us who don’t code for a job.
No, with high student loans, you are not supporting high talents; you are supporting the rich only. You are obstructing a lot of potential that poor students might have realized if they could have afforded it. It's not about banning universities; it's about broadening accessibility. Schools are state-funded for the same reason.
Complexity as Design Material
Show HN: Georgia's Café Reviews
I built this website for my sister's birthday to replace the Apple note she had been keeping on her phone. We both post reviews, and it's a nice way to stay connected with a shared project while I'm at college across the country.

Tech specs: A simple custom CMS built with Laravel, Livewire, Tailwind, and SQLite hosted on a shared $5 Hetzner box, deployed with Forge.
How would you prove stuff about your code like memory safety.
Thanks. I would suggest you reconsider deferring updates. Apple does not consistently backport security updates to prior versions of macOS.
> It is still possible for what Nelson refers to as "transcopyright" issues to occur on
same origin transclusions, when multiple authors reuse the same origin for hosting
copyrighted content, but this is not the common case, at least in the case of the WWW.

I would argue that this overwhelmingly is the common case—viz:

- twitter.com

- youtube.com

- facebook.com

- reddit.com

... etc. It is only through artificially restricting your focus outside the way that the Web is used in practice—and optionally also being so blinded by one's milieu (that of professional programmers who unlike the average person might spend between, say, 25–50% of their waking hours on a typical day at least partially focused on publishing to the origin associated with whatever they're getting paid for at the moment, but nonetheless live the rest of their lives like everyone else publishing to and consuming from the major platforms)—that you can claim something like the above.
Well, you make it a capital office, or less draconian... make it an offense punishable by 10 years of hard labour in a dire penal camp somewhere cold.

In addition you make it an offense to fail to disclose knowledge of the use of such capabilities, and you institute a system of rewards to positively encourage disclosure.

Perhaps you call it social credit.

You are correct that there are a few people who would defy such a system, a very few.
I have been using vertical tabs since the mid 90s - OmniWeb on NeXT then OSX. Unfortunately that stopped being usable in the late 200s then I used Firefox extension TreeStyleTabs - I did not know that Mozilla did vertical tabs. Chrome also had vertical tabs then but the bug tracker is hilarious in that the authors really did not understand its use and eventually removed it.

After 2016 then Vivaldi and in the last couple of years Safari (there was a horrible admin 10 years ago)
The Current State of AI Markets – By Eric Flaningam
I've been pretty happy with the experience of using Python as a replacement for my previous solutions of .PHONY-heavy Makefiles and the occasional 1-line wrapper batch file or shell script. It's a bit more verbose, and I do roll my eyes a bit occasionally at stuff like this:

call([options.cmake_path,'-G','Visual Studio 16','-A','x64','-S','.','-B',build_folder],check=True)

But in exchange, I never have to think about the quoting! - and, just as you say, any logic is made much more straightforward. I've got better error-checking, and there are some creature comforts for interactive use such as a --help page (thanks, argparse!) and some extra checks for destructive actions.
Another good resource is Making a RISC-V OS using Rust

https://osblog.stephenmarz.com/
I mean you are given a blank check to change your future for ever and the debt will be paid by your future, better self.

Who would not take this lucrative deal, regardless of the number on that check?
I was referring to the o1 AIME accuracy figure (x log scale compute, y is % (not log)) and similar
https://openai.com/index/learning-to-reason-with-llms/
The resurrection of Jerry Lewis' catastrophic Holocaust movie
More fuel on the fire. Let's go.

You are right. We should not be focusing on the suspicion that they might be eating cats. Let's focus on the fact that they are responsible for driving up rent and driving down wages, while being powerless enough to be forced to go on a duckhunt for lunch.
Great anecdata!
I think we are going to have an era of entrepreneurial maximalism coming soon. For a lot of young people, the employment deal is rather broken. Also, AI will benefit smaller companies far more than larger ones.
Native vertical tabs are already in nightly and it's about as neutered as its Edge and Vivaldi counterparts. What Edge and Vivaldi does not have is APIs for implementing something as impressive as the nested style Sidebery or Tree Style Tabs.

Making it sound like Edge and Vivaldi has the upper hand, when it comes to vertical tabs, is not fair.
Tao mentions grad students; I wonder how they feel reading this?

As LLMs continue to improve I feel like anyone making a living doing the "99% perspiration" part of intellectual labor is about to enter a world of hurt.
> remember, all of the following statements are false at least some of the time, but for some of these, perhaps not very often

> 5. There is a such thing as a TCP packet

> 6. There is no such thing as a TCP packet

I don't understand this at all. Either the concept of a TCP packet exists, or the concept does not exist. Even it's not being used in certain scenarios, I don't see how you can argue that "there's no such thing" any of the time. This might just be me misunderstanding whatever point they're trying to make, but I don't remember ever having such philosophical confusion from anything in any other "falsehoods programmers believe about..." article before.
I grew up in Canada, but my family and I are first generation immigrants from Ukraine. The privilege of my peers left a huge, almost traumatizing, impression on me. My parents were constantly working overtime at their minimum wage jobs at a plastics plant to support us, while my brother and I were raised by my grandmother. Most of my peers had wealthy parents and it was hard to relate. The silver lining is that it really motivated me to work hard and escape that. I live in California now and make many times more than my parents ever made in their lives. My mom still works as a janitor for minimum wage.

Most people I know back in Canada get lots of support from their parents. Everyone I know who bought real estate had huge help from their parents. Canada is just too expensive otherwise and local jobs don't support the cost of living. It definitely feels unfair to those that don't have wealthy parents. They fall behind, and as housing prices rise, it becomes harder to catch up. Those definitely won demographic lottery, and I don't think many of them understand how lucky they are.

All that being said, given a global perspective, I am very lucky, too.
Exactly - 12 years of education to get children ready to be citizens and not single class on how to manage a bank account, or even the most basic education about investments or actual wealth building.

Instead, all I was told was to go to college.

So... the people that made me woefully sheep like and "financially innocent" then sent me to the wolves because they believed in me.

Seriously, they made huge changes to the way people were accepted into college - created High School "career counseling" (college/University recruiters) to tell everyone kid they were smart enough to go, and the dumber down tests convinced enough to convince the rest.

The loans went up each year - the costs more than doubled between my Freshman and Sophomore year and just never stopped going up - the more you owe the more you HAVE to finish to get the job to pay the loans.

Before all this, when less than 1% of all student loans had been defaulted on, the loan debt was made unforgivable by 6 people - a committee of bankers created by the people in Congress they bought.

It was setup so that of a millennial "Wins" it means they can afford to pay their loans - so the bank wins. If we lose we still have to pay/often must pay more with all the fees and added interest - bank still wins.

During the time I lived thru all this I was reading shit about how lazy all f are bc we don't own as many houses as we are supposed at our age - this is still true to this day actually.

This is an intolerable and disgusting thing for a society to do to an entire generation - any group is wrong but to plan out the demise of a generation of, at the time all this was first set in motion, we were literal Elementary Students.

These loans destroyed lives, relationships, sets parents against their children, divided families.

- All just part of the plan.
All these issues are well known for a long time and nothing happened. Can someone with law background weigh in on whether this lawsuit has any chance of winning?
Interesting! Too bad it’s just about two of them.
Because someone is making money
> I have an idea that I have trouble expressing in words, where I know that the words I’m saying are not properly expressing the idea that I have. (I mean — that’s happening right now!)

That's a quality insight. Which, come to think of it, is an interestingly constructed word given what you just said.
But those, can be fixed if addressed early enough by a pivot, a shakeup in leadership, business model change, etc.
Models are often wrong but sometimes useful. Models that provide answers couched in a certain level of confidence are miscalibrated when all answers are given confidently. New training paradigms attempt to better calibrate model confidence in post-training, but clearly there are competing incentives to give answers confidently given the economics of the AI arms race.
But many of the low-effort comments seem to mostly fall into (1) and (2) -- cynicism rather than cautious optimism.

One good riposte to reflexive LLM-bashing is, "Isn't that just what a stochastic parrot would say?" Some HN'ers would dismiss a talking dog because the C code it wrote has a buffer overflow error.
They shared a bunch of breadcrumbs that fell off the banquet table. Mistral and Google, direct competitors, actually published a lot of goodies that you can actually use and modify for hobbyist use cases.
What sort of problems do you solve? I tried to use it. I really did. I've been working on a tree edit distance implementation base on a paper from 95. Not novel stuff. I just can't get it to output anything coherent. The code rarely runs, it's written in absolutely terrible style, it doesn't follow any good practices for performant code. I've struggled with getting it to even implement the algorithm correctly, even though it's in the literature I'm sure it was trained on.

Even test cases have brought me no luck. The code was poorly written, being too complicated and dynamic for test code in the best case and just wrong on average. It constantly generated test cases that would be fine for other definitions of "tree edit distance" but were nonsense for my version of a "tree edit distance".

What are you doing where any of this actually works? I'm not some jaded angry internet person, but I'm honestly so flabbergasted about why I just can't get anything good out of this machine.
Vivaldi tabs do nest one level deep via tab groups. Drag one tab over another to group them. That's at least something.
CS does have a lot of certifications, which are generally regarded as crap by most university-educated CS people. Part of the reason is that a lot of certifications test you knowledge with specific tooling, and that tooling may become obsolete rather quickly in the field.

It's also worth noting that a lot of the tests you talk about aren't valued particularly higher by their own fields. Most lawyers I know have commented that the bar exam [1] primarily tests material that is largely irrelevant to the actual practice of law, to a degree that scoring too highly on the exam tends to be seen as "you wasted too much time preparing for the exam."

[1] The LSAT isn't a test of whether or not you've mastered law school material, it's a test of whether or not you are allowed to be admitted to law school in the first place. The bar exam is the actual necessary certification to be a lawyer.
Thinking about training LLMs on geometry. A lot of information in the sources would be contained in the diagrams accompanying the text. This model is not multi-modal, so maybe it wasn't trained on the accompanying diagrams at all.

I would really like if people check on a set of geometry and a set of analysis questions and compare the difference.
For someone who didn't study a STEM subject or CS in school, I've gone from 0 to publishing a production modern looking app in a matter of a few weeks (link to it on my profile).

Sure, it's not the best (most maintainable, non-redundant styling) code that's powering the app but it's more than enough to put an MVP out to the world and see if there's value/interest in the product.
Possibly my favorite cat died two years ago after an extended viral illness. It was terrible. He was a feral cat and so lived outdoors in the summer heat. I had found him on the sidewalk, pulling his body with his front legs (his rear legs had failed). I carried his drooping form to his favorite spot in the front yard under the shade of bushes. I put ice in a towel around him to cool him.

Over the next two hours he lay there and cried to me as if to ask "Can't you do anything? What is happening to me?". I agree with you: they seem to know the end is near.

I could only pet him gently and talk to him softly, which seemed to calm him. His cat companion was quite upset, stayed around, but did not approach too closely.

After he died and rigor mortis set in, I retraced his path from where I found him back to our parking lot (a trail of bodily fluid remained). He had apparently been trying to eat something on the asphalt (I have seen this behavior before but don't know what it could be other than ingesting worms, bugs or plants, etc.) I carried his limp body to the front yard, dug him a suitable grave near a holly bush and lowered his body gently. His cat companion companion watched awhile but finally left, whereupon I lay the earth over one of the sweetest cats I've ever known.
Yeah, I agree with you here.

I think the thing most related to that that I see people thinking is that send(2) & recv(2) calls translate 1:1 with packets send/recv. I.e., that they don't understand that the interface TCP exposes to applications is a byte stream. Which then results in things like thinking recv(2) will receive a complete "message" for some definition of message in the application protocol (i.e., the mistake belief that fragmentation won't happen).
Indeed, it is not the fault of bash but of the Unix command line in general. Made worse by the fact that different tools may have different conventions. Often, "--" will save you, but not always. And by the way, it took me years to become aware of "--", which is exactly the reason why I hate shell scripting: a non-obvious problem, with a non-obvious solution that doesn't always work.

One of GP arguments in favor of PowerShell is that most commands are builtin, so this problem can be solved by the shell itself, and furthermore, it is based on strongly typed objects, which should make it clear what is a file and what is a command line option. And I think he has a point. Regular command line parsing is a mess on Windows though.

In "real" programming languages, library APIs are usually favored over command lines, and they are usually designed in such a way that options and file arguments are distinct. You may still need to run commands at some point, but you are not reliant on them for every detail, which, in traditional shell scripting includes trivial things like "echo", "true", "false", "test", etc... Now usually builtin.

As for bash "doing something about it", it would greatly benefit from a linter. I know they exist, but I don't know if it is standard practice to use them.
This has basically nothing to do with the parent comment about Muslim "overlords" treating Indians badly. It's more about how superstitions and belief without applied logic can restrict avenues to worldly success
> a nice opportunity for Democrats to buy votes

That's exactly what political parties in a democracy should do.

You know who never says no to handouts from the government? Wealthy people. In fact, they don't just say no, they demand handouts. It's only when the government gives money to poor people that it suddenly becomes a moral hazard.

> debt forgiveness was a hot topic

... until a politicized Supreme Court killed it because it was giving money to poor people.
And, at least IMO, that doesn't really imbue faith.
> So, to evaluate the intelligence of an LLM based on its first “gut reaction” to a prompt is probably misguided.

There's no intelligence to evaluate. They're not intelligent. There's no logic or cogitation in them.
My point was that using induction instead of gas still leaves you with terrible indoor air pollution. The solution to that is ventilation, but any ventilation sufficient to eliminate the polution from the cooking food also addresses the combustion gasses (which are an order of magnitude hotter, less massive, and less numerous-- so easier to eliminate with ventilation).