skysight-inc/HackerNews huggingface dataset:
Mathematician here (trained as pure, working as applied). Non-elegant proofs are useful, if the result is important. e.g. People would still be excited by an ugly proof of the Riemann hypothesis.^1 It's important too a lot of other theorems if this is true or not. However, if the result is less central you won't get a lot of interest.

Part of it is, I think, that "elegance" is flowery language that hides what mathematicians really want: not so much new proofs as new proof techniques and frameworks. An "elegant" proof can, with some modification, prove a lot more than its literal statement. That way, even if you don't care much about the specific result, you may still be interested because it can be altered to solve a problem you _were_ interested in.

1: It doesn't have to be as big of a deal as this.
I don't use the domain blacklisting at all, encounter spam ~never, and almost always get what I'm looking for in the top 5 results.

1) Google now requiring special skill to use is a totally legitimate way in which Google is inferior

2) I'm actually quite good at Googling and know much of the advanced syntax -- still sucks as of a few years ago!

Obviously people's mileage may vary, but if anyone else is reading this and hasn't tried Kagi: you should. It is unambiguously and inarguably worth trying.
I asked the developer of Podcast Addict about this and shared the article. This is their response verbatim:

"Hi,

I'm sorry but I don't understand your email. Of course every podcast app connects to 3rd party content to stream it and therefore hosting platforms and tracking services and ad services used by the podcasters will have access to your IP address.
Sorry but saying that a podcast app leaks your IP address is as stupid as saying that a web browser does. It's just a tool that connects to 3rd party content, so yes unless you're using a VPN the server you connect to will always have access to your IP address
The app doesn't have your location. As you can see it doesn't ask for location permission so the app doesn't have anything to share, but yes your IP will of course be public to any server you connect to

Xavier"
>Is it feasible to build a community that will contribute, and also get the search traffic[1], and be economically viable, particularly in the post LLM world? I don't think so.

To be honest, it's more feasible than ever because of LLMs. I imagine more and more grassroots for "human communities" will be advertised as those weary of LLMs tire and migrate. Having systems guaranteed to be humans will be a selling point. Not guaranteed to surpass SO, I imagine it will get a sizeable community.

The downside is that, short of a very fast updating anti-bot captcha, users will more or less need strict identification to enter. Either via a premium payment or showing real life ID. Very unpopular models in the US. we'll have to see if the hate for AI overrides the will to give up anonymity (at least on the backend) or putting their wallets where their mouths are.
Different segment of the industry but about the same time period (HaCF is maybe set a few years later).
What you are describing is that other people around you are having a conversation, then the moment something you can relate to is talked about, you start talking about yourself. Do you really not see the problem? Seriously, do you think talking to someone is about each person talking about themselves in turn?

Sure, people love talking about themselves. But you don't even pretend that a conversation is anything but an opportunity for talking about yourself. Why do you believe that anyone would like to talk to someone like that?

Even in your example you say how annoying it is that someone interrupts you and talks about themselves, but somehow you ignore that you did the exact same thing just a minute earlier.

You aren't trying to have a conversation. You are trying to talk about yourself and people react exactly how you would expect.

>I think the saddest part of all this is that even my wife's attention drifts off most of the time I try to talk to her.

Me too.
It is because Google want a situation where they have a monopoly over being able to track web users, and Chrome is a major part of that.

Because that is so blatantly anti competitive the adtech industry manipulates it into a sort of war of opaque identifiers (“user resettable device identifiers”) , attached to things like Roku, smart TV and phones, which then can be passed along with bid requests for ads and later used to effectively target people even on other devices in the same household, conveniently only by some players in the adtech world who then charge more.

