skysight-inc/HackerNews huggingface dataset:
Those reasons exist for learning math: mental fitness, personal enjoyment, sport, etc.

But you’ve subtly changed your argument: before you were arguing that the beauty was in creating mathematics, not merely learning already written mathematics.

My exact point is that learning surmathematics (math taken further by AI) is it’s own interesting pursuit — and appeals to my sense of aesthetics and adventure more than piddling around merely to say it was all done by human hands.

I’m not following where you believe the swimming and boat analogy breaks down: there’s still the same personal reasons to learn and do mathematics one might swim; but learning surmathematics is an adventure to a whole new land.

- - - Edit - - -

Responding to sibling comment as well:

> I am arguing that we should limit our intellectual journey, to preserve the humanistic aspects of the journey. That is exactly my position.

That’s exactly what I compared to swimming rather than boats — because you won’t reach the same places and it’s done for aesthetic reasons.

Some people (eg, myself) want the surmathematics adventure.
It's weird to me how the first two replies to this comment completely missed the sarcasm.

Do we need to start using the "/s" tag here like became necessary on reddit? I don't like the thought, but maybe it's a different issue in this case-- more of a non-native-English or on-the-spectrum thing than an inexperienced teenager thing? I hope so.
huh? In what way is russian terrorism a socialist experiment?
The idea of neurosymbolic systems has been in the air a long time, but every time I look at the commentary of an article like this I’m surprised at number the “OMG why didn’t anyone think of this?” type of comments.

For a while I got the impression that an ideological undercurrent of “DL vs GOFAI” had gotten in the way of more widespread exploration of these ideas. Tao’s writing here changed my view to something more pragmatic, that being the formalization of the symbolic part of neurosymbolic AI requires too much manual intervention to easily scale. He is likely onto something by having an LLM in the loop with another system like Lean or Athena to iterate on the formalization process.
Too true, although for those of us a bit older, the 2009 web that this comes from is already so improved with its many differences from the "old old" web that we remember (yet still so much better than the web today).
If you put your boarding passes into the Wallet app, you can access them from the lock screen of an iPhone.
I am an outisder to polish politics. Isn’t it the case that polish democracy is a good success story the last decade(s)?

Genuine question.
There are no "normal" feeds on youtube, everything is personalized, a product of the market and one of its benefits.
This article seems like a baseless assertion to me. There are lots of fast track like systems that are basically equivalent to a return to the earlier practices of using licenses at borders. That wasn't anywhere near a viable replacement to the issuance of all passports back then and the same issues are present now.
Spotify Shuts Down ‘Unwrapped’ Artist Royalty Calculator with Legal Threats
BLIK payments are just an interface on top of regular bank payments.
To be fair to the professional critics, they are writing prose that helps their readers decide if they will like a movie, not just giving it a good/bad review. Looking at the reviews that RT considers fresh, most of them are honest with their readers about what the movie is (“hallmark”, “formulaic”), but consider it a watchable entry in that genre.

https://www.rottentomatoes.com/m/irish_wish/reviews
capital costs decrease, quality appears "lower," etc.
Yes, I'm aware, but we have more efficient methods of compression than just down sampling the image to like 40x40 px
You mean the guy that had his own army, and had support by a large chunk of russia? The guy Putin had publicly said would face no criminal consequences?
> Yes. I voted, and I'm teaching my child how to be a net positive for society.

You voted for a politician, and you're teaching your child.

Neither of these people — the politician, the child — are you.

It sounds rather dangerously like you're saying you've done nothing except abnegate any responsibility for these problems yourself and expect others to shoulder the burden for you.
Or, you can take a photo through a mosquito screen (with the focus on the screen or slightly behind it)[1].

No fancy lens needed :)

(Think of the mosquito screen as a pinhole lens array)

