skysight-inc/HackerNews huggingface dataset:
I think there will always be a demand for human knowledge workers. They might not push their respective fields forward in the same capacity as AI will be able to, but there will be a niche market for products and ideas authored entirely by humans. Programmers and mathematicians will actually be craftspeople, and communities will continue to exist around this. These will probably not be highly paid positions as they are today, and their products likely won't power mission-critical infrastructure. Some might pursue it simply as a hobby and for the mental exercise.

It wouldn't be much different from small artisan shops we have today in other industries. Mass production will always be more profitable, but there's a market for products built on smaller scales with care and quality in mind. Large companies that leverage AI black boxes won't have that attention to detail.
It's narratives all the way down
This is the fourth account you've made in the past hour just to comment on this post.
Again, like so many, you are taking computer use in math as an indivisible whole. I never said that computers were NOT useful. Only that the use of creative AIs in math are counterproductive in the long run, hence implying a point of diminishing returns that we push towards (due to the peverse incentives of academia).

There is also a fundamental difference between swimming and math. There is no prisoner's dilemma situation when it comes to swimming: with swimming, people CHOOSE to swim because they like it. But due to different incentives, people will CHOOSE to use AI only because others use it and it will become the only path eventually.

In other words, swimming is still possible even though boats exist. People going into mathematics will not have the possibility of being of any use without AI, because the prisoner's dilemma (arms race) will ensure that math is no longer about anyone caring about math without AI.
What a strange interpretation of what they said.
Yes, although you can also use GSM or SIP and it's often called a DECT number even if you're actually on one of the newer networks, since the number space is the same. DECT simply was there first and thus became the generic term for the internal phone network.
Chess has never had a larger community — entirely because computers enable streaming and exciting faster games.
I used to frequent fancy private parties with people who mostly all had money and nobility titles (EU). Unless it was a ball (which I used to go to do) that had a strict dress code, most men had nice cars, nice shoes and... Dress jeans.
use brave
Where can you go in Europe by train in 8h?
I know precisely what you mean. I randomly stumbled upon the anime Solo Leveling, which also follows the 100% tell style. The main character reads out everything, narrates every scene, and explains his own thought processes and emotions at every step.

It is weirdly addicting, perhaps only because I'm bored of the show-don't-tell style and it's refreshing to see something going contrary to that.
You ignored the thrust of my argument:

You’re lamenting that inventing boats has destroyed the beauty of swimming.

- - - Edit - - -

Responding to your expanded argument:

You could never swim to a new continent, which boats enabled. This is the same — people can choose to keep doing the same limited math themselves, in a slower way, but will never reach the places people can aided by tools. That’s simply how the world is. But we shouldn’t restrict the distance people can travel to adhere to the aesthetics of swimming.

You’re arguing precisely that: we must limit our intellectual journey because you don’t approve of the aesthetics of the tool to travel further.
Suno to me has only produced the most trivial garbage but music is really hard to produce.

I could see how someone with no background in music could feel a sense of accomplishment with this.

It is like a gen z version of playing the ironman or smoke on the water riff on guitar. It is just not that hard to play the ironman riff either.

As someone who has put thousands of hours into learning music, anything that gets people into music is a positive to me.

It seems like generative AI art and music really triggers tech people who have nothing to do with art and music.

"Kids these days starting off programming a web app with a language model. In my day we had to take adderall and debug assembly code just to print an underscore to a dot matrix printer. That is the right way to start and anything else is WRONG"
Entirely?

