skysight-inc/HackerNews huggingface dataset:
This is absolutely true, but having spent a lot of time The Java ecosystem and then much time outside of it, I now think this is a bit of a curse. It has made the average Java developer actually structure their code and build practices around the IDE, rather than the other way around. If it wasn't for modern CI practices which force a headless build, I wouldn't be surprised if most Java projects wouldn't even build without the IDE to do the building for them. In several places I worked, Even That wasn't really usable outside of the CI environment because it was just taped together as an afterthought and bare minimum since all the developers just used IntelliJ to build locally anyway.

Even little things like variable naming, explicit types, and the like were commonly neglected because in the IDE you could just hover your mouse over the variable to see its type. Because that exists and is so commonly used, developers didn't even think about The impact it might have on someone not using the same IDE. This is just one of several practices that I continually ran into when trying to use vim. There are also plenty of readability issues, such as enormously long methods that the IDE collapses for most developers so they never see it and don't have to think about it, but once you aren't using that IDE anymore, you really see all the nastiness and warts.

So long story short, I agree with you about the tooling, but I think it is actually more of a curse than most people realize.
So, this is a problem with using good editors. I don't know if VSCode or any similar editors have the way to select current block / current function, but in Emacs (and mostly likely Vi(m)) world this is just part of knowing the ropes. So, giving extra emphasis to the end of the function (or block) is completely unnecessary, it just reduces entropy.

Other problems with this: one of the ways to navigate the code is by searching for the function (procedure) name. Now you have double the number of matches.

Also, when I find code with comments that add labels like "end of xxx", I automatically delete all of these. It doesn't help me at all, and only makes searches in the code more difficult. Even the bad editors like VSCode probably have the functionality to jump to matching delimiter, which would easily reveal the name of the block you are working with.

And your company guidelines... oh, it should be fun when someone renames a namespace, but forgets to update the comments. At least, in Ada it's guaranteed that the end and the beginning will match. Also, sometimes I prefer not to invoke any kind of automatic refactoring, but rather rename a function and see what other code breaks, to quickly find dependencies. It's really annoying that this renaming must happen twice.
Show HN: Msgscript Run Lua functions based on messages from NATS
Who says they need to monetize it? Is that the only value we ascribe to traffic, now?
I think people will like the following tangent.

https://en.m.wikipedia.org/wiki/Benacerraf%27s_identificatio...

In the philosophy of mathematics, Benacerraf's identification problem is a philosophical argument developed by Paul Benacerraf against set-theoretic Platonism and published in 1965 in an article entitled "What Numbers Could Not Be". Historically, the work became a significant catalyst in motivating the development of mathematical structuralism.

The identification problem argues that there exists a fundamental problem in reducing natural numbers to pure sets. Since there exists an infinite number of ways of identifying the natural numbers with pure sets, no particular set-theoretic method can be determined as the "true" reduction.

What Numbers Could Not Be

https://youtu.be/H5SocLNkT9M?si=Fk2Hmpw3yOtDW7GS
renters already paying as much as they can be squeezed to pay. Raising prop taxes will push inventory to the market which will become primary residency.
You dare regulate businness class? Let alone criminalize enhancing shareholder value?
You mean like the $ million given for the Netflix Prize ?

https://m.slashdot.org/story/122585
Verbosity was genuinely expensive at the time. Two ways: until the mid-80s, 5 1/4" floppies held between 100 and 250kB depending on format, so a program which used up three times as many bytes (I think that's a good multiplier from C to Ada) is making a meaningful difference for transfer, backups, storage.

What's probably more important is that 80 columns was far and away the likely maximum for a screen, and 40 columns wasn't unheard of. The word PROCEDURE took up 11 to 22% of the column width! This wasn't a show-stopper, Pascal uses a similar syntax (both of them derived from Algol of course) and was pretty popular, but plenty of people complained about Pascal's verbosity as well, and Ada is definitely more verbose than even Pascal.