[1] See e.g. https://www.istockphoto.com/photo/mosquito-net-close-up-back...
You could say the same about the US-born, so I think you missed my point since you're trying to draw distinctions between the US-born and Latin American-born based on, well, I'm not sure what honestly. Your response is a bit odd, but kind of proves my point about pathologizing the ills of America and romanticizing other cultures, even those which are decidedly "Western" as well.
Yay, it looks great! Thanks! \o/
Stanikmas, Lynn. (2024). Angular Studies – Advanced Components. GitHub
This self-directed study project showcases several advanced features in using Angular's built-in directives and in Angular + Typescript components development including styling components (with encapsulation), modifying host DOM elements, modifying templates with content projection, accessing directives, using lifecycle hooks, and detecting changes.
Symbolic Reference and Hardware Models in Python
it's 38km from Naissaar to first Finnish islands, and the international waters there are wider than they should thanks to all the wars that were fought over it.
While I appreciate the claims about GPT and Google search-bots-first designed web, I couldn’t agree less with the „coordinated international effort“ part.

I much prefer Maggie Appleton‘s Dark Forest writing and talk on the matter:

> The dark forest theory of the web points to the increasingly life-like but life-less state of being online. Most open and publicly available spaces on the web are overrun with bots, advertisers, trolls, data scrapers, clickbait, keyword-stuffing “content creators,” and algorithmically manipulated junk.

> It's like a dark forest that seems eerily devoid of human life – all the living creatures are hidden beneath the ground or up in trees. If they reveal themselves, they risk being attacked by automated predators.

Links:

- https://maggieappleton.com/ai-dark-forest

- Talk: https://youtu.be/QPoM-h1fK8M

edit: formatting
Yea, had it been Kadyrov I wouldnt rule out assination. But no such important person in russia flies commerical.
I apologize for my error. I thought it said just watched when I replied. Grandparent clarified their post since then.
Not at all, there are 7 Ada compiler vendors still in business.

https://www.adacore.com/

https://www.ghs.com/products/ada_optimizing_compilers.html

https://www.ptc.com/en/products/developer-tools/apexada

https://www.ddci.com/products_score/

http://www.irvine.com/tech.html

http://www.ocsystems.com/w/index.php/OCS:PowerAda

http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm

And AdaCore sponsors GNAT, with Ada being one of the few official GCC languages for two decades now.
Did you try the UnTrap extension for Youtube? It can block shorts, infinite feed, related videos, even comments if you wanna go extreme.
> it also affected small business and independent musicians, arguable more so, since they weren't as well funded to adapt to the disruption.

By "independent musicians" I assume you mean Lars Ulrich.
How the VM and its bytecode works is usually a part of the chain.
So tell us. Who was assinated to send a message? Not a single important person was on the plane.
I suspect close family ties and living with parents was the default throughout human prehistory. Our Hunter-gatherer ancestors were probably not leaving their tribe behind and moving away. It's only since the industrial revolution that people have been leaving their birth family behind en mass.
> Primarily because technology always requires physical resources (mining) and habitat destruction

There is no fundamental reason to require such things. As Fuller said, the goal of technology is to “do more and more with less and less until you can do everything with nothing.”

In my view it’s not the idea of technology that has been the problem, but that it was done by people with no understanding of the impacts, or sense of responsibility. The reason our current tech is so nasty and damaging is because our knowledge has been too primitive to do better thus far, and now people are not willing to give it up.

