skysight-inc/HackerNews huggingface dataset:
very cool. But like many other uses of LLM it can hallucinate and/or produce a wrong result. For example I tried:

"gorilla dry run of brew upgrade"

And got a response that didn't work.
Exactly this - seems like a simple problem to solve with CV.
So, you can use fixed-width data types in Dafny and verify properties about functions using them. For example, in our EVM implementation we have types like u8, u16, u256, etc. Of course, Dafny won't let operations on these types underflow or overflow, so it does mean more work ensuring your code doesn't allow this.
IIIIIiiii wasssss stiillllll riiiiiiiiiighttttt........
> but places really do not want writers submitting AI-written content, for example

And I want the power of flight, but it isn't going to happen!
Did you read the latest news or not? They regret asyncio! (and many other core modules).

They won't remove them… but they regret having made them.

I think without, people would have just not used python.
Why would it take hundreds of years instead of e.g 80?
Doesn't have to be famous. I gave ChatGPT lines 48-67 of drivers/hwmon/sht21.c [1] and asked it to complete the function. Prompt:

Complete the function for an sht21 driver [code omitted]

What it returned was the copyrighted function, comments and all:

static inline int sht21_rh_ticks_to_per_cent_mille(int ticks)
{
ticks &= ~0x0003; /* clear status bits /
/* Formula RH = -6 + 125 * SRH / 2^16 from data sheet 6.1,
* optimized for integer fixed point (3 digits) arithmetic
*/
return ((15625 * ticks) >> 13) - 6000;
}

Notice how it even included a comment referencing a specific datasheet!

This driver is hardly "famous" or even "notable", because those aren't things LLMs understand. The prompt simply contains enough context to be distinctive and the sht21.c is an old, stable driver in each of the many kernel trees included in its training set.

Regurgitation isn't a particularly rare thing with LLMs, most cases just aren't this obvious.

[1] https://github.com/torvalds/linux/blob/c6b0271053e7a5ae57511...
I wouldn't consider 1998 a peak. There was a local maxima in 1993, before the September that never ended. Then the rest of the 90's were exciting because of the rapid growth, but the actual state of things at the time was pretty messy. I'd personally put the next peak around 2007. Broadband was widespread but smartphones were not. Google existed but hadn't yet purchased DoubleClick. IE6, while not quite dead, no longer had a stranglehold on web development. Independent blogs and forums and RSS were still big, and hadn't yet consolidated with social media.
It's a wrapper around a headless chrome apparently, fyi. This will see some growth is my guess. I'm also working on something like that with 2markdown.com. A pity that you need a full blown browser to retrieve web content. Maybe these weird semantic web folks have been right all along ;)
Justice is often thwarted by death. Welcome to the human condition.
Quoting a prior comment of mine from a similar discussion in the past...

Stage 1: Status is manually set. There may be various metrics around what requires an update, and there may be one or more layers of approval needed.

Problems: Delayed or missed updates. Customers complain that you're not being honest about outages.

Stage 2: Status is automatically set based on the outcome of some monitoring check or functional test.

Problems: Any issue with the system that performs the "up or not?" source of truth test can result in a status change regardless of whether an actual problem exists. "Override automatic status updates" becomes one of the first steps performed during incident response, turning this into "status is manually set, but with extra steps". Customers complain that you're not being honest about outages and latency still sucks.

Stage 3: Status is automatically set based on a consensus of results from tests run from multiple points scattered across the public internet.

Problems: You now have a network of remote nodes to maintain yourself or pay someone else to maintain. The more reliable you want this monitoring to be, the more you need to spend. The cost justification discussions in an enterprise get harder as that cost rises. Meanwhile, many customers continue to say you're not being honest because they can't tell the difference between a local issue and an actual outage. Some customers might notice better alignment between the status page and their experience, but they're content, so they have little motivation to reach out and thank you for the honesty.

Eventually, the monitoring service gets axed because we can just manually update the status page after all.

Stage 4: Status is manually set. There may be various metrics around what requires an update, and there may be one or more layers of approval needed.

Not saying this is a great outcome, but it is an outcome that is understandable given the parameters of the situation.
Maybe MIT approaches post 2000 engineering with a solid foundation of analysis that creates both a beautiful creation process and reliable beautiful software artefacts. But what I observe is a never ending stream of partial doc reading, partially out of date, with random attempts until it looks it won't fail it left running for a few minutes.

Ability to deal / reflect with unknowns for engineering is of great value, but so far I've never seen that in office.
They've saved money, sure. They've also added toxic fat soluble molecules and heavy metals into the soil. What a win for the people!