The lack of autocomplete (even things like snippets were relatively uncommon) didn't help, but mainly, verbosity imposed real costs which are mitigated or irrelevant now.
It doesn't matter anymore. There won't be monetary reward, citation, personal brand building, or anything. Google just rips off the information, presents it as fact, and a visitor will never visit an author's original website again.

Websites are training data and will become an anachronism.
This is my first go project, I wrote it in a few days and I am in love with the language. I can't believe how easy it was to pull in a dependencies. I wrote a CLI tool similar to htop or nvidia-smi but more colourful. I work mostly on a ml projects so having something that incorporates everything into a single CLI app made sense.
> You can easily be undercut. If you're successful selling FOSS, it's because you've made it really easy for your customers, been really helpful to them, or because they want to pay you because they like you, probably because they know you're putting work in.

What you are mincing words about here is the fact that no, you are not selling software, you are receiving voluntary donations.

It's the same rhetoric as always "Um akshually you can sell Free Software" when what is meant is "You can put it up for sale".

I am not obliged to humour it, so I will not.

> supplying corporations with free labor in return for nothing.

As opposed to FOSS, which is currently ... Coping and Seething in this thread about receiving nothing in return.

It ain't a ploy. We just don't care if corporations use it.

> The problem is trying to benefit from the concept without actually believing in it, and failing. The point of Free Software is that people have access to the software that runs the machines that their lives depend on. The point of Open Source is to supply free labor to others in order to hopefully get attention, praise, or simply personal satisfaction.

The word for that is "cult".
Thank you for addressing the Electron discussion thoroughly on Github. I am always very disappointed to see an application I am interested in using Electron. It is often enough of an issue for me to immediately write it off as something I will never use. I hope to see more Tauri instead, but you also addressed some minor issues about that option.

I'll have to play around with this application.
If they provided what you're asking for you'd leave the site and look at fewer ads.
A lot of modern AA missiles don't use any traditional shrapnel at all. They use what's called a continuous rod warhead. It's a bunch of steel rods arranged as a cylinder with alternating ends welded to each other on each side effectively making it one long rod. The explosive charge is placed in the middle and when it goes off the rod expands into one big rod in a circle which then cuts the aircraft in half.
The example he shows here has the answer to his question highlighted in the AI overview, and in huge text in the InfoBox. He got his answer instantly without having to go to another page.

Really wish such bold claims had better evidence.
This is getting way off topic, but Biden is a centrist. The idea that he’s a lefty socialist is a political cudgel the right wing has swung at every Democratic prez candidate since 1988; it’s getting more traction in recent years as the media has been increasingly purchased by right wing billionaires. They called Obama a socialist even as he was praising Reagan and helping out the bankers who caused the 2008 economic meltdown.

Everything I’m saying here is a documented. Biden has been in public service since 1973; look up his Senate voting record. Look up the ownership and political stances thereof for any given traditional media outlet; newspapers, websites, etc.

“Biden is a lefty” is a false, lazy canard.
Land Value Tax would solve it
You're definitely a contrarian.

Google search is awfully bad these days.
> we have already learned to accept bullshit from LLMs as a fact of life, whereas on the top of Google results it feels like an outrage.