Synthetic biology, for example can now pull carbon straight from the air and make it into nontoxic biodegradable building materials- or really almost anything. This can eventually replace all mining and toxic chemical factories, with basically just old fashioned fermentation in a vat, that neither produces or uses anything toxic- but can replace all of the nasty stuff we currently make from mining and petroleum. A deeper understanding of biology will allow us to further reduce risks and environmental impacts by really deeply understanding which molecules we can make safely without toxic impacts on humans or other species, and without environmental persistence.
his days around Trump are numbered. MAGA is just now realizing that he is not an American, that he is a fucking immigrant too - the group they were groomed to hate since Trump’s appearance to the politican arena a decade ago. and elon is waaaay to much of an insecure person to back off - trump will have no choice but to dump him and soon
If you can't see the other end of a curly brace inside a function, I'm pretty tempted to say you're doing too much in one spot.
Why would russia shoot down a plane if it was someone defecting TO russia?
Help me figuring it out by sharing with me what you are reading.
I don't think I'm conflating things. Any time you insert sugar into your HTML that makes your end user see output that's been inserted by how your framework interprets that sugar, you may be binding your business logic to your display code. Possibly in subtle ways you don't realize until later. A common case is rounding decimals to a user that aren't rounded in the system.

Letting any control flow into your HTMX/JSX templates is begging for trouble. It boggles the mind that people abandoned PHP - where at least the output was static and checkable - for something exactly like mixed HTML/code where some processing was done on the front end and everything was supposed to be dehydrated. Only to pivot again to hydration on the back-end.

JSX and React came on the scene 10 years after I first realized using the client for anything logical was an anti-pattern. Back then, I remember people would write things like:

CustomerFormForClientX extends CustomerFormForClientZ [...]

and put a bunch of validation on the client side, too. Clients are dumb terminals. That's it. I'm not confusing the use of logic-in-JSX with business-logic-in-display. One only has to look at every basic JSX example on the web that's taught to newbies to see a million ways it can go wrong.
Looks really difficult to prove even a "hello world" algorithm. I'm afraid you can easily run into the problem of not understanding what you're proving and just not doing it for what you would actually want.
That’s a problem with lazydocker, not ghostty.