Breaking the Chrome monoculture will not solve this problem by itself, but it is a necessary step in getting there.
That made me think of my favourite motivational poster, which is titled «Mistakes»: https://despair.com/collections/posters/products/mistakes?va...
How about the Tor Browser?
Not everyone uses Latin-based scripts, you know. Most of the symbols in the BMP (including Brahmic scripts) take two bytes in either UTF-8 or UTF-16, and CJK symbols take 3 bytes in UTF-8 instead of 2 in UTF-16. Emojis, again, are 4 bytes long in either encoding. So for the most people in the world, UTF-16 is either slightly more compact encoding, or literally the same as UTF-8.
https://github.com/agentstation/uuidkey/blob/master/uuidkey....

They don't appear to check validity though? I haven't tested it so maybe someone else can double check.
The compensation they offered was the maximum sum based on Chinese IP law. However, it was so tiny that it did not help with anything.

If I accept the compensation, they would produce a poorly designed glass ceiling that somehow would be connected to my brand and products but would not reflect the true nature of my art glass.

If the company stoles buildings without paying royalties to the original creators, do you believe they are interested in paying anything to me? The question was rhetorical
It's already flagged. I flagged it too, but not even for the inflammatory title, but because the article itself is almost entirely devoid of content. There are no interesting specifics to discuss.

It does link a few papers, but I assume those papers are only a tiny fraction of the research being done.
As a long time rubyist, I know that Andy's Glimmer preceded Yehuda's.
And only 21,000+ commits. Nice!
Totally worth spending a single day at some hackathon or slack time event... but not more. And it looks like a lot more.
If there are exactly two possible values, TRUE and FALSE, you're working with Boolean logic.

If there are three possible values, TRUE, FALSE and NULL (unknown), then you're probably working with something like Kleene logic. You can't truly be working with Boolean logic, though, any more than you can be doing integer arithmetic when 15.37 is a member of your domain.

To put it another way, if we're talking about the mathematical definition of boolean algebra and not just some programming language's quirky implementation that happens to be called "bool", then boolean values would by definition be non-nullable. That logic that allows nulls has been implemented using the same unified set of keywords and operator names is a pragmatic decision that simplifies the language implementation and spec, not a principled one that tries to be pedantic about mathematical terminology.
Find the difference! My client was forcing me to make a copy of the Plaza Hotel ceiling. However, with the statement that my skylight was inspired by the Plaza Hotel ceiling, I created a unique and original artwork that has no single line or combination of 3 lines that look the same as in the Plaza Hotel ceiling.
We read this book in book club when I was a teenager. It was incredibly impressive. I think it's time to read it again...
Yeah, the code is easy but navel-gazing and agonizing over the prettiest way to replace a long jumble of dash-separated lowercase characters with a slightly shorter jumble of dash-separated uppercase characters is an insane thing to spend any time on at all. Convince me this has any commercial value and isn't just bikeshedding.
Running "shutdown" on remote hosts isn't something I have ever needed to do routinely.

Is this for ephemeral dev boxes? Does shutdown suspend billing on AWS/cloud type hosts?
...but you'll have those dependencies anyway!
Off topic but how is MCTS usually implemented efficiently? It has a branching structure that doesn't seem parallelizable (GPU).
it's called a 180, quite common in politics, no one has actual morals, all they care about it approval, and with the likely hood that 99% of trumps other suggested policies aren't going to be approved by the majority of people, he can distract people by claiming "look guys, I stopped the tiktok ban, so you have to like me, just ignore everything else." The goal of every bad faith world leader is to keep their populous stupid and ignorant, this type of thing is very common, if the government can make people focus on some policy that brings headlines, but is ultimately fruitless, they can silently pass bills that actually mean something with no one looking their way.
Source? If you’re doing board repairs and adequately clean the previous components then I see little reason why adding leaded solder to the very small amount of remaining lead free solder would be a problem. If you have a full lead free joint and then add a bit of leaded solder, sure… but how many people are doing board repairs like that?
Decided to check those ligatures out, but this is pretty much entirely unreadable to me.

