skysight-inc/HackerNews huggingface dataset:
I'm using chatgpt daily, but cannot imagine it doing any real software development work for multiple reasons.

It's great as a non offensive stack overflow replacement, but just look at aider benchmarks (amazing work by the way): most capable models really struggle to make basic changes to a real code base.

Does anybody actually using it in practice believes the hype? I thought the hype is just another theatre for investors

EDIT: just some points taken from: https://aider.chat/docs/leaderboards/#code-editing-leaderboa...

- The metric "Percent completed correctly" maxes out at 72.9% with gpt4o, while at the same time, giving out correctly formatted output only 96.2% of the time.

- Benchmark suite is based on https://github.com/exercism/python, which very likely is a part of the training material already! In real code bases, no LLM would have the advantage of seeing new or proprietary code
As they say, a fool and his money are soon parted, and there are many that would like to facilitate this process...
The thing with AI though is that it is being trained to use tools, not to be a tool.
Tuxedo Developing a Snapdragon X Elite Linux Laptop
From the getting started section:

> Terminals are part of the MacOS since it is Linux-based.

This is not true. MacOS is based on Unix.
Recommended: Miracle Mile
> it is equally hard to tell which 'hard' tasks will remain hard and which will become trivial in a few years time.

The comic was published in 2014. That is 10 years ago as I'm writing this. Maybe it is just that Ponytail got the research team and the five years she asked for. :)
> so only me, and the fine folks at archive.today, and of course everyone on HN

+ the rest of the ~20 organizations/domains being called from that page: https://i.imgur.com/CYSDJp0.png
Thanks for the feedback. Would you recommend either Dresden or Leipzig?
instead, invest in our AH (Artificial Horse), which requires ingesting the behaviors of 100,000,000,000 real horses to approximate how they function! Ignore the mutant hooves and walking backwards, we can fix this if we just 10x the horse ingestion every year. It approximates a horse better every time!
Yes, but the likelihood of it having similar capabilities to a human just seems really low. If AI develops “cognitive” capabilities, it won’t do so in any sort of human like way, not will it reach equilibrium at “mediocre human” levels of performance. It will rapidly evolve into something we can barely recognize because it’s not constrained by evolutionary boundaries in the same way we are.
> Flagged

If we had to flag submissions for occasional faults...

For that matter, signs of grave intellectual deficiency are at the beginning already, at

> shooting ... debris up to 20 miles (32.1 kilometers) in the air

Where you are told that volcanic debris has 100 meters precision, starting from a figure that has 16 kilometers fault of precision (use of "precision" here imprecise). These people should not be allowed to leave the house, they fail verification of intellectual competence at the basics (use of "verification" here imprecise). Yet... Yet sometimes their effort does not lead to complete disaster. Be very wary as they are wearing flashing warning lights, but do not throw away the good if it miraculously is there.

--

Edit: and it contains a chunk, «In episodes of the TV series “Doctor Who” and “Loki”». By coincidence, the next the eyes met came to be the shout of TheConversation: «Academic rigour, journalistic flair». What do we do, we throw away all of it? Probably not. It is a very imperfect world.
I don't know, but given that AWS has 1000s if note millions of servers that may have idle cycles, it makes sense to use them for automatic theorem proving. And there is no existing ITP or even SMT solver that was specifically designed for efficient use of so much parallelism.

AWS certainly hired a lot of senior STM and ITP guys, such as John Harrison.
I don't have the bandwidth to continue most of this discussion, so I'll leave it to others, but just a couple quick notes because I feel these are moving goalposts:

> I don't think using DRM makes a company evil

I don't either, but this is neither pure DRM, nor was "evil" the bar to begin with. There's a lot of room in the middle for both. DRM technologies have existed that didn't prevent you from owning or transferring your own copy.

> I know HN skews wanting to "own" games, but that's just not a big deal to most gamers.