This is the same city that made an ecological disaster by dumping thousands of tires into their ocean. So I'm not surprised.
I do on YouTube before videos from CBC News. I actually don't on Google search results, but the search data you generate in the process of connecting with news sites can be used for a multitude of profitable uses-cases, including selling targeted ads elsewhere on the internet.
Yes, I was overly broad and there are restrictions on saying/copying memorized material.
Nobody denies its their right, but that doesn't mean it's not a very stupid action, motivated by dumb nationalism. You can't handwave circumstances away, as if the legislators don't know it is a cashgrab against foreign corporations and genuinely believe Google and Facebook are Canadian companies.
I don't get the thing with automated PR and commit messages. They mostly describe _what_ was done and not why.

Also, if you enhance your available information with AI, why not just write no message at all (or a short one as always) and use the AI when _looking_ at the commits/PRs?
The AI will certainly be better at this in a later stage because they themselves will get better and they will have more context due to being able to look at the commits that followed the PR/commit.

There is no point in generating the commit message when committing.

When auto-generated messages will become a commodity, there will be issues with it. For example, if the message doesn't fit with the actual commit contents (semantically or syntactically), I have to think hard whether this is an AI-message-generator-bug, or the author missed something or wether I am missing something. This is not cool and makes reading commit messages harder.
"Talentless hacks" is a bit too far, but it's very true that over the past decade, software development has been flooded with people who don't care about software development: people who never touched a desktop computer until university, where they only went into CS because they knew a $150k starting salary at a cushy job was waiting on the other side.

Nothing wrong with them doing this, of course. And they're very smart people. But you really can tell the difference between "software developer who takes pride in their work and wants to build something great" versus "software developer who wants to pay their bills". It's the difference between the developer who responds to a packaging problem by learning their build and dependency management system inside out to understand what's going on, versus the developer who copies and pastes from SO/ChatGPT until it works for some reason and moves on with their life.

Granted, not all software development companies deserve the former. But a tightly focused startup with 50 developers from the former category can absolutely dominate the market, at least until they get acquired, as we've seen so many times before: e.g. WhatsApp, Instagram, OpenAI.
I needed to work hard to get a very high SAT score because I'm a dummy. But I did it.
On the free market side of things, that is reasonable. The danger I see is that not working people will outnumber working ones so much politicians will cater to them at the expense of the working population. Taken to extremes, this could lead to such extreme wealth transfer that nobody working can afford a family, the feedback loop goes positive, and the culture self terminates.
How are people who don’t pay for what they use customers? They cost YouTube money but if they’re not watching ads they’re not bringing in revenue and it’s highly unlikely that they’re bringing enough promotional value to defray that.

I could see some push for ethical ads or security but at some point you need to pay for what you like, either by subscribing to premium or watching ads.
> I hope this is a typo

Yeah, sorry --- that is a typo.
Postgres schema changes are still a PITA
Reddit and Apple News will have the law applied to them as well, since the law doesn't include a list of sites affected, just the criteria under which affected sites fall.
Please don't copy-paste comments on HN. It adds noise rather than signal, and makes it a real pain to merge duplicate threads.
It’s very sketchy that they use stderr and queries for training.

Don’t pass anything sensitive into this program!
Is there any shred of evidence that a large percentage of people are raised by explicitly racist people? That is just total fantasy on your part.
But what if the wind blows, and my laptop falls off a shelf and writes the source code for windows 95, but reindented, with some implementation details and variable names changed?

It’s pretty clear that the “neural networks are just a tool” ruling is going to have to be revisited eventually (and probably soon).
A unit file that wraps start-stop-daemon, has type=forking, and uses PID files.

If it weren't a silly one-off on Hacker News, and if I hadn't already pointed out this foolishness years ago with exactly this service, it would be a prime candidate for the systemd House of Horror.

* https://unix.stackexchange.com/a/504374/5132

* https://jdebp.uk/FGA/systemd-house-of-horror/

openrc-run is itself merely a shell script, by the way.
Changed from https://twitter.com/Reuters/status/1674309239974576128. Thanks.
Wayland is pretty good
Goboundcheck – Go linter validating slice/array bounds
This is a linter I wrote for Go that ensures all slice and array bound accesses are validated. Right now, it ensures that all accesses are enclosed within an if-statement that calls cap or len.

Any and all contributions and feature requests are welcome.
Comments moved to https://news.ycombinator.com/item?id=36519942.
Personally I think knowledge workers should be valued for... well.... knowledge. Turns out it was in the name all along.

The person who understands and can solve your problems effectively is more valuable than a clueless person who cannot. It doesn't matter how many hours they spend in the office. What matters is technical knowledge on the sometimes confusing topics that arise at work.
I’m curious what your workflow is like switching between copilot and gpt-4. I typically have an open window for each, though this can feel more cumbersome than necessary at times.
People ~~do~~ abuse drugs to escape seemingly-insurmountable problem(s) in their life.

"The opposite of addiction is connection" ——Gabriel Maté