Sort of. Top results for any kind of question that applies to general population - health, lifestyle, etc. - are usually complete bullshit too. It's all pre-AI slop known as content marketing.
They still have Mach 5 rockets that the US cannot defend against.
Places with a higher vacancy rate are correlated with lower rents and less homelessness e.g. Indiana and Texas have a higher rental vacancy rate than California and New York (https://fred.stlouisfed.org/graph/?g=1CuFs) so whatever causes a higher vacancy rate seems to be good for affordability (not sure what you mean by “efficient”).
Elon Musk pens German newspaper opinion piece supporting far-right AfD party
If bookkeepers and able to collect an “unfair” price, then why are there no publicly listed bookkeeping businesses putting up large profit margins?
Also not to be confused by another Tae Kim, who is the VP of Omniverse Engineering at NVIDIA.

https://www.linkedin.com/in/taeyongkim
Have you looked into Kagi? I'm very happy with it.
"Putin apologises over plane crash, without saying Russia at fault"
https://www.bbc.co.uk/news/articles/cqx8l1533j5o
>> Places like West Virginia have way less homelessness than places with high housing costs like the west coast.

COLD towns without major homeless shelter capabilities always have lower rates of homelessness b/c the cold weather is literally life threatening.

Warm(er) regions, like most of the West Coast that isn't known for blizzards, have higher rates of homelessness b/c there is little risk of death if a homeless person camps out in the woods. Note that a lot of homeless folks in warmer regions didn't become homeless in those warm regions - they often become homeless in northern regions and migrate to warm regions prior to winter.

Comparing homelessness in WV to Cali doesn't seem fair since so much of the folks that become homeless in WV are forced to leave the state to survive.
some politician can make it as part of platform, and win +20% of votes for example.
The missle that struck MH17 detonated just above the cockpit
Labor is expensive. Maybe they can’t front the money to renovate them so people could live there.

Interest rates are high. Maybe no one is willing to buy and renovate those lots because the cost of acquiring enough capital to do so is prohibitive.

There can be lots of reasons why houses sit vacant. I don’t think we should assume ill intent.
It will make life hell for anyone who can’t afford to buy their own house yet. It will also make labor markets less fluid because they are now stuck to their house and can’t take much advantage of flexibility. We might as well implement a Chinese style hukou system while we are at it.
With automated hiring spam and our industry's tenuous grasp of basic integrity with actual HN posts proudly boasting of their apps to help you cheat during interviews using LLMs, several of my friends who assist in hiring at their companies have already returned to "on site" interviews to cut down on the proverbial chaff.

The kicker? These are 100% remote jobs - the interviews are being performed at shared workspaces. That's the world we live in now.
It's worth an honest attempt. For me, a part of my issue was the type of coffee I drank: more fruity coffee gave me bad silent GERD (causing random gag-reflex). I switched to French roast and had less problems, to the point I didn't need PPIs.
We gave up on Netflix last year. The price kept going up and the value going down.
Maybe it is time for decompilation effort?
If those are the stronger examples, then you should have went with them. It’s more inline with the HN guidelines than taking the weaker interpretation.

I think you missed my point. Because software is more opaque, it has a much higher threshold before the public feels comfortable with it. My claim is it will have to be an outstanding driver, not just an “alright” one before autonomous driving is given the reins en masse. In addition, I don’t think we know much about the true distribution of risk, so claims about the long-tail are undefined and somewhat meaningless. We don’t have a codified “edge” that defines what you call edge cases. Both software and people are imperfect. Given the opaqueness of software, I still maintain people are more comfortable with human drivers due to the evolved theory of mind. Do you think more people would prefer their non-seatbelted toddler to be in a an average autonomous vehicle by themselves or with a human driver give the current state of the art?

But more to my point, humans are also irrational so statistical arguments don’t translate well to policy. Just look at how many people (and professionals) trade unleveraged stocks when an index fund is a better statistical bet. Your point hinges on humans being modeled as rational actors and my point is that is a bad assumption. It’s a sociological problem as much as an engineering one.
At the very least it's useful to use the tools that your coworkers are using. If you're helping a new grad out you do _not_ want to recommend that they use emacs over VS Code. And, when they have questions about VS Code, it's useful if you can answer them.

Maybe you don't have to use VS Code full-time, but having a knowledge of it is useful.

Personally, I started using VS Code because support for frontend is much better there than in JetBrains IDEs and it has great remote editing capabilities. I would prefer to use JetBrains IDEs (I did for many years, and I still go back for Java), but VS Code is just better. I would never use Vim for editing full-time, though I do use lunarvim when I need to quickly edit a remote file.
I vote vocal.
The article is useful and the author specifically goes into the case of why drugs are not the reason.
> immigrants/asylum seekers tend to be at bottom of economic scale which means any taxes they pay are extremely likely not to cover their share of cost.

I understand that people are worried about this – and it's certainly an intuitive idea –, but is it true? I would count taxes on the total economic output / labour, not just the taxes from what is captured as salary (after all, underpaid workers make the world go 'round), but any analysis would do.
I presume the rationale for Costco's DEI hiring is to attract diverse customers. Invisibly diverse staff does not help attract diverse customers.
Author here. Wasn't expecting to see this on the front page!