HN also "skews" toward caring about privacy, but billions of people use (say) Google and Microsoft etc. without minding what they do. If your bar is "it's not a big deal to most users" then wouldn't tons of companies easily pass it easily, especially the giants? They didn't become giants by being boycotted...
Because assembler used to be common, and isn't anymore, and because M68k assembler was nice to write, and because the Amiga and Atari were big once.

I abandoned assembler when I switched to Linux and got my first PC because x86 assembler was so awful I couldn't bear working with it.

AT&T syntax made it slightly less atrocious through familiarity, but only slightly.
oops, yeah, but still, same question
The U.S. Economy Reaches Superstar Status
It can be really hard to even get diagnosed with dysautonomia, and absolutely it's hard to treat. A total zoo of seemingly unrelated symptoms made all the more difficult with things like brain fog and psychological impairments.

Interesting, pirenzepine is a antimuscarinic agent (M1 selective antagonist). Neatly in the class of psychopharmacological drugs.

I predominately use Amitriptyline and Modafinil as well as Low Dose Naltrexone (LDN) and a very strict diet. Modafinil is a no-go for anyone with gut issues and I don't know the alternatives very well. Modafinil in the morning and Amitriptyline at night help push my autonomic system into the sympathetic and parasympathetic states respectively. I have a very complicated rational around choosing these meds which is not fully fleshed out yet, but they worked for me and work for some others in the long covid cohort. So for now it is good enough and what I'm sticking with. As I understand the science better I might consider switching up the meds and seeing what happens. I still get PEM and would love to be able to fix that.
The origin of syphilis is a contentious topic, see https://en.wikipedia.org/wiki/History_of_syphilis
I tend to agree with the caveat that we are experiencing exponentially diminishing marginal returns on investment (energy, FLOPS, currency). Yes it's going to get a lot better and smoother to work with. Agents will become secret and someday very soon no one will want to hype that they are using the tech. But we will need another revolution to get the kind of phase change we experienced with the introduction of LLMs. Imo the biggest thing that will lead to improvement now is open models that will get reused and remixed in creative ways.

edit: to be clear, I'm saying that we are running into scaling "walls" that make hard extrapolation based on increased investment senseless.
>There is an easy fix though: if your party doesn't get in, you should be able to just write your backup choice on the ballot. Then I can vote for my niche party and still be comfortable that my vote will go somewhere useful when they don't get in.

Sounds like https://en.wikipedia.org/wiki/Ranked_voting
Probably, if you were doing this on Linux, you'd follow someone's Linux tree, and not run Debian unstable with updates to everything.

You might end up building a lightweight distribution yourself; some simple init, enough bits and bobs for in place debugging, and the application and its monitoring tools.

Anyway, if you did come across a problem where userland and kernel changed and it wasn't clear where the breakage is, the process is simple. Test new kernel with old userland and old kernel with new userland, and see which part broke. Then bisect if you still can't tell by inspection.
Mine is not visible, and I did not opt-in.
.hn is a tld of Honduras.

Renewal and registration fees seems to be the same, so it's not bad.
This is such an amazing write up. Thank you so much for sharing ! Good luck to you.
So why are they even able to have the Massachusetts subsidiary? Is every vendor doing business with that corporation also violating sanctions?
Well I'm thinking as far ahead as the article author. You're right that there are many issues long before all this, but they would hand-wave those away.

What you can't handwave way is: in your utopia, why does everyone have more of an incentive to buy-into your system than to ignore it or destroy it?

This is the fundamental question of all national social institutions. A distributed database is so far away from answering the problem that it comes across, at best, as childlike.

No utopian projects can answer this question, and utopians in my experience, hate it: the communitists as much as the libertairian objectivists. They are all committed to a theory of sin in which we live in a fallen world because people do not behave the right way, and if we just programmed to them to behave that way, all our problems would be solved. Neither care to note how radically different their opponents programs are.

