skysight-inc/HackerNews huggingface dataset:
More like self driving cars that stay within the lines instead of treating everything as an offroad opportunity. If you wanna use rifles from them or mod them to run people over, that's on you right?
Most long flights these days have internet access!
Batteries obviously.
Somehow McDonalds is able to make the same burger everywhere in the country but getting cops to act in a way that makes bad situations better with any level of consistency is apparently impossible.
doesn't it make it a copyrighted material then?
If you enable synchronization, even with encryption enabled, by default Chrome shares your browsing history with the purpose of "improving search". The opt-out option is right there in Chrome's settings, which is really creepy actually.
This isn’t Notion’s community forum. Could you please stop spamming Hacker News with requests for your customers to file support tickets?
Well that’s a stupid argument. A good argument is that AI is in accordance with copyright law already since there are no reproductions. In the rare cases where there are reproductions, they can be DMCA taken down like we already do with post LLM output filters.
SAT allows (and thus requires to be competitive) a graphing calculator, typically a TI-84, but there are approved CASIO ones as well.
They don't need to abuse their control of the browser to do this. They were capable of
and were inferring this info from people's visits to/from Google to determine whether a page was useful or not.

The problem is that SEO outfits gamified that metric as well. The idea of determining whether a site is useful based on how long the user stayed on it only served to cause sites to hide information halfway down the page.

That idea is THE CAUSE of the meme about recipe sites telling you how your long-dead great-great-great grandma wrote this recipe for a special event and how it has become a family staple and some of the ingredients might not exist anymore in the same way they did, before they get around to giving you the recipe.

Recipe sites were HUGE in the heyday of the DotCom boom and the only way to get your page to rank higher than every other online cookbook was to capture people's attention with a story before showing them what they came there for. If they can just get what they came for and leave, you got downranked as not a useful site.
Shadeup is also pretty useful for unreal engine. Use of compute shaders is very cryptic in UE5, and shadeup makes it more accessible.
> I am surprised they don't leverage this to improve their search results.

Oh. Um. Well, hypothetically, maybe they do but the metric they're optimizing is their profit instead of user-facing quality?

I just assumed that everyone already knew this. Of course Google could fix their results. They want them this way.
That follows from Clojure being dynamically typed, though. Different design constraints lead to different results.
> Amazon promises 1-2 day delivery but has been falling through more often than first seen and can become a 2-4 day delivery.

... if you live in a big city.

I'm pretty rural, there's a city of about 6000 nearby, two cities in the 20-50k population range within an hour, and Amazon Prime takes 5-7 days to deliver here.

(Without Prime, Amazon seems to retaliate by switching from UPS to USPS, which means that on top of a 1-week delay I typically need to go to the post office to pick up the package.)

Other sellers using seem able to do 2-day shipping here when they want to, so it sure sounds like cost savings at Amazon.
As said by others, that is an absolutely commonplace saying, albeit usually having nothing whatsoever to do with AI. See for instance https://terrytao.wordpress.com/career-advice/advice-on-mathe...

Also if you read about the structure of AlphaGeometry, I think it's very hard to maintain that it "requires intelligence." As AI stuff goes, it's pretty comprehensible and plain.
I don't know about ant... we were using Capistrano back then.
That doesn't seem extreme to me, as I generally feel similarly. If you (or other readers) are genuinely interested in using Chapel with Metal, please open an issue on our GitHub repository capturing your request, as that would be valuable to us.

Just to make sure it didn’t get lost, note that it is possible to develop GPU code in Chapel on a MacBook using the cpu-as-device mode Engin mentions above, and then deploy it on NVIDIA GPUs on production systems by recompiling. This is how I develop/debug GPU computations in Chapel.
It is such a strange comparison.

Apple has consistently chosen to stop supporting old chips when they upgrade MacOS so they can take advantage of new features in the hardware. Microsoft hasn't done this in years, but when they finally did people get indignant (I sure got voted down a bit more than a year ago when I said I was planning to "build a machine which could run Windows 11")