https://usgraphics.com/static/products/TX-02/images/TX-02-li...
RIOT-OS implements shims of the FreeRTOS functions required by the Wifi driver when running on ESP32
Using Firefox on Qubes OS. Show me any good attack vector affecting me.
And is it encrypted at rest and in transit? If so, what level of encryption? Are keys ever stored in the app?
I don't know if this is valid, but thr guidelines do state that you can slightly editorialize any title that comes off as clockbait.
i don't need anything reminding me that i'm in a remote shell session: i know because it lags. i also know which one from the delay's length.
- Where Wizards Stay Up Late: The Origins Of The Internet

- A Man on the Moon: The Voyages of the Apollo Astronauts
No, it's not that.

Brave was caught inserting their own referral code in signup forms on websites. This is basically exactly what Honey is doing and under fire for right now.

Brave basically does a man-in-the-middle attack on those websites. This goes MUCH further than just a privacy issue, it's a security issue.

I don't care about privacy, it doesn't exist, and I use Chrome. But I won't compromise my security by using a browser that is happy to pirate the pages I view.
Foxconn has stopped sending Chinese workers to India iPhone factories
React for Embedded Development
I've been exploring how concepts from React, often used in web development, could improve the way we handle embedded systems, particularly in managing complexity and state. By adapting React component-based design and lifecycle management to the constraints of microcontrollers, we might streamline the development process and make code more maintainable and reliable. I've written an article on this and would love your thoughts and feedback.
This is why its vital to make unethical corporate malfeasance costly. Meaningful fines and criminal convictions for individual executives responsible for law breaking, wage theft, and intentional violations of regulation, provide meaningful deterrent. In their absence tax evasion and white collar crime become normative, which changes the game for anyone working in executive level roles.
By far the best one I've come across is Microsoft Azure Document Intelligence with the Layout Model[0].

It's really, really good at tables.

You have to use the Layout Model and not just the base Document Intelligence.

A bit pricey, but if you're processing content one time and it's high value (my use case as clinical trial protocol documents and the trial will run anywhere from 6-24 months), then it's worth it, IMO.

[0] https://learn.microsoft.com/en-us/azure/ai-services/document...
What language is that? Given that there are glyphs for Ancient Egyptian in Unicode now, the claim that there's a language you can't write in Unicode needs some backing :)
> I just think it's a mistake to talk about the very latest Thunderbolt 5's bandwidth vs legacy Lightning as if Apple were still promoting it.

Apple are still promoting it

https://www.apple.com/uk/shop/buy-iphone/iphone-14/6.7-inch-...

Apple also argued against EU regulation forcing USB-C adoption by the end of 2024.

> It's like comparing Thunderbolt 5 to Firewire.

I don't think it's fair to make that comparison.

Given that we're only 10 days past the end of 2024, i don't think we would have iPhones with USB-C and 'non-legacy lightening' speeds like we do today.
I like adding a suffix as well: (optional) human readable expiration date
For any possible definition of "short", there's only finitely many (and typically few) theorems that have a short proof, while there are infinitely many theorems (not all of them interesting).

More in detail: Proofs are nothing more than strings, and checking the validity of a proof can be done mechanically (and efficiently), so we can just enumerate all valid proofs up to length N and pick out its conclusion.
I would like to register a prediction of futility here, just a little more detailed than the trope of "when you try to idiot proof something the universe always makes a better idiot."

The number of software systems I've seen designed to allow the clueless to bumble their way through operations is much higher than the number of companies I've seen that attempts to train better operators.

Maybe its the experience of working on tractors, where the PTO has fun side effects like "degloving" where, sure theres a guard but more importantly theres attention not to put your hand, hair or clothing near the spinning torque monster of doom. Theres no option to make that purely safe economically. Same goes for machine tools and other heavy equipment. The people who work around such things have been to my experience more capable at accomplishing difficult, diverse tasks.