Ironically, of course, the utopian is the problem that they are trying to solve: a person with a Mission to divest from The Existing Social Order, and found a new one. The very existence of people with this mindset demonstrates that some people will prefer to destroy an order than to participate in it -- if they could. They are each trying to forment The Final Civil War.

Thankfully many, but not all, countries today have got out of this doom-loop.
> Like I said from the beginning there’s no objective right or wrong on whether employees should be working remotely or working in office.

I don't agree with this, but I'm also not willing to argue the point and pollute the thread with someone who has already made up their mind. My apologies in advance.
How to use AI to ensure a more human society
The problem is that there is little, incremental progress last 1 year or so after the big chatGPT boom to justify the hype, technically wise. Most of the "progress" going on is basically marketing, and making the models respond in ways humans like, or being more useful in certain practical applications. The basic, fundamental issues/limitations remain unanswered and unaddressed. As products, they have improved a lot and most probably are gonna improve more. But if we are talking for going towards AGI or more complex applications, I do not see evidence on that except as toys.
> Just because they [aren’t] fully developed doesn’t mean the argument they are presenting isn’t logical.

No, but it means that when kids present arguments that are illogical, they can’t understand that their arguments are illogical. What do you do when your kid is presenting illogical reasons to do or not do something?

> Saying that you can’t rely on them to understand their own shortcomings in their own logic is inconsistent with the idea of logical debate in the first place

You’re right it “is inconsistent with the idea of logical debate”—but that’s exactly my point. It’s simply a fact that kids cannot be relied on to understand the shortcomings in their own logic. The frontal cortex, which is responsible for decision making, is the last part of the brain to fully develop, and it doesn’t happen until the mid 20s. That’s why it doesn’t make sense to make decisions with kids based on “logical debate.”
“Human-level” means we can drop the bullshit qualifiers.

Human-level intelligence should adapt to many uses.

It may require teachers, but not prompt engineers.

The article author is very valid in the stance that this is far from intelligence.

Yes yes, you wouldn’t criticize a fish’s intelligence for not being able to climb a chessboard.

But these things are stupid as hell. They are not even close.
Do you even need to click play on a video, or is the act of loading the embed enough?
> toward things you do actually find personally fulfilling for their own sake. Sometimes in dramatic fashion.

Go on…
Going by this definition, isn't there only one?

Or is this more about counting the towns, cities and boroughs in the London metro area?
I love Fork. I only wish it ran on Linux.
I think that "killing physical media on PCs" is a bit of a misattribution here. Physical media is all but dead on consoles as well, and people mostly buy their games online. PC gamers are fortunate enough that at the exact right time, a company operated with a bit of moral character essentially created the killer app for digital distribution, and with its dominant position forced tons and tons of positive changes to the PC ecosystem. Without Valve there would be no proton/Linux support, granular regional pricing, unobtrusive DRM, game library sharing, steam workshop, the ability to mod accessibility into games through forced controller mapping, booting games directly into friend's lobbies through the friends list, and probably more I can't think of offhand.
0patch – Security Patches for Windows 7, 8, 10, Server 2008, Server 2012
I would say generating chapter thumbnail images for a non artistic publication is probably the best use case for AI.
That's sort of no brainer for those experienced with travelling on their own, not within some sort of luxury bubbles shielding you from local reality that all-inclusive and luxury hotels provide.

Using local people will simply give you much more intense and better integrated experience, plus it costs less, plus you are directly supporting hard working locals, which then trickle down to local economy.

I would never travel to some remote mountains or do some paragliding and join organized group of say UK or US guides if I can avoid it. Experiencing local people is often the best part of travel experience overall, chasing other's instagram pictures is... slightly idiotic and rather disappointing.
Have built multiple MVP-scale node web apps, python scripts and two native iOS apps with it, not having known the languages beforehand.

The only skill I brought to the table was app architecture.

It's not just hype.
> So you're saying that the sole concern in anticheat software is macroing?

