skysight-inc/HackerNews huggingface dataset:
A long time ago we had something called "standards" that were intended to solve this problem. The idea was that developers of different browsers would get together in a neutral forum and agree common ground that everyone would support. That way developers could reliably build upon that common ground and expect their products to operate correctly in any browser. It was an excellent idea that heralded the success of the modern WWW.

Naturally this enforced competition wasn't in Google's interests as its browser became dominant and it adopted the infamous Microsoft strategy to deal with the threat. Apparently we're fast approaching the extinguish phase.

The correct solution to this is for influential public bodies not to insist upon supporting any specific browser or browsers but instead to once again support open web standards and therefore free access to their information and services for all.

This is almost certainly in their own interests anyway. Google has a nasty habit of suddenly killing off its non-standardised extensions. Relying on functionality that other browsers don't necessarily support as well seems unwise.
Orange County, cA.

Pros:

Wonderful weather, very safe, good schools and a good mix of industry and pleasant suburbs of all kinds, from old beach towns to cliffside mansions to ranch houses with wide streets and new denser condo areas. Not as expensive as LA and The Bay.

A short drive to LA, so some people will commute to jobs up there, but also a decent amount nearby.

I'm about 10 minutes from Blizzard, a large Amazon office, Broadcom, and numerous other smaller tech companies. About a 25 minute commute to a decent sized Google office as well (~1k people).

Cons: Still pretty expensive and not near as many entry level tech jobs as the Bay, NYC, Austin, and other tech hubs.

Still, 1.6 million can get you a nicer, newer four bedroom detached sfh in a very pleasant neighborhood. I'm guessing it's quite a bit more in the Bay or NYC.
The proof text is separate. Currently it's up to humans to ensure the proof text (written in LaTeX) properly matches the Lean proof.

Indeed, you can see in the article that the text of Theorem 7.2 omits for brevity details which are present in the non-pretty printed Lean proof (for example H is non-empty, K is a real number, etc.)
Well messaging for one thing...

Some others:

- Find my device features including Bluetooth ping networking (airtags, Tile, Android's upcoming network)

- Airdrop/Nearby Share

- Bluetooth LE proximity pairing (at least I doubt this works when pairing cross ecosystem)

- Carplay/Android Auto

- Airplay/Google Cast
This makes sense. Add in that he was featured on the JRE (which is where I first learned about him) which no doubt gave him a nice audience boost.
this is a very one-dimensional analysis.

It doesn't factor in the network you gain from college, chance to collaborate with others, opportunity to find romantic partners, etc...
I vehemently disagree. In practice, I don't use those blocklists and neither do the neighbor instances we most heavily interact with. I'll occasionally hear from a friend that "new instance XYZ is sharing loli porn" or "instance ABC's moderators quit and now it's flooded with swastikas", and then I (and my neighbors) will verify whether that's true, and then disconnect those specific instances.

I also think mainstream Mastodon is only left to far-left in the median, because far-right instances tend to be more of a pain in the ass to be around than far-left ones, and thus get themselves banned more often. If there were far-left instances running around posting memes "joking" that we should kill minorities, I'm confident they'd also get disconnected quickly.

Put another way, I don't recall ever disconnecting with an instance because of its users' opinions, unless those opinions were utterly vile to the point that I'm completely unwilling to hear "their side of the argument". Most blocks are due to bad behavior, not unsavory thought.
Locking up (or causing possibility of doing so) a non-siding line sounds like Denial-of-Service on rail line.
Is there a handy demo website somewhere to access that?
Selling something on Amazon that's purpose-designed and purpose-advertised for creepy videos in the bathroom is different than selling something on Amazon that's small and requires creativity and skill to hide in a mount.

The bar is lower for a product that some creeper can order something on Amazon and install it with a screwdriver, vs something that requires woodworking (or 3d-printing or injection molding or papier-mâché or whatever) skill in order to disguise.

Edit: the thread here is about selling on Amazon, but I see your response a few levels up mentions legality period. IMO the law should treat marketplaces like Amazon differently than individual possession. And of course, there’s a muddy line in between the two. Which is why I think law should be judged by humans rather than code.
There was a lot more to it than that. Insults tend to gradually lose their meaning until they just become synonyms for "stupid". E.g. "idiot", "dumb", "gay".
And still no communication from 23andme for those that could have been affected. Just a prompt about changing your password.
No one literally says that.
seems like if FF leadership is smart they will figure out some way to tweak their product so that it is compliant or they will start spending money on advertising. I have never once in my entire life (I'm 36) seen an ad for FF. Personally I like FF but find the browser to be TOO tight in terms of things like needing 2FA to sync. My number one browser is Vivaldi, which is Chromium-based (obviously) but does have enhanced tracking protection.

https://vivaldi.com/blog/vivaldi-powerful-privacy-settings/
Play Figgie at Jane Street
Yes. Gato was a good proof-of-concept that the Decision Transformer approach of 'just model literally everything as a sequence' scales well and doesn't exhibit some sort of catastrophic interference and can successfully imitation-learn from all the expert datasets, and a bit of transfer. But they need to push it at least another OOM or 2 to show major transfer, some emergences, and ideally do both from-scratch learning and additional learning on many new tasks. We continue to wait. :(

I hope it didn't all get rolled up into Gemini and become a state secret they'll never publish on again, or lost in the shuffle in the chaos of the DeepMind/Brain merger/liquidation.
With recent events in AI and deepfake technology, I would need to see some assurances before I agreed to “donate my voice” to something like this. It seems like the project is for voice recognition, not generation, but it’s not immediately clear.
> Adafruit has succeeded here, I think mostly due to the great online community, innovative support, and the large volume of products they offer.

Yes to all of that. I'd also add that they benefit from being a company that doesn't make you feel like you need a shower after doing business with them.
That wouldn't be a free market. It would be some kind of oligarchic corporatism. Government is necessary to truly enable free markets. The key to understanding that is to understand what "free" truly means [0]. It isn't "do what thou wilt".

[0] https://news.ycombinator.com/item?id=38537665
If they actually just took a binary from OSX and stuck it into their app it probably wasn't the best lawyer
So, I wasn't that big a fan of the Clippy story (probably not the target reader here) but the QNTM one was *fantastic*.
> No browser deserves special treatment here.

Completely disagree. Privacy is a 4th ammendment right, so the government has a duty to support privacy first browsers. How am I "secure in my ... papers and effects" if I must use a privacy destroying browser to interact with the Government? If anything, chrome support is what should be questionable.
I think the engineering on this project is a great step forward, I am not a lawyer but I think it’s possibly actually especially a step forward if Apple pulls the plug on this because it will add that much more ammunition to the case regulators have against Apple using their services as gatekeepers.
> "I remember doing similar tricks when I was a kid. Nowadays I simply won't even care trying. The problem clearly isn't supposed to be solved this way."

For some, being a hacker is a fashion and a phase. Much like being a punk.
And traditional PC makers have a problem with unplanned obsolescence. A lot of consumer hardware does not receive updates from the manufacturer after the device is off shelves.
We're not disagreeing with the presentation, you're misunderstanding it.

No matter which protocol you use the packet only has one destination, the destination IP, so it does not go through the slow path on any hop on the way just because its ICMP. When a packet hits the TTL limit on a hop it will go through the slow path as the CPU will generate the response ICMP. The protocol used for traceroute makes no difference here.
Using Lego account as an OAuth integration
Okay, that is super impressive. Especially what it does when you search for an artist.
Mozilla employee here.

Truth of the situation is probably worse.
We are losing users faster than anticipated.
Common courtesy? Proper etiquette is to ask instead of assume and complain.
I swear. There is something sexual in nature with the British govt.
Formalism and its “derivatives” died a long time ago already. Even Hilbert couldn’t do much about it.

That being said, constructive math is still a great idea.
> Imagine if you have a website with 1,000,000 monthly visitors, and 2% of them use Firefox. Dropping support will mean 20,000 less monthly visitors.

It will always be 2% which will always be, at maximum, 2% more revenue. That's probably negligible if you have to support them and there's an opportunity cost to that money. You'd probably be better off spending that money on advertising than Firefox support, especially since Firefox users typically know when a page isn't working, it's probably them and they have a backup solution available.

I used Firefox for a long time but switched because I just got tired of switching all the time and I started regularly using a site that didn't work in Firefox (I don't remember now but I think it was my credit card).
The difference is that the TV can not generate light at orange wavelengths, while auroras can! And then the twist is that what was captured by the camera was of red and green wavelength.
Apple could also end bullying by giving their phones away for free so every kid in high school could use iMessage. Is it acting ethically if they don't do that? Exactly how much of Apple's products and services should be made available to everyone, and where/how do you draw the line?

To be clear, I don't have a dog in this race. I have an iPhone but barely use iMessages.
You figure he’s driving the culture at SpaceX more than Gwynne Shotwell is?
Mozilla Corporation paid Baker's salary. The tax forms were for Mozilla Foundation only. The annual report combined all Mozilla entities.
Google search in Android can do that too. Albeit not very well.
whack-a-mole with coder wars
Yeah you can define viewcomponents in ruby. Have them rendered based on stimulus code. Turbo lets you do updates without full page reloads, viewcomponents make much more reusable and flexible ruby based components than pure erb, and stimulus handles front end state. I rewrote a medium size react + graphql page with this and thr code base was literally 1/10th the size
>Beeper will fight it either way.

That sounds nice and all, but what happens when the first bill comes due from their legal team?
Censorship and biasmaking will always exist because the benefits it has for the elite are too high to not try and engage in it. There are many articles on current events in wikipedia where you can sift through the webarchive and see very different articles in terms of what details are highlighted or omitted entirely.
Yeah those bunker wont belong to them if things go to shit at best they will belong to their now former bodyguard.
I found prototyping with `anyhow` really easy then I can convert to `thiserror` if I'm not interested in the boxing.
it does not matter if op ends up switching and I did not imply that.

if enough people think like op then some of them will be among new generations of developers.

plenty of people, im sure, started out on android because it was free
> the entire heat of the inner planet

... is an energy figure, not a power figure, unless you mean either the rate at which heat is added through thermal decay, or the rate at which heat is lost through conduction to the surface, both of which are at the same mid-ten-terrawatts order of magnitude as human power usage.
Nope, there was separate tender for just trains, and for the servicing. NEWAG (manufacturer) won the train contract, but lost the servicing contract tender.

Under current rules they had to provide as part of the first contract complete documentation for servicing that any legitimate (vetted & certified) 3rd party company could then use. By servicing I mean literally taking the train apart and handling individual assemblies to original manufacturers at times.

So it is very shady, unethical, and illegal.
> Stacked pull requests are often a solution to, not that cause of, untold suffering.

I understand what you mean by this, but in my mind it's a poor solution because it doesn't fix the root cause. The root cause of stacked PRs (in my experience) is that people are waiting so long for review that they branch off the initial change.
> I was nearly-always sorting <4 elements (and often just 1, or even 0).

In my opinion, a bubble sort is a solid choice for that sort of use case.
Every time one of these come out I hope it DOES take all my dev jobs so I can focus on things that don't require writing code. Every time they fall really short.
Back in the olden days, it was not uncommon to print bitmap graphics files from compressed graphics source (e.g., gif, jpg, tif¹) by sending code to decompress the compressed graphics data alongside a base64-encoding of the data.

⸻

1. These were the only compressed graphics format options available back then.
I'm Greek, I've been to the National museum of Athens several times and love the mechanism, the replication attemps, etc Clickspring though has actually made me understand and feel the challenges to build that thing. My personal view (please take it with a tablespoon of salt) is that Clickspring has made further contributions in understanding the underlying technological challenges than many academic papers and diatribes have done.
> usually more expensive to run AI models

Machine learning inferencing on phones is cheap these days

https://apple.fandom.com/wiki/Neural_Engine
I just got done adding APNs to one of my dashboard apps.

It's a wicked pain in the butt, but I finally got it. The trickiest part was the backend server, which I implemented in ... gasp PHP. I didn't want to load in a whole SaaS, in order to do a very simple push notification, so I had to learn to do it from scratch.

In the process, I learned that there's a lot of wrong information out there, and I had do quite a bit of trial and error.

But it works, and the code is actually wicked simple.
Last I checked gov tech is larger than just one person commenting on HN.
Gaim
> This is particularly funny in the case of left-wing politicians paying extras bucks to have their kids in elitists white schools with strong discipline, while advocating "diversity" for the other kids when they are interviewed on TV at night.

There is nothing wrong with advocating for a society wide rule change, but still playing the game according to the current rules.
Protip: if you really don't want to admit defeat in an internet argument, it's usually a better look to just stop responding. Let me paste the quote for you:

> My commitment to free speech extends even to not banning the account following my plane, even though that is a direct personal safety risk
- @elonmusk
Correct. He's ignoring context.
Beeper Mini is the iMessage for Android app we've been waiting for
alas all of the benchmarks are based around totally self contained problems.
Apple wouldn't exist, but what of it? They didn't really invent very much did they? They just implemented it very well for a price point.
Funnily enough, "MMAcevedo" doesn't break my suspension of disbelief, while "Clippy" does, hard - even though it tries to stay grounded in reality and drown you in quotes and references.
We can barely get people to care about the implications of types of surveillance that they do understand (CCTV everywhere, Snowden's revelations, etc). It's going to be nigh impossible to get people to care about this enough to make a difference.

Heck, even if they did care, there's nothing they can realistically do about it. The genie's out of the bottle.
Escape from Model Land – book review
In Escape from Model Land: How Mathematical Models Can Lead Us Astray and What We Can Do about It, Erica Thompson explores how mathematical models are used in contexts that affect our everyday lives – from finance to climate change to health policy – and what can happen when they are malformed or misinterpreted. Rather than abandoning these models, Thompson presents a compelling case for why we should revise how we understand and work with them, writes Connor Chung.
I don't see this creating new algorithms (as in, not in the training corpus), but maybe giving the kind of answer you would expect from Stack Overflow, without all the social fluff around it (comments, badges and so on).

The day one of these find new algorithms to solve problems with better complexity or simpler code that state of the art, I'll wake up. When I give a LLM a computational geometry problem, it's exactly like a student trying to bullshit his/her way through an exam without any actual deep understanding.

For example, I ask for an algorithm to compute Laguerre Voronoi diagrams (usually not available in books or code examples), and I get answers for plain Voronoi diagrams, because it's what you will find in many books and code samples. Generating boring but necessary code, in moderation, is a win.
To evaluate the model, you need to look at millions of people over multiple decades.

How well the model works (or doesn't) has no bearing on the enthusiasm for striking at a particular workplace.

As I wrote in my comment, it is not surprising at all that there is meagre participation from Tesla employees. The conflict is not between the employees and their managers. The conflict is between the Tesla enterprise and a handful of national labour organizations.

(There could very well be tangible upsides for Tesla employees, if the unions succeed. Or maybe none. It is not really relevant and I am not familiar with the details).
https://www.nytimes.com/2023/12/05/us/politics/ukraine-aid-z...

https://www.reuters.com/world/europe/eu-states-start-debatin...

https://edition.cnn.com/2023/12/05/politics/us-ukraine-aid-c...

https://www.washingtonpost.com/world/2023/12/04/ukraine-coun...
The phone number registration https://blog.beeper.com/i/139416474/sending-and-receiving-me... will make it possible to enforce legal action against malicious and spammy messages.

Note that iPhones already receive SMS spam and fraud just like every other phone.

However, you are correct that the blue bubble is no longer a guarantee that the bad actor is using an iPhone.
Technical details in this blog post -

https://blog.beeper.com/p/how-beeper-mini-works
Imagine a correlation study between genes and worker productivity, it'd be an interesting study if done correctly, but it might not be done correctly (and to be clear, I don't think it should be done at all). Now imagine you have genes that have a negative correlation with productivity which makes it hard for you to find work.
First, the companies involved in self driving need to stop lying about their records. Tesla has engaged in years of making extremely suspect claims about their safety that do not stand up to scrutiny at all.
No.

That type of total secrecy only exists in bad movies and conspiracy theories.
A pipeline giant is helping to push Texas's power grid to the brink
"would you say it's costly in comparison to standard cost of living in India"

Yes. Especially in Mumbai where population density is crazy and real estate is premium. Even a 1000 sqft apartment may cost a Million USD. Sort of like NY/HongKong real estate prices. Many Prime locations have properties priced at $1000/sq ft.
there might be financial and political aspects to that, including those of the major investors of Twitter as a private company
FastUI (https://github.com/samuelcolvin/FastUI), a fully OSS Python-to-React library was just launched recently too
Integrated over the course of a day, total disk solar irradiance for a rotating planet is 1/4 the solar constant. And in our specific planetary case, about 27% is reflected without reaching ground. So the effective whole-day whole-Earth "solar constant" at ground level is about (1362 W/m^2) * 0.25 * (1 - 0.27) ~= 250 W/m^2.

https://en.wikipedia.org/wiki/Earth%27s_energy_budget#/media...
Exactly. There are multiple ongoing projects to formalize existing math, there seems to be some convergence on Lean4 at the moment, but the best analogy is probably programming languages, where there's a constant battle between the old guards with huge staying power and newer entrants with just too many good ideas to ignore. Except that here a lot of the attractiveness of a language will come from how much math has been formalized in that language, which gives a huge advantage to the early leaders. So there might be a bit more emphasis on 'superset-languages' like Kotlin or TypeScript here, that can make use of the libraries from existing languages.
Not much has changed since their realization 3 years ago that they need to diversify their revenue. It was then presented as an urgent life/death matter and justification for multiple rounds of layoffs, but very little progress was made as far as I can tell.

In the "mission" statement they're doubling down on a total lack of self-reflection. They actually think they're in the position to "shape" markets and the internet in general.

How so? Just look at AI. How is a 10M Mozilla proof of concept going to move the needle against Google and OpenAI/Microsoft throwing everything and the kitchen sink at it? Where exactly is Mozilla's relevance in influencing anything at all?

And yes, the political brand is annoying and distracting. The "do-good" internet traditionally aligns to liberal, moderate progressive politics. Mozilla's current "woke" brand is not the same thing. It reeks of DEI, identity politics, intersectional feminism, anti-whiteness.

I don't care if you subscribe to these politics, I'm saying it's not moderate nor neutral. It's sub brand of highly polarized US politics that is widely unpopular outside of it. If you claim to stand for the worldwide internet, this is not "inclusive".

Luckily though, it turns out to be a case of woke capitalism. The budget for software development is 221M, the budget for "leadership" 109M.

They do a lot of leading at Mozilla. Nobody knows what exactly is led as zero promises or roadmaps are tangible or deliver anything. When you check board members, fellows and grants...it just leaves you puzzled at what these people do, how it helps, and how it moves the needle.

They can't help themselves. They are used to getting free money by literally doing nothing: keeping the search box aimed at Google. Next they piss it all away on useless initiatives where failure has no consequences.