I'm really very far from a mathematician and this was a write up of a fun side project. I think the title would be unforgivably misleading in a formal context (if this was a paper claiming any new insights) but really it was a fun side project I wanted to right about. Maybe you read this and learned a little bit about set theory if you had no idea what it was (much like myself).

In general I resent popular science (especially in theoretical physics) which tries to reduce deep and interesting topics to poorly thought out analogies - but again my positioning here is not to educate per se. Or Michio Kaku style orating which assumes string theory a priori and later you have conversations with people who think string theory is established and tested because they watched a 40 minute video of him on YT.

Having said all this I need to get better and giving titles to the things I write - my other post about trying to build AGI in Rust got similar criticism.

Either way thanks for the feedback!
It is a housing problem though. That is what the data show. That's why homelessness correlates so much with high housing costs. That's why places with serious drug problems like Ohio or West Virginia don't have such high rates of homelessness.

None of which is to say that drugs are not a problem, or to say that someone with a drug problem isn't more likely to become homeless.

All of that is explained in the article which you responded to without reading it, judging by the timestamp on your comment. Let alone the video, which goes into more depth and talks extensively about drugs.
It invents citations too, constantly. You could look up the things it cites, although at that point, what are you actually gaining?

And I’m not saying this makes them useless: I pay for Claude and am a reasonably happy customer, despite the occasional bullshit. But none of that is relevant to my point that the bots get held to a different standard than Google search and I don’t see an easy way for Google to deal with that.
It's not that either. If the journal couldn't make sure it had the right to publish, it wouldn't publish. Whether or not one of the coauthors is formally listed as coauthor doesn't affect the disposition of the copyright.

It's a question of compliance with the journal's formal publication process.
>In a world where any Tom, Dick and Harry can run up massive losses and still IPO through an SPAC, how is that an indicator of anything good?

Anyone can IPO, but few earn money doing it. In the last 10 years, how many owners made any significant money IPO-ing through an SPAC? The market has mostly rewarded good businesses with cash flow and profits and growth, and others have lagged behind a relatively risk-less SP500 investment.

This very thread is an example of yet another business shutting down because the business couldn’t achieve the desired profit margins. If the owners could have IPO’d and made money, they would have.
Getting an answer to a question is a superset - the answer can be a page.

Sometimes the answer we want is a specific page containing some term, but for most people, most of the time, I'd argue that getting a narrower piece of information is more likely to be valuable and helpful.
We don't even have to copy Singapore. Just let people build buildings on land that they own.
> "anglo cultures" already had quite a lead before WW2, hard to miss that the previous superpower was the British Empire.

I think you're trying too hard to muddy the waters by creating a definition for "anglo" that does not match reality or any use of the term.

https://en.wikipedia.org/wiki/Anglo-Americans

Even within "European Americans", nearly half has an ethnic origin that is classified as German, not English.