They're using the word empathy wrong but trouble reading emotion sounds accurate enough.
The Turing Test is in the same vein as the Drake Equation: a means to focus thought on how to approach finding a solution, not to find a definitive answer (and who's existence in pop culture makes it a bigger thing than it is). The original Eliza should have be enough to render the Turing Test a moot point I feel.

Personally (as someone who's worked in a ML-adjacent field for a number of years, and so seen the various ML waves), LLMs have so far been a resounding disappointment in comparison to other ML tools (the only cool thing I've seen come out of it was Google using LLMs to generate code to try to futz code even better), and have shown that while chasing the last 1% accuracy is interesting from both an engineering and mathematical perspective (which are entirely legitimate things to be interested in, though sadly they seem to have been lost to hype), simple-to-explain-and-understand less accurate methods (like a decision tree) are both cheaper to run and more predictable (which is what you usually want).
> Don't marry your display code to your business logic.

> It's the reason I never went for JSX or other frameworks that put logical code into templates or things like that

That's not mixing business logic with display code, your confusing (or conflating) 2 entirely different things here.
Or you know, video conference. I have zoom calls with AI folks from all the world weekly.
Add your browser data directory to your backup folders list, and restore that folder in case of a localStorage loss, that should do it.
they are making "dies", they have to export them to china/taiwan to make the finals chips... as far as I understand it.
AI is different because its ability to suggest creative lines of thinking will change the entire structure of how mathematics is done.

It's the same difference between "dumb" algorithms and "generative AI" algorithms. The generative AI has the capability to replace human thinking in some cases, whereas the dumb algorithms only replace rote work. Since creativity is not just what allows innovation but also forms the center of community and personal expression, we are also replacing those "soft" components of scentific exploration that eliminate the importance of the individual.
> How in the name of sweet balrog did a genetic process get called sonic hedgehog?

Researchers that discover things can name it wherever they want. This family of genes are all named after hedgehogs because it makes fruit fly embryos spiky if you knock the gene out.
Why? That's already supported in the ESP SDK
> What really needs to happen is we need to figure out ways of facilitating friend formation/maintenance in this brave new world of the internet and atheism. We are going to need some new social technologies to really combat this.

I wonder how in your opinion atheism enters in the picture? My first guess (of your reference) is that certain religions frighten people into remaining in a marriage they would otherwise not be in. My second guess is that religion fills a social glue role by virtue of getting people together to worship or do other community things.

In my own opinion, part of the problem is that we are not atheist enough, and we still believe in the god-mandated union of a man and a woman, properly enclosed by walls, to bring forth children, as the only way worth living. Yes, there are pockets of resistance to the idea, but too little and too late. By far and large all parents out there are pressing their children to marry and have kids, so that there are grandchildren to fill those golden years. And there is mass media of course, which by far and large does the same. But I suspect that, left to their own devices, a lot of young people may choose to stick to their childhood friends of their same sex or otherwise, and employ one of the myriad ways humans can achieve sexual fulfillment. And since I'm on the topic, our species had sex for bonding long before it had religion, language, and the Internet. It's a pity that after the agricultural revolution and the newly found greed for land, God declared that technology suitable only for establishing property rights and for growing the military might of the tribe.
Context free curly braces in deeply nested code make me crazy. Labels to match up with the open symbol would be super helpful.

My company’s style guide requires them on closing braces for namespaces.
Not really. Usually during the deduction you have some steps that pull surprising knowledge from the rest of math to support the reasoning or create and prove interesting lemmas.

If you can prove a theorem without any of that, that's a little boring theorem to prove.
Related: Philip K. Dick's Flow My Tears, the Policeman Said is a great novel on this topic.

https://en.wikipedia.org/wiki/Flow_My_Tears,_the_Policeman_S...
What interpretation did you have?
It is possible that your memory of a device from a decade ago is faulty. No Chromecast has ever been able to be powered by HDMI alone. That has never been a thing.

You may instead by remembering the fact only some TVs back then were successful at powering the Chromecast without an external power brick, using a USB port on the TV itself to power up the Chromecast.

In applications where this worked (and it often did work, although it also often did not work), it could provide a solution that existed entirely on the back of the TV with nothing additional plugged into the wall.

But it was still [micro] USB that provided the power to the OG streaming stick, not HDMI.
I assume you meant “improvise”?
>Small digression: Turkish series have been doing an extreme version of "telling" for ages.

From a european perspective that is what US TV series and movies have been doing for 4 decades already as well as following the very same mechanics. In most shows you can tell in advance what is about to happen next at any point in time this is embarassing. I used to think US people had to be super dumb for that reason then realized they gradually started doing it on euro stuff. I guess we just use the lowest baseline possible because the people who spend the most time passively i front of a screen happen to also be the dumbest ones.
Redux-Saga – An intuitive Redux side effect manager
The problem with this is that most people will sense a reduced importance for themselves. Most people seem to think that with AI doing everything, we can just relax and do our hobbies. But that's just wishful thinking based on a culture of overworking: we overwork so we dream of a utopia where we don't work. But the opposite of overworking is a sense of complete irrelevance, which will in some sense be more problematic than everyone working too much.

Yes, a few people might find some meaning in a life where they are not that important, but most people need to feel important to others, and AI takes that away.
It is funnily recursive...

I'll try to explain, but I'm not sure my English is good enough for that task. But lets try.

When the author says "great abstraction" they mean "ideal abstraction". You can see this for example in this quote: " The less often you need to break the illusion, the better the abstraction." They say even the phrase "all abstractions leak", which is the main point of yours.

So, if they mean an "ideal abstraction", what does it mean? What it means to be ideal? It means to be an imagined entity with all sharp corners removed. The idea of "ideal" I believe is an invention of Ancient Greeks, and all their art and philosophy were built around them. Their geometry was an ideal thing, that doesn't really exist anywhere except the brains of a mathematician. Any ideal thing is not real by the definition.

Why to invent ideals? To simplify thinking about real entities and talking about them. They allow us to ignore a lot of complicating details to concentrate on the essence. So it is like an abstraction, just not for programming but for thinking, isn't it?

And now we come to the recursion. The author used abstraction over abstraction to talk about abstractions, and you used built-in deficiency of all abstractions (they are not real) to attack the abstraction over abstraction.

Somehow it not as funny as I felt first, but still...
Don't believe this for a second. She went on PBD with a binder full of receipts detailing how terrible PH moderation is and how blatantly they skirt regulations, laws, and morality for sheer greed.
Highbrow and soulless are different axes. Disney may be a giant soulless company, but they do employ actual artists who sometimes make decent movies which in general do vastly better at the box office.

Handing a talented team enough time, freedom, and budget doesn’t guarantee success but it’s definitely a prerequisite for success.
Again, I am not arguing against ALL computer use of chess. Just the chess engine/AI itself. Why do you insist on taking all of technology as an indivisible unit in your argument?
For a moment I thought the “rotate to match image” captcha was the product image :P
It suffered from high prices in compilers when it had an opportunity, plus Modula-2 and Object Pascal being good enough for those that cared about safety on 16 bit home computers.

It also didn't help that the UNIX vendors that had Ada compilers like Sun, it was an additional purchase on top of the development SKU that already had C and C++ included.
Also, Free Software creators should get compensated for their work by current free-riders in the system.
It’s about demand isn’t it? TSMC have red hot demand, it’s not hard to understand their urgency in setting up new fabs, wherever they may be. Intel don’t have the same incentive - their incentive is to take the money (because, why wouldn’t you), build newer fabs and hope for some breakthrough in demand. The urgency is not there: being complete before there is demand could be detrimental
Only when forgetting that the US was extremely naive towards Stalin after-WW2, breaking promises and taking over eastern europe.

This now classical approach where the US is some absolute evil confronted by the nice guy Stalinists could be funny if not widespread
I specifically gave a reason why boats and swimming is an entirely different situation. Due to different incentives, AI can take away opportunities for people to learn math the old fashioned way, but boats did not do that to swimming precisely because the incentives for swimming (moving without a boat) are different. But I added that in an edit before I saw your comment.
SEPA transfers are generally as easy as it gets - a free direct transfer straight from your bank, avoiding unnecessary intermediaries. You paste the number, confirm and it's done. Sounds like you need to complain to your particular bank for its subpar service.
I’m not talking about technology, I’m talking about having an understanding of how reality works. I fully agree with you that one should have a sense of ethics and use the precautionary principle when deciding what to do with that knowledge. With deeper knowledge we can develop more humane and environmentally safe technology, and cure diseases that cause massive suffering…

We’re past the point of just going back to preindustrial tech with less negative impacts- but with a deeper understanding of reality we could, e.g. pull carbon straight out of the atmosphere to manufacture almost anything in a renewable way, while also understanding biochemistry enough to make things that won’t be toxic or persist in the environment, and are readily broken down and reused.
That you're having ""ADHD"" toward the show, not that you have it by wanting a show.
Yes, I am arguing that we should limit our intellectual journey, to preserve the humanistic aspects of the journey. That is exactly my position.
> I hope you write up findings from your own research.

If and when I achieve anything useful I definitely will. Writing up failed experiments? Yes in principle, per the above. Finding time is probably the biggest challenge. The intention is definitely there though.

But even aside from that, bits and pieces of what I'm working on at any given time dribble out via my participation in various oline forums, Github discussions[1] and posts here, on LinkedIn, etc.

> If anything, my point was that you can just do things.

Yep, yep. Absolutely. Again, even if the outcome isn't some earth shattering new discovery, you've still gained something from the process (in all likelihood).

> This was a poetic attempt at trying to regain some agency and not just let life happen _to_ you.

Well said. That very much echoes a lot of my own philosophy on life. Just do something at least. To me, I'd rather fail trying to do something, than just give up and do nothing.

[1]: https://github.com/jason-lang/jason/discussions
On my very first job at the turn of the century, I remember I was by a client seating in front of a server, looking at a black screen waiting for something to happen, highly doubting the claim of the client.

"It only works when you guys are here". Yeah, right.

Already 3 coworkers had to deal with this but couldn't find anything, this was more than strange. So I asked them to yell as soon as something happen.

15 minutes later my wandering thoughts were interrupted by Pipes materializing itself into existence. Oh. And for that day I was the hero.
If you’d like to dive into the deep end and learn a “we tried to make as much type system power available as conceptually simply and elegantly as possible” language, Agda [1] is a very fun language to fool around with. It’s superficially a Haskell-like, but you’ll likely only really learn it as a toy that nevertheless blows your mind… like Prolog etc.

The first thing I tried to do after learning all the basic syntax is write a function f: Nat —> Set (from numbers to types), and then stick it in a function signature (i.e. g: f (3).)

[1] https://people.inf.elte.hu/divip/AgdaTutorial/Index.html
It moves the goalposts a lot closer for them to proclaim AGI in the near future. By that definition an autononomous car is also AGI.
? alt: Java 23 - Class-File API (Second Preview)

https://news.ycombinator.com/item?id=41567720
I watched the Netflix series Black Doves recently, nine episodes of fairly entertaining stuff, followed by a final episode of full-on Basil Exposition with characters literally explaining what happened in the previous episodes like the reveal at the end of Scooby-Doo. I've mostly given up on Netflix for exactly this kind of dumbing down.
That’s assuming Trump means anything he says. An assumption that has a pretty poor track record.

As with the last time he was elected Trump has vehemently criticised a policy of his predecessor, and then immediately adopted the same policy as his own on being elected.

He did it over bombing Syria if they used chemical weapons, and he’s doing it over Ukraine now, making it clear he intends to continue fully supporting them, while also pushing for a huge increase in military spending. Both policies he and his party were adamantly against and did everything they could to undermine while in opposition.
imo more like the 50th time around, and by a computer scientist, and not on company time until after the abstraction POC is validated, for example both React and Angular were side projects before the firm decided to invest. Software development outcomes today are driven by: ignorance, narcissism, and self preservation
Is it the case? Or is the fuse shared for something else that happens to be useful/important for the operation of the vehicle?

I'd be surprised if there was a dedicated fuse for only a modem really, especially in an EV or hybrid.
Interesting, thank you. I think per-record is probably good enough for most applications, and less verbose than per-member. But it's not part of the language (that page calls it "implementation specific") and quite recent (that page is undated but references Ada 2012 so must be since then). It wouldn't have helped the Ada project I'm working on, which had an endianess crisis with serialisation a few decades ago.
It does, we're in our 40s now, but all priveleged to have good careers that enabled us to make this choice.
Used to do exactly this for reference when learning how to do drawn pixel art
I'm getting the same. Free plan 0 tokens. New account.
You can ask a security officer after the immigrations desk to stamp it. It's entirely dependent on the officer and whether the stamp is at the desk that day, but my wife and I recently both got our passports stamped this way.

No guarantee, etc - but theoretically still possible as of 2024.
> With deeper knowledge we can develop more humane and environmentally safe technology, and cure diseases that cause massive suffering…

This is where we fundamentally disagree. I don't believe (and I've never seen any convincing evidence) that we could EVER develop more human and environmentally safe technology. Primarily because technology always requires physical resources (mining) and habitat destruction, and because there are 8 billion people in the world and there will always be the unscrupulous who will use that technology for destruction. And even ignoring the unscrupulous, the existing habitat destruction from said technology use already (in my valuation) is too great to balance out some of the so-called positive uses of technology.
As much as I dislike Biden from a leftist perspective, I must commend him for the inflation reduction act. Felt funny seeing a president actually, you know, improve the country
I think your second guess is what was meant. Doing church things is a social occasion, a place to meet people and make friends.
What's wrong with specialist services? I love audiobooks, use audible a lot, yet that keeps trying to push it's podcasts on me. I also like podcasts but I have a different app for that, with different features and demands as required by podcasts. I don't often listen to music so have never bothered with Spotify, but music player apps are rarely good for playing audio books or podcasts so why are they all trying to combine them just because they're audio? It's like making a fridge-freezer-oven-microwave-blender device just because they're all kitchen things, so there must be synergy.
Ok but this sucks
Well then the comment chain was clearer to you than me, because I read the last two comments as 1) a defense of watching shows while doing chores and 2) a criticism of doing that, implying that it’s a lack of focus on doing the chore
I think you may be misconstruing that comment. I suspect the idea is that the US invading Iraq was a violation of the international rules based order, and the EU was complicit in it.
Did you read that in your russian newspaper? What did you read are going better? Inflation? Currency? What did you read in russian news that made you think russian economy is doing good?
Ive never understood this culture. This kind of operation could be achieved by having several teams of folks working in shifts so noone is working crazy long, no? It seems like the company is unwilling to invest in the manpower required to achieve that SLA? fwiw ive heard similar things about the fruit company.
>> How many times have you required that your program runs against different sql databases without modification?

Our main commercial product currently supports 2 database engines, and we'll be offering a 3rd next year. For enterprise offerings it's pretty common for the client to prefer, or outright specify, the engine.

Commodotizing your complementary technology is a good way to not become dependent on any specific database, and hence can pivot quickly when required.

Fortunately I don't have a plane, so I don't have code to fly in any atmosphere.