I have been "clean" from a past life for 14 years. Every day is a challenge.
Google is just being dishonest here. They are not "simply linking" but also showing important parts of the news on their own properties.

News content is interesting in a way that it is time bound in some sense. If we are not actively searching for a news topic, a concise blurb is good enough to keep us informed and updated. For these short evolving updates, social media posts can also do the same but a news organization (is expected and typically do) will research, confirm and vet the source before publishing and have certain trust among public.

When Google show links and a snippet of the content in real time, it is effectively acting as a combined alternate interface for the news sites.

I doubt Meta or Google will be too happy if there's a popular product that aggregates a stream of interesting snippets & images from its user's public social media posts in real-time especially if they are losing money because of it.

At the same time, Google as a search engine should be able to link to news sites and present those links if someone is actively researching a topic. But we know Google stopped being a proper search engine for a long time now.
Okay, that’s an argument from consequences, but is the view factually wrong?
I think the idea that anyone "deserves" to what they get is misguided at best. None of us got to where we are on our own, so I think all that we can really judge ourselves on is how we use the opportunities that we are given.

For me the most hurtful revelation from the Harvard case was their use of "personality scores" which were systematically lower for Asian applicants[1]. I don't mind that students from other backgrounds might be given a leg up in admissions. What I do mind is the implication it is because who I am is somehow less than - less interesting, less personable, less "deserving" - rather than merely a mechanism to create diversity. The latter is an attempt to rectify historical injustices, while the former an attempt to fuck up someone's sense of self worth.

[1] https://www.nytimes.com/2018/06/15/us/harvard-asian-enrollme...

Harvard consistently rated Asian-American applicants lower than others on traits like “positive personality,” likability, courage, kindness and being “widely respected,” according to an analysis of more than 160,000 student records filed Friday by a group representing Asian-American students in a lawsuit against the university.
The grass was always greener in the past / Cualquier Tiempo pasado fue mejor.

Pure creative programming work have always been a small subset of programming in general. Were COBOL programmers creative? Data Base programmers? IBM programmers? Those were the majority of software jobs in the past.

I have been mostly a pure C,Verilog, VHDL, analog digital electronics -low level engineer for a long time before becoming entrepreneur and using much higher level languages in our company. Was it creative? A lot. I interacted with machines like robots that did things like moving 20 tons or lasers or robots or whatever.

Was is painful, tedious and boring?. It was, also.

You need to make it rain using active work of whatever is necessary for your job. The fact that something is not "sexy" is a great advantage for a job as it removes most of the competition. Being hard scares most people.

The best advice I could give young people is to find hard problems and to find the techniques and tools that could make those problems easier. We use psychology and things like lisp as secret weapons.

Thinking in the 35 people that created Facebook is extremely misleading, because fb got extremely lucky, and they were hundreds of thousand of programmers working in other companies. The monetary success of fb has a lot more to do with free money created by central banks than anything the founders created as their technology was easy to replicate but its financing was not.

There are intense opportunities today like they were in the past. But they are hard, like it was hard in the past.
Good thing that you don't have to rely on school and start putting effort yourself

Skew the odds
The issue isn't companies doing it as much as it is state-enforced regulatory capture that prefers specific companies over others.
The term "creative" has always bothered me as it seems to usually be applied to roles that don't actually create anything other than pretty pictures/designs/words. I guess it makes sense from the aspect of "creativity" but it seems like those who glom onto the appellation of "creative" almost always rely on someone else to do the heavy lifting of building (the actual creation of a product) and bringing anything to market.
Population wise there are more slaves today than 100 years ago, so the world has not quite moved on.
An important nuance from the majority opinion:

> At the same time, as all parties agree, nothing in this opinion should be construed as prohibiting universities from considering an applicant’s discussion of how race affected his or her life, be it through discrimination, inspiration, or otherwise. See, e.g., 4 App. in No. 21–707, at 1725–1726, 1741; Tr. of Oral Arg. in No. 20–1199, at 10. But, despite the dissent’s assertion to the contrary, universities may not simply establish through application essays or other means the regime we hold unlawful today. (A dissenting opinion is generally not the best source of legal advice on how to comply with the majority opinion.) “[W]hat cannot be done directly cannot be done indirectly. The Constitution deals with substance, not shadows,” and the prohibition against racial discrimination is “levelled at the thing, not the name.” Cummings v. Missouri, 4 Wall. 277, 325 (1867). A benefit to a student who overcame racial discrimination, for example, must be tied to that student’s courage and determination. Or a benefit to a student whose heritage or culture motivated him or her to assume a leadership role or attain a particular goal must be tied to that student’s unique ability to contribute to the university. In other words, the student must be treated based on his or her experiences as an individual—not on the basis of race.
Tech hiring is completely frozen. 2 years ago I had ~80% response rate, now it's 1%
Agreed; this is somewhat useful for beginners but incredibly silly for professionals.
I don't know about heavy but CBC is definitely left-leaning. I feel like that should be curbed with some watchdog for media impartiality (not sure how it could be implemented?) instead of doing away with it entirely. The reality is (at least in Quebec), we don't have much to replace it.