Where was the last company that had anything equivalent to the lowly "forklift certified" for prod? Its a very rare shop I've seen invest in any sort of across the board training for command line skills, outages, pre-requirements for delicate operations. We don't invest in people being better, being more capable. I think because we have internalized an owner/management point of view that workers are fungible and training is a waste, while software system guards are investments.

As a worker, I don't agree with that. I don't agree with building systems to be powered by the lowest educated, lowest paid meat popsicles yet I think thats the strategy behind this.

Next time you go to build a system like this, consider who's logged into production and can they be trained to be more capable, more attentive operators. In the long run, I think it will end up with a better industry overall.
Live Audio of Oral Arguments: TikTok, Inc. vs. Garland, Att'y Gen. (24-656)
Interesting. If I get hold of someone else's device I am terrified what I might find on it and factory reset it before I do anything else. And being a tinkerer everything is taken apart and what I can't use goes out as components.
Oh. No, not sure.
Oh, then I agree. My apologies for interpreting you as saying something so obviously incorrect. Yes, in particular CHERI has a mechanism to shrink the bounds of a pointer, but just returning a pointer into an array won't do it.
This statement makes me never want to use their product.
You're annoyed that a Korean show isn't about your American problems? Good grief.
Most autocrats in history have been democratically elected or inherited their position from other autocrats who were.
It's hard to overstate the ingenuity that went into this!

Despite what people say in the comments here, both browsers really do not let you execute PDF JavaScript willy nilly. Outside of browser environments you are mostly safe anyway because JavaScript is rarely supported, with the big exception being Acrobat. The cleverness of pdftris is not so much Tetris in PDF but how it found its way around the restrictions that browser environments have put up to protect us.

From what I understand pdftris also only works because of user interaction. I think there is no way to run JavaScript in a PDF without user interaction.
Sorry, when I was comparing the foods, I was talking about meat versus plant-based foods. The point I was trying to make is that buying plant-based can be framed as a logical decision.
> There NO ADS with Brave Browser - like I just DO NOT SEE ADS anywhere on the Internet.

There are no ads with any browser provided that you press one button and install a browser extension that blocks them.

Brave isn't an issue regarding privacy, it's a security issue, see what I said on https://news.ycombinator.com/item?id=42656123.
Their customers are developers, their product is a dev tool. No different than any other company obsessing over great UX. Stripe won because of the developer experience.
This for the case where you think you type it locally but are actually typing it remotely. But I’d personally never type this locally so this use case is not convincing at all for me.
Electron is only successful because it saves development time compared to native applications, not because it's good for users.
Netflix is specifically buying local productions. Changing them on fundamental levels just to cater some us-viewer seems pointless.
The Keeler House in Photos (2024)
Yes. Although I suspect many would disagree since there's an entire subreddit dedicated to them! r/antiwork
"If our ship travels 20,000 light years in 40 years (from the perspective of those on the ship) then that would take a "real" 20,000 years from the perspective of those on Earth"

This part just breaks my brain. I've been reading about this stuff for decades, and it just does not compute. It's also a little funny because there's basically zero incentive for the folks on earth to send astronauts away at near-light speed, as they'd never realize the benefits of the mission.
I'm using molly-guard (htps://salsa.debian.org/debian/molly-guard, mentioned on Boulette's github btw as inspiration) since years for this after I've remotely shut down our file server thinking I was on another tmux pane. It saved me once or twice since. Btw, molly-guard doesn't require setting up aliases.
In gamedev a lot of people read those docs but not a lot of them shipped anything using it. The reason is that file paths are not everything that has A/W versions. There is user input, window message handling ... The API is a maze.

I really would like to learn otherwise. But when I have to suggest fixes my old opinion stays. Dropping any C runtime use and going from API macro or A version to W is the solution to all weird and hard to repro problems on platforms from Ms.
I acknowledge there would be conflicting forces and its a complex machine, but knowing myself and how important liberty has been to me for my entire adult (and even before as a teenager) life, I am confident that I would not interfere and would rather let a forum wither and die or leave moderation of it if the content presented fell outside my moral belief system rather than get in the way of people communicating where they want to communicate.
What’s wrong with their built in support?