Maybe contribute to https://github.com/jesseduffield/lazydocker/issues/610 ?
Bangladeshis don't have perfect English communication skills or work 24/7, and the most skilled engineers there have generally already moved overseas, so the only remaining ones aren't top-tier (or aren't cheap).
"At the time of his default, Carlsen had scored 5/8 and was a point and a half behind the leaders, with little chance of retaining his title."

EDIT: I find it hilarious that this is downvoted. It's incredibly cogent to the point. If Magnus was leading the event I guarantee he wouldn't have pursued this distraction.
How many programmers write a YAML/JSON parser vs. use an existing library?

How many of the ones who write their own parser would benefit from using a library more than from reading assembly?

If your answer is that: "well, the ones writing the library benefit from learning assembly"... Think about what percentage of programmers they represent. Not to mention that source-level profiling will still give them better bang for their buck.

As somebody who has read a ton of assembly in their career because those marginal gains mattered: 99% of programmers are better off investing their time elsewhere.
Yes, I know, but it would be interesting (at least for me) to know how interests of people are clustered and interconnected - and how much of outliner one is.
It not only was an option in this case, it was the path taken when all the other options were depleted.
Show HN: SecureShare – P2P file/text sharing with no size limits, no servers
I built SecureShare to solve a common problem I faced: securely sharing files between devices without size limits or intermediary servers.

What it does:

- Direct P2P file/text/folder sharing using WebRTC
- No file size limits (only constrained by local disk space)
- No registration required
- All data stays on your devices (no server storage)
- Supports multiple simultaneous receivers
- Custom retrieval IDs and QR codes for easy sharing
- Works across platforms, mobile-optimized

Technical details:

- Built with Next.js + Tailwind + shadcn/ui
- Backend: Node.js + Redis (minimal, only for signaling)
- WebRTC for direct P2P connections
- DTLS encryption for all transfers
- Files stream directly to disk

Background: I'm a C++ algorithm engineer and father of two who built this in my spare time over 4 months while learning full-stack development. Used AI pair programming extensively, which was an interesting learning experience.

I'd love feedback from the HN community. What features would make this more useful for your workflow?
Wise was launched in 2011. No one had heard about Bitcoin back then.
They’re the same technology: you don’t get to select only some of the applications, which appeal to your personal aesthetics.

We arrived at engines before online chess, and the two have come up together — both being enabled by the growth of computers. You can choose not to use an engine, but it will exist either way because others will choose to use it when it’s enabled by those same things.

To get rid of the engine, you have to get rid of computers — or in the case of Freestyle/Chess960, create so many openings a human can’t memorize them all so only has a short time to prepare.
> [Carlsen] it became a point of principle

I think if anybody's to be commended for their principle it's probably the organisers? They have their dress code, he violated it, was warned, continued to violate it, and they enforced the rule despite his name.
It starts with a strong point that abstraction is not indirection, but then slips back into using the terms interchangeably.
That is actually an idea for AI in movie making that I could get behind.

I don't think it's possible yet by a very very very long shot but if it were it would be a better idea than "write your own movies".

My stories probably suck outside a captive, very young and related "audience" which is fine because I'm not script writer.

But I would pay quite a lot of money for a "get to the point" button.
Since most of my usage of LLMs is through cline or APIs now, specifically for coding assistance, and I’m not comfortable trusting my codebase or potentially leaked secrets, to a company operating under CCP supervision, I’ll stick to waiting until this forces Claude to lower their pricing on 3.5 Sonnet instead.
> That’s exactly what I compared to swimming rather than boats — because you won’t reach the same places and it’s done for aesthetic reasons.

For some reason, and I can't explain it, but I do believe that people still value personal physical achievements even when machines can do it better, but the same is not true of mental achievements. I take it as an axiom.

> Some people (eg, myself) want the surmathematics adventure.

That is where we fundamnetally differ, again axiomatically. I think it's offensive. But even if you do like it, that will eventually lead to the path where AI is just doing mathematics so well that no one will have much of a chance to understand what it is doing at all. And that ultimate conclusion, or even a probably chance of it, is enough reason to scrap the whole thing.
The HDMI source, not the HDMI sink, provides the power at 5 V. As far as I know, every Chromecast required an external power connection.
And the impoverished areas of America are also where gun crime and drug overdoses are the most common. Oh, and don't forget losing healthcare and education services as the area continues to decline. These things go together just like in Latin America.

Moving in response to this reality is not an American values problems. I find the instinct to blame Americans for their discontent while framing others in the same situation as victims quite odd.
Revisiting the NetBSD Build System
Software developers often just give away FOSS for free, not even charging a nominal fee.

As a result, proprietary software essentially has an unlimited money cheat that they can use to plow into further development until greed starts seriously degrading the quality of software.
ADHD and autism frequently co-occur.
Not for filing. The hard part is understanding how to find exemptions, deductions, ect. It has already outperformed both my CPA and tax attorney and at this point I am using it to correct them before taking their advice.
The socio-economic landscape in the US means where it is cheaper/easier to setup families and have kids is rarely correlated with economic opportunity. And in the US, people can move easily.

So kids usually have a a choice - either stay where they grew up, and live with reduced economic opportunities (actually very common, but those folks aren’t usually posting all over the Internet about it).

Or move to where the economic opportunity is good, but then be isolated from prior friends and family. Those people talk a lot more, and tend to stick out. That is also more expensive, so those folks tend to have more economic backing and/or stronger ‘resumes’ which correlates to more education, getting more opportunity, etc.

If folks from the second group have issues and need to retreat to a more comfortable economic situation, they’ll also return to where they tended to grow up, usually.

One of those two groups is more often to be called ‘losers’. Which one do you think it is?

Oh, did I say the US? This is actually many countries, minus ease of moving around.
To have what you're asking for requires transparency.

It wasn't just a faceless and nameless software engineer it was a real human being with a name.

Until it is mandated that public infrastructure is developed in the open so we know precisely who attempts to add features to render a product defective by design we will not be able to fix this.
From my earlier post:

> Ironically, because of the advent of drone attacks, a small aircraft like the Embraer 190 is more likely to be mistaken for hostile, compared to a full-size airliner.

From CNN today (https://www.cnn.com/2024/12/26/asia/kazakhstan-plane-crash-q...) : "Russia may have downed Azerbaijani jet after confusing it for Ukrainian drone, US official says."
A key difference between Turkey and Finland is that Turkey has the largest army in Europe and can unilaterally take action.

Finland can only take action if backed by many other NATO members, and most especially by the US.

Dealing with this as a policing activity tells you all you need to know about the current leadership of the US and other NATO countries.
From the perspective of my original comment, more than anything church is just a formalized social occasion. Repeated social contact, and proximity seems to be critical to friendship formation.

Wasn't commenting on family formation etc.
More $$$ is a strong motivator.

Latin American tends to be unsafe (physically), but the money probably plays a bigger motivating factor. Remittances and ‘doing it for the family back home’ are common themes.
They actually tested for people standing nearby terrorists to ensure they’re not injured. That’s in the documentary. Anyway well done the IDF for making the Middle East a better place without Hezbollah.
From a google search:

> A picture can tell 1000 words - a look at drosophila hedgehog mutant

https://x.com/KirkMMaxey/status/577886323912015872
I agree with the spirit of your comment, but not the literal fact of it. Sure, interesting proofs require pulling out some interesting knowledge in the reasoning, but notions like "surprising" or "interesting" are about human subjectivity and don't really exist as a property of a deduction. Surprising or interesting knowledge is not somehow new knowledge that wasn't there before, it's just that we didn't see it previously.
man the system has beaten the life out of your soul - wild wild stuff… spoken like a true obedient slave the society made you be… who will be the people at the gate? and how will they decide who the fools are? I am at the gate deciding you and your family are fools? vice versa?
I cite in evidence of Russian ineptness the entire history of their invasion of Ukraine.

Given their vast and extensive advantages at the beginning of the invasion, if they were even vaguely competent they really would have been holding a parade in Kyiv within a few months.

A competent military wouldn’t have lost their flagship, or let Ukraine counter-invade taking thousands of square kilometres of Russian territory. A competent regime wouldn’t have dismissed US warnings of an imminent terrorist attack on a specific music venue in Moscow and just let it happen.

Loading up a tanker with power hungry kit it’s not able to properly support without discussing the idea with the crew, while threatening the crew if they don’t keep quiet, is par for the course.
It makes perfect sense when Joe is blocked for disobeying the totalitarian hivemind and loses access to his accounts.
To avoid confusion I made sure to compare it to a full-size airliner. Interestingly, the aircraft's comparatively small size may have determined its fate (https://www.cnn.com/2024/12/26/asia/kazakhstan-plane-crash-q...) : "Russia may have downed Azerbaijani jet after confusing it for Ukrainian drone, US official says."
So how do the other streaming services compare, this isn’t sustainable.

So pretty much there all the same, SoundCloud though is different

https://blog.groover.co/en/tips/how-much-do-streaming-servic...

To pu it another way, what level of Royalties should be paid? It just seems to be market to the bottom. Gigs and merch.
> but this is comically inept if true

Comically inept does sometimes seem to be the country's MO, due to corruption and miscommunication (the latter often deliberate to hide the former) between the various levels of control. People get away with it for quite some time, until a mistake/accident too big to successfully cover up occurs or there is other reason for an audit from above, at which point some are removed from their positions (often to particularly unpleasant penal arrangements, or perhaps being moved on via a defenestration "accident", as an example to others) and things improve for a while. This is often the case in other autocratic or anocratic countries too, but it seems particularly endemic in Russia (perhaps due to its wide geographic spread?).

> Why commit such brazen sabotage with a spy ship?

As others have said, other reasons of the article are that the ship has recently been used as a ship for spying, but equipment relating to that was not present at the time of the sabotage mission it was intercepted during.