With MacOS I was in the strange situation that I felt like I was not being treated like an adult because Safari would not display WebP files on my old mac because, presumably, Apple engineers couldn't be bothered to write a WebP decoder that uses the latest SIMD instructions. (Like, "aren't file formats a userspace thing that has nothing to do with the OS?")

The flip side is that Windows just doesn't use those SIMD instructions so it performs a lot worse than it could perform.

Part of Intel's crisis is that it's model of rolling out new features is terribly broken, when something like AVX-512 comes out, it will quickly be adopted by the national labs, Facebook and other hyperscalers, but most software vendors won't touch it because most of the machines people use won't support it for 10 years. Apple's M1 and M2 chips are fundamentally powerful but they have a really unfair advantage over x86 because the pipeline between adding new features in x86 and really using them is completely broken in Wintel land. Thus when we have x86 chips we (and/or Intel's shareholders, employees, vendors, etc.) are paying top dollar for features that we don't really use.
I don't think it does need an update, it came across quite clearly in the article that you were pretty happy with life in general but felt that selling the company took away a sense of purpose/identity that you hadn't expected.

Was a really interesting read and gave me a lot to think about as a (hopefully) future founder!
Without a license the default copyright law kicks in which means:

"The default copyright laws applies meaning that the autor retains all rights to the source code and no one may reproduce, distribute, or create derivative works from the work."

Good luck
I suspect that the temptation to divorce and upgrade in some way may be greater for men with a lot of power and/or money. So I think we would expect leaders of any type to be more likely to do this.
>A transformer is trained on millions of elementary geometry theorems and used as brute search for a proof, which because of the elementary geometry context has both a necessarily elementary structure and can be easily symbolically judged as true or false. When the brute search fails, an extra geometric construction is randomly added (like adding a midpoint of a certain line) to see if brute search using that extra raw material might work.

I don't think this is quite right. The brute force search is performed by a symbolic solver, not the transformer. When it runs out of new deductions, the transformer is asked to suggest possible extra constructions (not randomly added).
> From my point of view, we will keep on disagreeing, regarding Oberon.

I don't even know in what respect we disagree; maybe it's also due to the language barrier. If you have specific questions about my projects, feel free to ask.
I think that if people care about pursuing renewables energy, they should look at the whole picture. Often they don't.

Policies that shift pollution from jurisdiction A to jurisdiction B do not aid emissions at all. And often this is not considered by policymakers or advocates.

e.g. raising environmental standards for manufacturing in the US leading to offshoring to jurisdictions with even worse environmental regulations.
Previously:

"FoundationDB: A Distributed Key-Value Store" [https://news.ycombinator.com/item?id=36572658]

"FoundationDB Record Layer" [https://news.ycombinator.com/item?id=18906341]

"Apple Acquires FoundationDB [https://news.ycombinator.com/item?id=9259986]

"How FoundationDB works and why it works" [https://news.ycombinator.com/item?id=37552085]
Chess never faded away. It actually has never been as big as it is today.
Probabilistic predictive modeling in human-in-the-loop situations
less code less bug
I have to think that ad revenue is the prime metric, and Google is loath to change search non trivially to improve UX according to the measures you list.

Read the emails released in the recent antitrust suit and you'll see intense pressure not to make changes to search, or even to Chrome flows that drive users to Google search results.

Bottom line, if ads is performing, what incentive is there to change?
This is interesting, I'm working on something similar but I'm starting from an existing gpu language and working my way backwards to add more support and allow for efficient cpu side execution. It's more geared as a game engine language to support both the game script (allowing easy parallelization) and the rendering side of things (as it's already a gpu language). Mine is currently more geared towards vulkan though.

Looking through the examples on your website does give me some ideas though, I might try and adopt some of them myself.
I don't understand why the autocomplete meme is so compelling to people. How is drawing a picture, which modern AI systems are already capable of, "autocomplete"?
If i may ask where did you get this number? How are the other search engines on it compared to google?
I don't believe you're accurate. All apps that could charge money through Apple payments stopped doing so long ago and now are "free" with an external subscription or ads: Netflix, Amazon Prime, Microsoft Office, Slack, Google Docs/Drive, Dropbox, Facebook, Instagram, TikTok, Hey Email, etc. Only free-to-play games / gambling / scam apps stayed in the App Store, and the rest are gone.
Let's Self-Host
What is this, why would I want to use it, and why aren't other people using it?
Success is already complex and multidimentional and corps that employ thousands can afford to walk and chew gum.

Outside of isolated is tiktok moments they haven't taken a united stand against big corps and they wont.

If CEOs avoid sticking their feet directly in their mouth they can continue to contribute to the world and make money while ignoring reason.com.
Ethereum Evolved: Dencun Upgrade
> OK. Now what? Do I owe Lisa Frank $10?

No, because copyright law says that if you hand-paint an image (without AI), then as long as the images isn’t deemed (by a court, if necessary) to be a derivative work, then you, and nobody else, own the copyright. The word of God is not necessarily considered by the law. And even if the court takes the word of God as gospel, a 10% derivative work might not exceed the necessary threshold of infringement.
But isn't exposing a C interface to Rust very easy? In either direction...
Go to google. Enter search for something very specific like "red baby buggy bumpers." Google decides for some reason that I didn't really mean "red" so it excludes it from the search. Now all my results are randomly relevant. I have to find the little link that says "Include Results with 'red'."

Which.. to the google engineers, why do you think I typed that in the first place? Just to waste my own time? Who are you to drop words from my query? I'm not interested in a page of results, I'm interested in ONE RELEVANT thing.

They've intentionally made choices that make the product worse. This is just one, I could type up a whole chapter on this anti-pattern nonsense. All they care about is worthless KPIs that don't correctly measure "quality."
And now many recipe sites have a link to skip to the recipe, so it's becoming unclear what the benefit is.
Governance Capture in a Self-Governing Community: Serbo-Croatian Wikipedias
Doom code has been opened for a while under the Doom Source License originally.

https://doom.fandom.com/wiki/Doom_Source_License
Yes I know. Show me exactly what you are referring to.
Now, I don't have a college degree, but with my 60+ years life experience I can say, yes, copyright is a real thing, it protects people who create, from assholes and AI.

There, I've stolen your post. Did copyright protect you? No, it did not. Copyright is an idea we came up with that sounded good at the time, and it's come to pass at this point that the original idea was deeply flawed in ways we could never have predicted, but now can see clearly in hindsight.

The truth is, intellectual property should be protected by those creating it. Coke does a great job of this, as do many, many other companies. We call these "trade secrets", but ultimately the concept is the same. You're protecting the work you deem worth protecting.

I don't buy the notion that copyright ever protected the creator. What it really protected was the interests of the entities who effectively enslave the creators via contract, and is not of any tangible benefit to the creators themselves. If one truly cares about the artisans among us, one cannot justify the existence of our ideas surrounding copyright.

Yes, removing those laws from our doctrine would cause upheaval, as the market must then rebalance itself in the absence of the artificial pressure we've put on it, but in time all things find equilibrium again, and placing the value and responsibility back on the individual is, in my mind, simple human decency.
Some databases even ship with this out of the box.

https://learn.microsoft.com/en-us/sql/relational-databases/b...
I remember when BitTorrent users were getting sued left and right, I was thinking about how can a P2P network allow downloading without revealing what was downloaded. Now we got the answer - the LLM - you can download the same LLM like anyone else and nobody knows what you're getting from it.
Your code better? What metric?
I don't believe so - the parent is probably thinking of non-union protests.
Secretary Antony Blinken's Boeing 737 out of Davos had a critical failure
I think you're sowing the seeds to undermine your own arguments, because, literally, everything of social utility is a fiction: money, law, "private property", contracts, and so forth.

All of them are needed for society to function, but at the same time all of them are convenient fictions for us to build upon.
It somehow feels like our society is crumbling under its own noise.
linking random wiki articles with 0 context is extremely common and seemingly accepted on HN. Always confused me as well but /shrug.
Isn't that what a detective is supposed to be?
Yeah, pull the other one.
Wow. That was pretty epic...
This post does not exist...
Wait, I'm confused. I thought the source release from iD was always GPLv2? Did they just forget to put a copy of the GPL in the repo?
More than half of US's 25,000 cities are predicted to become ghost towns by 2100
too late for that
Choose any number of years < infinite. It's limited time.
People can tell you stuff, but ultimately we learn best from experience. And unfortunately, as much as we want to avoid others making the mistakes we did, experience doesn't work like that.

We had a plan for college. We had a plan for work. We had a plan gor marriage, giving birth, raising the kids, and so on. No plan survives contact with the enemy.

I smile now when pregnant couples tell me how they plan to spend their hobby time after the child is born. No worries, I'll be back in art class after a month. My wife says I'll still play golf on Saturdays. Of course we can raise kids in a house with a clean white carpet.

I could tell you it won't be like that (and, if I'm honest, that you won't -want- it to be like that), but you won't believe me.

Pre-marital planning is helpful (full disclosure, I did a class with my wife before we got married) - if for nothing else than giving us confidence we were on the same page. But we covered all the big topics (finance, kids, communication,
conflict) which meant we -knew- we were on the same page.

Other people, with other personalities may or may not find it helpful. I can offer you good advice, but I can't make you take it. Experience doesn't work like that.

(For the record, you won't want to go to evening class, you'll want to sleep. And you won't be playing golf 'cause you, or her, will want to sleep. It's truly amazing how high on the priority list getting sleep will get.)
No. The takeaway is basically that there is no reason for Windows to use a relational database for storing information about files when a hierarchal database does it better for the vast majority of use cases its users encounter.

It is, perhaps, possible another product with a different set of users with different needs could still find value in a relational filesystem, but Microsoft was unable to find that fit.
For example you couldn't rent or sell your fork.
https://archive.is/0Dh2I
What reputation would that be? Personal sentiment aside, the general public seems to like Apple[0]

0: https://appleinsider.com/articles/23/02/04/apple-is-worlds-m...
Yeah, early BASICs tended to let you skip the spaces, and in fact it sometimes did have a measurable effect on parsing/execution speed. And of course on file size too… Additionally, at least C64 Basic had two-character shorthands for all keywords.
A more formal description of this behavior: Rust does temporary lifetime extension: https://doc.rust-lang.org/stable/reference/destructors.html#...

let x = &5;

// x is still valid here because the 5 is no longer a temporary but lives for the rest of the block

As well as constant promotion, not discussed in the post but similar! https://doc.rust-lang.org/stable/reference/destructors.html?...

let x: &'static i32 = &5;

(this was originally called "rvalue static promotion" but Rust has since moved away from the rvalue/lvalue terminology since that time)
Open their software drivers and publish accurate specifications.
Hey Ubisoft ? See that money ? That's mine, and you will never see a dime of it.

Ubisoft is a cancer in the gaming world.

Seriously. I had friends in the 2000's we would all buy a copy of current games, and everyday after work we would gather and play together. Play fools inside the games and laugh for minutes long by dropping grenades by surprise on the ass of friends.. and shooting ourselves with tear-gas paintball guns...

Ubisoft did put out so much games that would crash that it ruined this for us. Every single time one of us hosted, either the hosting would crash, or someone would have his/her game to crash, and we had to restart everything. Again, and again, and again, sometimes with 5 to 10 minutes between two crashes.

Ubisoft you are RUINED our gaming sessions. We no longer try to play together. It's all gone because you're fucking morons putting out bugged, half finished POS games in the market. You've fucked it all.

I have a special place in Hell for you Ubisoft.
This is wrong in this case. Doom source code has previously been released under other licenses. In such situations in the open source world we can choose which of the licenses we want to follow.
Power is a very fundamental motivation, maybe the most fundamental one[1], and I think a lot of people regret selling their companies because they think they want things you're supposed to want, like comfort and leisure, when they really want power.

[1]: https://en.wikipedia.org/wiki/Will_to_power
I follow many websites with my feed reader, the web is still very active if you're willing to go out of your social media bubble.

People still publish on the web, the problem is that the noise is unbearable due to the SEO crap. I predict a return of curated website directories and of "blog rolls".

Google could start banning SEO spammers to drive the cost and the risk up. The fundamental problem of the web is that spam is cheap, and the other problem is that Google's incentives are more aligned with the SEO spammers than they are with users.
Sure, but then you get the original Doom source release license, which is for non-commercial educational use only:

https://github.com/id-Software/DOOM/blob/77735c3ff0772609e9c...
> The problem is that our society has no other viable widespread mechanism to support

Except, of course, UBI.
Nothing to see here. The Linux Doom version was re-licensed to GPLv2 in 1999.
And if you look at open source it does exactly that. Most AI models are open source/weights. People are giving away some of their best work because they want to cooperate with others to build things.

Scientific publications also share knowledge openly. Only private journals are locking up papers, but they are losing ground. At least AI papers are free to read and implement. They share even code, datasets and trained models.

I think the ethos of progress is with open culture not closed copyrights.
I never thought about it that way. Sounds like step functions could end up "spaghetti code on steroids" if you do it poorly.
So just like the Windows start menu search that HN says is the devil's anti-feature, but when Apple does it, it's suddenly a great feature?

Do you smell that? I smell double standards and hypocrisy.
Bosses is obviously not a perfect analogy. But the reason we pay for their services is not to create good jobs, it is to get good schools and police departments. We should be focused on getting the best outcomes for our tax dollars. The best outcomes would generally be produced by a happy workforce, so I'm not saying worker needs should be ignored. But taxpayer and employee interests are not perfectly aligned, employees will always be trying to maximize pay and reduce hours. Giving workers too much power moves us away from what should be our goals of providing a great education in a safe community.
Let's assume it is in a room with a radio listening to music, and that the AI is "general purpose" meaning that it can also perform other functions. It is not the sole purpose of the AI to do this all day.

I see where you are coming from in trying to identify the source of the copyright. This would be important information if a human wanted to sue another human for re-producing copyright material.

However, does that apply here? Nobody hears a human humming a song and asks if they obtained that music legally. Should it be important to ask an AI that same question if the purpose of listening to the song is not to steal it?
I'll throw in my recommendation for Kagi! Happily paying user.
Perhaps my best recommendation is when I am having trouble finding something and tag !g onto my term to use Google instead (a reflex from using DuckDuckGo), Kagi will happily take me to Google where the results are, every time I've done it, much worse.

Kagi is exactly what I want my search engine to be, and feels like what Google used to be, to me.
Apple Must Stop Selling Watches with Blood Oxygen Feature
I, for one, do not want to live in your new world.

Further, I doubt that preventing AIs from literally stealing protected information will halt the rise of smarter AI. There is plenty of free use information out there that is LEGAL TO USE. Just curate your dataset to prevent the ILLEGAL use of other material.
There’s a bunch of things you can do. Replacing all the square roots with a lookup table might be doable, and you could make the final drawing faster by not using the generic plot routines.

You don’t have a lot of memory to play with though as you only have 32k to start with and the frame buffer will use 20k of that, so I’m not sure how good a look up table you could make for SQR.
While Obsidian is good, I prefer SiYuan Note, which is open source, and has more features. It's like a mix of Notion and Obsidian.

https://github.com/siyuan-note/siyuan
These maps look great! Reminds me of a project I saw a long time ago [1]. Glad you made this downloadable for everyone who cannot write code.

P.S.: Now, I also have some (birthday) presents ;-)

[1] https://github.com/marceloprates/prettymaps
This a pretty strong claim with zero data to back it up