https://support.google.com/android/answer/2819582?hl=en

It doesn’t work like iCloud where everything is backed up - even private app data?
Tom was very intense. Dotted line worked for him for a while. Latterly he had an internet-related effort that didn't pan out (welcome to the crowd) but also was fairly instrumental in CLARiiON RAID disk arrays and an early NUMA architecture, neither of which ultimately saved Data General but probably helped keep it running for longer than it otherwise would have.
As I remember it, the Mac was the first home computer that didn't come with BASIC out of the box.
It’s the “Do you want to share XXX” popup all over again. Once you get used to see it, it will be a part of the shutdown command (to take the example in the readme).
This ulid Postgres extension doesn't have any performance issues compared to native uuidv7 in Postgres. https://github.com/pksunkara/pgx_ulid. Just wanted to bring it up since it looks like the author didn't come across it when looking for ulid generators in postgres.

Disclaimer: I built it.
The author mentions readability - if they care about it, they should eliminate all ambiguous characters like 0Oo1l.
What an achievement! (Sarcasm) Few people in Russia know about it! You are like a spiteful child who rejoices over an insignificant problem of his enemy. And problems exist everywhere and all over the world, if you throw everything at this resource, it will be littered with such idiotic news as yours
This is just what it looks like to care about the details, though certainly a more trivial case than most.

The resistance to it is part of why most engineer-types like HNers can't build UX. They think it's all agonizing and navel-gazing, so they don't deliberate over anything. And they don't practice it, so when they see someone making deliberate UX decisions, even trivial ones, they think it must have taken a lot of time.

Good UX comes from a chain of trivial-looking decisions in isolation and a culture of caring about it.
Walt Disney's story was always fascinating for me! How one person's vision could shape an entire industry and cultural legacy
Combination of bash profiles and alias can be used to achieve this without installing any external thing. You can prevent commands like rm, chmod, cat etc even for root user. You can also prevent root users from accessing directories where the vault, database etc. Data is written.

Ps. At Adaptive (http://adaptive.live), we have kind of productized something like this.
When DRY Goes Wrong
All things in moderation. I think they're correct to classify their API keys as part of their user interface. It's less like deciding the colour of the bike shed, and more like deciding whether the metal sides of the new iPhone should have a brushed or polished finish. Sure, it doesn't affect anything practical, but it may well influence how the user feels about the product. Maybe you deny having feelings about APIs but I think you'd be lying ;)

All that said, I'm not sure the juice was worth the squeeze here - I don't think their new API keys look any more beautiful than a standard UUID. I like that they cared all the same, though.
https://archive.ph/OTqgy
Ah, so if a political party spent several election cycles emphasizing how the opposition was ignoring the problems of "rural Americans," or "parents," for example.
Tangent, but same with Quickbooks Online. Seems most accountants and bookkeepers I have spoken to hate it, however it has a really useable api and simple callback system which makes it super attractive to developers.

No surprise then that it is the worlds most used accounting software, even though most of its users hate it.
Is Meta the company here or are they using meta the word? or both?
Oh, I suppose I do see some ads. Every now and then there will be a little popup recommending something - occasionally it's something even relevant. It's funny bc those ads are from Brave but they don't use the Browser, they come thru as desktop notifications and I only see them there. I do have an ad blocker that has always been on also, so I maybe augmenting the Brave experience a little but I just don't see ads online.

I use Edge occasionally - which is far superior to Google and I don't kno how ppl deal with browsing the Internet like that, it's wildly frustrating.
Indeed, my kids who are 5 and 8 enjoy it about just as much as Mario Kart 8 - especially the earlier levels which require less of the balloon jumping.