Another important aspect is immigration and naturalization. The bulk of high-skilled R&D specialists who turned the US into the technological powerhouse that it is aren't exactly Mayflower descendants. It's immigrants and first- and second-generation. So it's very hard to argue about "Anglo" thins with the extreme reliance on immigration and descendent of immigrants to play the roles that made all this progress possible.
Global Privacy Control "SEC-GPC: 1" HTTP Header
You're certain that issues affecting the geographic majority of the country, that are demonstrably the effects of bullshit trade policies and overconsolidation, are resolvable by building houses in high cost markets? Neat take.
Singapore also has "draconian" laws, so it may not be as easy to replicate.
I don't think people understand how bad it is and far the effects of bad housing policy reach. I live in Western Massachusetts, about 2 hours from Boston. Boston's terrible housing policy has driven up housing prices here because literally 99% of people can't afford a house in Boston so they start moving outside the city. The suburbs were full decades ago so they're crazy expensive. With the rise of remote work people are moving 2-3 hours outside of Boston because they may have to go in once a quarter but otherwise don't have to day to day. So we have a situation where decades of bad housing policy to protect property values are literally raising the prices of houses hundreds of miles away. At this point, I couldn't even afford my own house with the rise in interest rates and prices, and I only bought mine in 2018. The phrase "the country eating its young" is such a perfect way to describe this, and many other problems with America right now.
Which urban area?
In my area (Seattle), almost none of the visible homeless are illegal immigrants. Granted, these are mostly drug addicts (otherwise you wouldn’t notice them!), but I get the feeling that they have living arrangements somehow given that they are here to make money and not do drugs (it has to pay off for them, and I can’t see that happening if they live in the streets). It might not be very great housing though (think 4 men sharing a room).

The “illegal immigrants” are homeless thing feels like a meme to me, but I live far from the southern border so maybe it’s worse down there?
I admit I find the long complicated series (yes, often SF or fantasy) a bit exhausting, have a definite limit, and I try to avoid interleaving too much.
Aren’t those citations sometimes entirely made up? Like the lawyers who used it for a case and it cited ones that never happened?
"18 year old goes into space to build a secret space station." fails to find Lester del Rey's "Step to the Stars".

The options were:

* Skyward - Brandon Sanderson

* Ender's Game - Orson Scott Card

* Learning the World - Ken MacLeod

* Defy The Stars - Claudia Grey

Neither adding "1950s" nor removing "secret" helped.
This was actually pioneered by Bruce Willis. He would get paid a lot to show up in a couple of introductory scenes for really low budget films. They'd put his face on the movie poster, they'd pay him like half the budget of the film, then he'd move on to the next one.

(Unfortunately, it turns out he was struggling with dementia and it seems he was trying to cash out before he couldn't act at all)
There are really two distinct homelessness problems:

1. The “temporarily unhoused”. These are people who have fallen on hard times and need temporary assistance to get back on their feet. These people live out of their cars and are largely invisible.

2. The chronically homeless. These are drug users who infest public spaces and are highly visible and disruptive.

When laypeople talk about “homelessness”, they typically mean 2 as it’s more visible and disruptive to them.
Vienna has great public housing and is probably closer to the US culturally in some ways.
This topic reminds me of the old interview Bernie Sanders gave nearly a decade ago.

https://www.youtube.com/watch?v=vf-k6qOfXz0

I hope citizens wake up, business interests are not always aligned with your (citizen) economic interest.
It doesn't matter if it's legal or illegal immigration, there are economic realities that we should talk about - stop focusing on the color of someones skin.
Given how Vivek and Elon kicked the hornets nest about this, I wonder if there will be blow-back at Yahoo. A lot of people don't realize that Yahoo basically only survives today off the back of H1b labor.
11 million crossing doesn't mean 11 million people (multiple crossing attempts) and it doesn't those people are still in the US. Unfortunately there's a lot of FUD about immigrants and immigration. Most estimates don't go above 12 million unauthorized immigrants *TOTAL* a large percentage who have been here a long time. And that this is probably slightly below a peak unauthorized immigrant population around 2008.

* Since some people tend to often claim people who are here legally are "illegals" it's important to note that asylum seekers are here legally as are those granted TPS.