Can you quote where I said that? I'm certain I said no such thing.

Are you really reducing any client side cheat to just macros? That's either disingenuous or willfully ignorant.

> Alright, do you need to control every peripheral connected to the computer as well?

Ideally, yeah. Look at Playstations for example. People can't play with cheats running on the same OS interfering with the game because they don't have control of the hardware. They can still cheat with peripherals though, as the situation with the Cronus Zen showed, and so yes, to stop cheating control of the peripherals is needed. With a recent real world example to corroborate.

> Maybe we gotta put a little spy chip in every copper wire sold in every country, just to be sure it's not connecting anything to anything else. You know, in case someone is trying to cheat

You're trying to dismiss what I'm saying with hyperbolic sarcasm, but it isn't working and isn't funny. iPhones, Apple Devices in general, Nintendo devices, plenty of Android devices, game consoles, none of these give the consumer control of the hardware. They don't need a keylogger and transmitter to stop cheating, they just need for the cheaters not to have control of the hardware. Like I've been saying.

There is a reason GTA5 on console has no cheats and on PC they are rampant, and it isn't because Rockstar are completely inept at preventing cheats serverside, it's because that isn't possible.

> "well lots of people who I consider to have enough authority that you should take their word for it also believe this, take my word for it" isn't particularly compelling.

My stance isn't based on faith but detailed understanding. You have yet to support your position with any evidence, and so far your point is refuted multiple times over by real world evidence. Occam certainly isn't on your side.

If you want to support your argument you're going to have to do better than trying to dismiss mine as just being the result of an appeal to authority fallacy. Do better, or admit you had no idea what you were talking about and were just speculating/guessing.
Lives up to its category of "multi page"!
> Then it ended up on Hacker News, the behemoth American syndicator

Hey, not all HN users are behemoth Americans.
This commenter is almost certainly a paid guerilla marketing shill for HP. The fact they have the top comment just takes the cake.
> Why do some people's problems get the validation of the medical system and others don't?

I'm going to give a pretty out-there answer for this: because they piss us off.

A problem is medicalized when the people who have that problem can no longer be ignored, either because the effects are so severe that their demands for treatment become loud on a societal level, or because the effects naturally bother other people.

We started treating HIV/AIDS only after years of the affected communities refusing to shut up about it.

We medicalize mental health issues because the people with them cause problems for the people without them. It is notable that many mental health conditions have names describing the experience of being around them rather than the experience of having them. Attention Deficit Hyperactivity Disorder feels like neither, but people around someone with ADHD get annoyed that they don't pay attention and move around a lot.

For another example, we still diagnose some children with "Oppositional Defiant Disorder".
Yeah, and now you know why Apple hasn't sourced NVIDIA stuff for years now, too.
Why not post the details here? I'd love to have a go at it
In the relativistic inertial frame of the thrown baseball, it'll not be accelerating, at first. But it will be accelerating at 9.81m/s² (along with the Earth's surface, and hopefully you) after it lands and is just sitting there. The inertial frame will have continued along its original geodesic into the ground, though (or rather, the frame is only instantaneously defined at the moment of the release, but the ball would have followed that path). If you can convince the ball to continue to not-accelerate indefinitely, NASA or Vought International may have a job for you.

In the Newtonian inertial frame of the "stationary" Earth, it accelerates downwards at 9.81m/s² until it hits the floor and comes to a stop and is no longer accelerating ("gravity", which is a thing here, and the normal force now summing to zero).

This is fairly academic for sporting goods, as if working with these two frames results in substantially different outcomes for you or your ball, your day is probably going badly, or at least fairly energetically, and baseball isn't your priority right now.
I've always found their resources particularly valuable when I really want to go deep on a subject in a way that video courses (my other preferred way to learn) don't seem to always do.