This is also a new development in journalism at CBC, older journalists tend to value reporting over opinion pieces, whereas younger journalists feel like it's their "duty" to push their opinion onto the readership which is an extremely toxic ideology.
> Both Universities involved in this case do, so are subject to the Constitution of the United States.

No, accepting federal funds doesn’t make them government actors, nor does it subject them, particularly, to the Constitutional provision here (which binds neither private parties nor the federal government, but only the states.)

They are bound by Title VI of the Civil Rights Act of 1964, though, and the Court has a history of interpreting the language of that statute through the lens of its 14th Amendment jurisprudence regarding similar language, which it followed (while altering the guiding jurisprudence) in this case.
I drink because I'm boring sober, I don't drink cause I'm an ass when I do.
That's not a good analogy because news sites don't sell their articles to Google, they get paid when users visit their sites. Google is promoting their websites and actively directing users to them, for free. Do I need to pay NYT when I recommend an article to my friends?
The remedy would be to have a rapid replacement of all your belongings.
Making someone else do a simple google search, because you simply want to reply "nuh uh" is uncharitable.

https://cew.georgetown.edu/cew-reports/selectivebias/

https://www.city-journal.org/article/college-admissions-bias...

As I understand it, there was some evidence: Asians applications were being suppressed, due to volume to maintain...a more diverse student body (or maybe just every elite school was racist?).
https://www.forbes.com/sites/christopherrim/2023/02/27/what-...
As a patient this was also my experience.
It IS scare journalism to remind people of this. We use fear, uncertainty, and doubt to sell people magazines and Solar panels. It's part of why we spend $800 billion on military spending in the US. It's part of why these weapons exist in the first place.

No thank you!
Multiplexing isn't a golden bullet. You still hit limits.

The initial TCP window is usually around 4KB so you have the handshake SYN RT (+ another two for TLS) followed by at most 4KB of request data. Cookies, auth headers etc. can make that a relatively low number of requests before you need to wait for the next RT. You also have the TCP window on the responses and again headers for large numbers of requests eat into that.

And then as you say dependencies - load the HTML to load the CSS and JS to Auth the user to make the API calls (sometimes with their own dependency chains)...
is it https://www.termsfeed.com/blog/cpra-cookies/ related?
Finally somebody who gets it.

The poor black urbanite and poor white trumpist are arch enemies but should be close allies.

The world is governed by international capitalist classism. It gives no shit about race or gender. It just cares about having lots of disposables that have few options. There being more disposables in a particular race is a historical artifact, not a goal in itself.

Likewise, you could diversify the captains of industry but the system remains exactly the same. Because it isn't governed by race.
Ah, I wonder if any other people have made similar for private use...
No, they are the weights that are used to configure a neural network. They’re a map of how to build a useful brain, not a neural state.
there's also no mention of this at all on reddit.
I think LLM can help here in various ways. For example, by inferring preconditions/postconditions and loop invariants automatically. Also, perhaps, by writing lemmas as required automatically. I'd guess there has been some work on this already, but not sure.
> The part you’re leaving out is that, as a direct consequence of this practice, the South was a backwards and impoverished part of the country for that entire period.

The part that you're leaving out is that they were backwards and impoverished BY CHOICE. They could have automated just as much as the North did. They chose not to, because it was politically advantageous for land owners to keep their slave populations, which effectively also kept wages low for non-land owning white folk.
http://ss64.com

the way the comment is (initially) written, it doesn't make a hyperlink for people to click on. if you're trying to drive people to the site, might want to give them that.
Code Suggestions Revolutionize Developer Productivity and Code Quality
Another original, factory-sealed iPhone is up for auction
CISA Issues New Industrial Control Systems Advisories
To be fair, a significant number of Australian legislators are practically owned by a particular AU/US media firm, so it's no great surprise that they can be duped/ordered into trying this.
https://en.wikipedia.org/wiki/Sistine_Chapel_ceiling being a notable example.
This exactly. I tried buying from other online retailers recently to support other businesses directly, and their websites are replete with what I would consider dark patterns. Things like listing 2-day shipping and then burying the fact that you'll get the item 2 days from when it ships but it will take them a month to process it. Seriously, this is a thing.

At least with Amazon I know I'm actually getting it in 2 days or they'll give me a refund (and often times still give me the product too).
If some groups were so oppressed that they now put a cost on the rest of society via crime and welfare costs, fixing that will be a long term net benefit for other groups, not an expense. We can discuss the most effective way to fix it, but pretending the problem doesn't exist won't make it go away.