And I think they strike the right balance between academic theory and practice. For example, I'm currently going through their Cyber Security Base https://cybersecuritybase.mooc.fi/descriptions/ and it seems very thorough (i'm not a security or devsecops expert so happy to hear thoughts from those who are)
.hn is an expensive tld, and none of the 2-character repeating domains are available either.
> One of the most damaging lines in Monday’s report points out Canada’s failure to address long-standing challenges in how national security information can be used in criminal proceedings. The report says this is one reason why criminal charges for the potentially illegal activities are unlikely.

I think this section, of the unclarity of criminal proceedings is probably one of the factors preventing easy disclosure of names. Obviously, face saving/ass covering is also at play.

I do hope this information is disclosed one way or the other, and soon.
True, but that's also kind of the point - we have grown computers from adding number (calculator 1960s capability) to being able to beat humans at chess (1997) to beating humans at jeopardy (2013) to breaking the turing test (2020+), LLM's that can write code (and test it themselves!), and even creating art and music.

So IMO if we are saying that "there's no evidence that computers will have human level intelligence" we need to take a step back and define what that means - because if you were sitting in the 1960's and you defined it, a modern LLM may very well have already met that definition.
The problem is that these towers and metadata are hackable by China and Russia, and now you understand how dangerous it is to run Huawei and ZTE etc in your critical infra.
RFS: A Call for Software Handyman
I was so happy opening a Sun box and wondering what tools I'd need to do whatever job I was doing, and discovered a Sun-branded screwdriver mounted inside the case.

It made it clear that someone had really cared about the user it when it was designed.
> The reality is that the real definition of a robot is "a machine which does not work yet". Once it starts working we stop calling it a robot.

Counterpoint: Robot vacuums

I think the real colloquial meaning is more along the lines of how constrained or hidden the movement is. Elevators stick to a track, dishwashers only move on the inside, missiles pretty much move on a straight line. On the other hand robot vacuums roam the floor, and while a robot arm is rooted to one spot it can move freely in that range.
The number of tasks where AI (or any machine) can outperform humans is not necessarily proof of human-level intelligence. I could easily imagine machines replacing the majority of current human occupations well before reaching human-level intelligence.

“The question of whether a computer can think is no more interesting than the question of whether a submarine can swim.”
― Edsger W. Dijkstra
When they can outperform human infants in learning, eg data required to learn and versatility, we can talk business.

Not all world is "big data".
Yeah. I realized it was so important when I noticed that my main daytime use of my Mac was to operate my Linux machine via iTerm2.

Like any time I need to do something complicated, like a process that I might want to document after the fact... iTerm never loses history, you can get timestamps on every command after the fact. It's automatable, you can easily tell it to open 10 terminals, replaying a different CLI command sequence in each... I could go on and on and on, but I can't think of any other example of an app that has so thoroughly dominated its category.

I mean maybe like Microsoft Excel for Windows, but that is from a whole other angle (that is not software excellence haha)...
At the time, it was part of the Windows Hardware Certification requirements.

SFLC has details here: https://softwarefreedom.org/blog/2012/jan/12/microsoft-confi...
I have considered, but I won't.

I actually can't switch my obsessions. Not intentionally. I have tried.

It has taken me 7 years of marriage to go from uncanny valley social skills to appearing normal at first glance. Social engineering skills would probably take me another 100 years.

And on that point (and this is purely my belief, not objective truth), unlike most people, I want clients to choose my software because it actually is the best for them, not because I manipulated, er, socially engineered, them into thinking so. If people make uninformed decisions in my favor, then on some level, I am slightly scamming them. I don't want that.
You might have missed the context of my response.

GP said they get three meals a day at the office, and live 30 mins away.

I assert that this is incompatible with family, and with a social life centered around people who are not coworkers.

I've lived that life! No judgement. Single, new city, growing company. It was great.

But it was then, for me. It could not be now. My point is that, as a perq of RTO, those things could be compelling for a subset of employees only.
Is 2024 the Year for Psychedelic Medicine?
I think the universities themselves will be studied as social parasites, too.