skysight-inc/HackerNews huggingface dataset:
I had an intern do something similar with an electromechanical machine. I'd all but written the equations out for him but he found drawing it out in Simulink in the most fundamental, primitive blocks to help him understand what was going on . I don't get it either.

A related phenomenon seems to be people who don't want to "wire up" schematics but attach named nets to every component and then draw boxes around them.
I don't know how fully I agree with this, to be honest. Or, yes, I do - but we obviously outsource a lot to the tools we use. Rightly or wrongly we expect our search engines to source good sources and high quality information. And that has been sort of inbred into people through years of internet use.

Degrading the quality of the output of tools that were once considered reliable and safe is going to create problems, and the onus is not fully on the people using those tools, but on those creating them.
> Current search is great for facts, alright for generic questions, and annoying for answering something.

I feel like Google used to be pretty great at answering questions until they started pushing ads more aggressively into their results, and then intentionally gimping their results (for instance if you put quotes around a word Google will happily ignore it, whereas this used to actually be an enforced rule).

I'm not sure AI is the solution to this problem at all. I think it's about misaligned incentives and trying to shoehorn a new cash cow into the mix.
>then got crawled by ChatGPT for training

Not really, from the example you provided I think it's pretty clear that a custom system prompt was used and ChatGPT is using its own creativity, it doesn't have anything in common with the iFixit guide.
... and thinking about how their `eval` is continuous:

Turing's argument for building his machine to work on an infinite tape of squares holding a finite number of symbols: https://news.ycombinator.com/item?id=41048777 , makes sense for human (and machine) computers, but presumably gods (and angels, and therefore demons and devils?) can make infinitely fine distinctions "at a glance", so they could build a machine with a single square and an infinite number of symbols instead.

However, angelic lambda calculus fails to have any models, for there'd be an infinite regress in the cardinality of higher order functions. If my understanding of Scott is correct, it's the continuity of the exponential and its `eval` which keep higher order functions from "blowing up", and so (although they could presumably do everything in O(1) with infinite lookup tables) if they actually wish to compute in Heaven they'd have to do it pretty much like we do. As below, so above...

> It did not last: the Devil howling 'Ho, Let Einstein be,' restored the status quo. —JCS
Would it be fair to say our minimum wage is now so low as to be basically non-existent, in that its effect on the jobs market is negligible? Or is there still some effect of having it there despite the fact that so few jobs actually hit that floor?
Probably that they care about their customers, unlike Broadcom who just wants to milk the fat whales and isn't interested in the small fry. In other words: long-term vision over short-term gains.
Looking for sales partner for property and facilities management software
Spreading incorrect technical information about a trending current event to possibly millions of people or more just because the grift is hot and you want a quick buck is a bad thing, actually, and should be discouraged to whatever extent possible.
I had a similar problem. Coffee, decaf, even dark chocolate would be very stimulating and would mess with my sleep, even a single cup in the morning. I tried quite a few things to solve this and ended up discovering that supplementing with molybdenum solved it. Molybdenum is an essential element important in the metabolization of some compounds, including caffeine. It's cheap and may be worth trying.

Also, I found that L-Theanine helped but only for maybe a week or so before it became less and less effective. For me, it was obviously a band-aid solution that wasn't correcting the underlying problem.
Last year I did an interview and during the "systems design" phase I was asked to design a video streaming platform for 500 million simultaneous users. For a platform that has maybe a few thousand users, and is very unlikely to every get more than 10,000s users because it's just not general enough.

I never did find out if the test was to recognize that the number was off-the-walls crazy and that this would be the largest platform on earth by a substantial margin, or if they really thought that was a reasonable number. I suspect it's the latter :-/ I didn't get hired anyway, so...

I've also seen microservices for B2B software with low-hundreds of users. If the number of users is within an order of a magnitude of the number of services, then your developers are in need of adult supervision and a spanking.
Welcome to the Developer Science Review
My current solution to std::vectors not being constexpr is initializing a std::array with an immediately invoked lambda expression. That lets me algorithmically determine the size of the array at compile-time, which is the main use I've wanted out of a constexpr std::vector.
I found this[1] from Team Witchdoctor which seems to be exactly what i want but it's very expensive at $300.

[1] https://shop.teamwitchdoctor.com/products/camp-witch-doctor
Well, I guess it is for you to decide if that 10-50x is justified
Thanks for the tip, installing now. Combination of too many toys and being too much of a luddite means I never played with it. Or knew it existed.
I already did and none of them (at a wide range of ages) expressed any real interest in it yet. It's just another boring computer thing Dad works with. Anything I suggest to them is automatically uncool / has zero "rizz".
5th decade …

Related: https://news.ycombinator.com/item?id=40884356
I found so many mistakes, badly understood concepts and entirely wrong explanations just reading for 5 minutes, that I can't possibly recommend this. It's obviously written by amateurs / people with minimal experience of the domain.

Much better resources are Eldad Eilam's "Secrets of Reverse Engineering", for Windows "Practical Reverse Engineering" and for the absolute basics, Patterson's "Computer Organization and Design".
https://archive.is/YQvFH
Yes I guessed that AF meant Air Force.
If they're talking to the people who are part of the project I'd hope the answer would contain detail and not expect to be taken as authoritative.
DynamoDB has the concept of CUs ( compute units ) which are of two types - RCU.(read compute unit) and WCU (write compute unit). You pay for the CUs that are used + charges for storage. Each operation consumes certain number of CUs. You pay for the CUs used. So something like that but for SQL and hopefully compatible with the standard.
Unless there's something I'm missing, he has a long history with being obsessed with naming things "X". Maybe it's a thing he thought about tongue in cheek, but I kind of doubt it's as intentional as folks in this thread are making it out to be.

fwiw, I don't like Elon and I think this whole thread is kinda distracting to actual points about Elon that don't need Olympic size hurdles to understand.
Well, maybe, but I think the huge thing missing from this assumption is that Apple are not paying OpenAI anything, and are developing their own in-house and on-device models.

And a lot of what those on-model devices can do are what the average person will want.

And there's going to take a lot to move people meaningfully away from google.
Apple mentions OpenStreetMap quite prominently: https://www.apple.com/legal/internet-services/maps/legal-en....

Also, the "Legal" link on https://beta.maps.apple.com/ goes to https://gspe21-ssl.ls.apple.com/html/attribution.html which lists OpenStreetMap on the first line.
I am assuming that most customers comes from deliveries in these days. People optimize time.

Only some big, well-known restaurants are an exception because people already known them and know to look for them. They are big enough to have online shop for food delivery and some form of delivery system.

For other places, it is not like that. They need to be visible on platforms that people use. If they are not there, people don't order take-away food because they mainly use applications which provide decent-enough catalog about available restaurants with delivery option and easy payment process.

Typical platform monopoly problem exists because people tend to be lazy and it is hard to get visibility on traditional search engines, when they are flooded by ads for the normal users, and then if you filter them out, SSO spam, which might not be related to restaurants, and then finally, competition against other restaurants.
This has been my theory since Windows 11 required TPM. It's not to protect the consumer, it's to protect the IP-holder.

The PC is the lone outlier in the locked-down, walled-garden world of consoles, cell phones, tablets, smart TVs, EVs, etc. I think there's a concerted effort to change that.
Update on the Sonos App from [Sonos CEO] Patrick Spence
Firefox on Windows 11 doesn't work.
And if you're interested in an actually (relatively) decent instant decaf, I'd suggest trying Mount Hagen brand of instant decaf coffee. Although, just from personal anecdotal experience, I believe it could have slightly more caffeine than some other decaf coffees.
Perplexity has never been a player in the search engine game. OpenAI, a startup, has dominated the AI space, while Google has long dominated the search engine market. Can Perplexity compete against these two solid competitors, OpenAI and Google?
It sounds like the biggest contributory problems here are:

1. Allowing unattended/automatic BIOS updates from a running OS at all

2. Being so paranoid about attacks by a spy with physical access to the computer that the keys cannot be replaced or revoked

I'm not a security researcher, but to just shoot the breeze a bit, imagine:

1. The OS can only enqueue data for a proposed BIOS update, actually applying it requires probable-human intervention. For example, reboot into the currently-trusted BIOS, and wait for the user to type some random text shown on the screen to confirm. That loop prevents auto-typing by a malicious USB stick pretending to be a keyboard, etc.

2. Allow physical access to change crypto keys etc, but instead focus on making it easy to audit and detect when it has happened. For example, if you are worried Russian agents will intercept a laptop being repaired and deep-rootkit it, press a motherboard button and record a values from a little LED display, values that are guaranteed to change if someone alters the key set and/or puts on a new signed BIOS. If you're worried, they'll simply replace the chipwork itself, then you'd need a way to issue a challenge and see a signed verifiable response.
Maybe just the JVM.
Then don't use any website - 100% false positives. But seriously, it's a 9% rate for specific models at the time. It's a cat and mouse game and any fine tuning or a new release will throw it off. Also they don't say which 9% was misclassified, but I suspect it's the most important ones - the well written articles. If I see a dumb tweet with a typo it's unlikely to come from LLM (and if it does, who cares), but a well written long form article may have been slightly edited with LLM and get caught. The 9% is not evenly distributed.
Japanese restaurants: "not charging tourists more, just charging locals less"
> Do you take a course for every programming language you encounter?

Yeah often
Yep, I'm in a city and don't own a car. I walk to the grocery store and bulky items like that are a pain, so I get them from Amazon.
Half of all doctors in the US accept money or gifts from drug and device companies. (https://www.statnews.com/2020/12/04/drug-companies-payments-...)
I remember USB drives in the '00s that had a read-only toggle. They were useful for rescuing machines that had a virus.

Edit: A quick search reveals that, of course, you can still buy them today. I have not felt a need for one in ages.
Theorem proving is a single-player game with an insanely big search space, I always thouht it would be solved long before AGI.

IMHO, the largest contributors to AlphaProof were the people behind Lean and Mathlib, who took the daunting task of formalizing the entirety of mathematics to themselves.

This lack of formalizing in math papers was what killed any attempt at automation, because AI researcher had to wrestle with the human element of figuring out the author's own notations, implicit knowledge, skipped proof steps...
Extraction and separation are a function of time, temperature, and solubility, not just polarity. It's easy to target solubility limits for certain compounds, which why using a Soxhlet extraction method could be effective for at home decaffeination.

I've always assumed that's why steam extraction for espresso doesn't extract more caffeine than drip, and why a Madras coffee decoction isn't ultra-caffeinated concentrate.
Yes, pretty much every good library I came across referenced Meeus' Astronomical Algorithms [0] book and formulas. Those were a bit dense for me to fully parse, but Dr. Louis Strous` page [1] on finding the position of the moon helped simplify it for me (although that implementation is less accurate, I think).

The algorithm in Moontool for Windows [2], which Tiny Moon is based off of, is based off of Meeus' algorithm.

0. https://www.agopax.it/Libri_astronomia/pdf/Astronomical%20Al...

1. https://aa.quae.nl/en/reken/hemelpositie.html#4

2. https://www.fourmilab.ch/moontoolw/
I would say at least 1/3 of my Google usage is for local lookup queries like your example of “Italian restaurants”. Which as I would expect returned a list sourced from Google Maps in my area, then “Top $x Italian Restaurants in $mycity” posts from sites like TripAdvisor. So I’m not sure what you’re referring to with that example, that seems more of an issue for something like recipes.

ChatGPT can be useful for certain hard to Google informational questions but doesn’t help me at all for the boring “IKEA hours” type searches I do every day.
> range and diversity of motion versus strength

Not what I’m talking about.

> You could anchor twice as far and double the resulting force
> throwing a baseball and a heavier Rock would go through the same range of motion

I think you’re missing a key detail here. Muscles can only contract at a finite percentage of their total length per given unit of time even with near zero load. This is mostly irrelevant when lifting something, but means very fast motions want the anchor point near the point of rotation. People are really quite extraordinary in how far the can throw light objects but it’s a real tradeoff.
IIUC the American Math Olympiad has 3 rounds. Wining the last one is almost a guaranty gold medal.

The link you posted has problems with a dificulty between the first and second round that are much easier.

I took a quik look at the recent list of problems in the first and second round. I expect this new AI to get a solid 50/50 points in this test.
Machines have been better than humans at chess for decades.

Yet no one cares. Everyone's busy watching Magnus Carlsen.

We are human. This means we care about what other humans do. We only care about machines insofar as it serves us.

This principle is broadly extensible to work and art. Humans will always have a place in these realms as long as humans are around.
Actually, you can ask ChatGPT and get the same results without any prompt. No custom prompt is necessary. It takes a few seconds:
https://chatgpt.com/share/2f873b1a-e487-469f-a78b-7e57fdd91b...
You mean new and incredibly effective ways to shape public opinion? I guess it might. But then someone would still have to use it for that purpose...
It doesn't solve it, it makes it tractable so you can use the scientific method to fix problems as opposed to voodoo.
I know never to trust software written by hardware folks, but seriously, how do you ship a key where the CN is literally "DO NOT TRUST -- AMI Test PK" as the root security. That is outright malicious incompetence.
Project Iceman
I think Open Ai can do this better than google for the simple reason that nobody pays for google search, ads do. And with ads the incentive make the search bad. Google has become an advertising monster. If only google could get people to pay for proper search but that is not very likely and problematic since it would cannibalize their ads based shitty search business.

Open AI or other AI companies could capitalize on that because they already have hooked their users up with their LLMs, search could be another feature and has the potential to grow from there.
Spike Prime and Mindstorms use the same Hub just different colors.

Spike Prime has a large motor, 2 small motors, a distance sensor, color sensor, and force sensor.

The Mindstorms set had 4 small motors, a distance sensor, and color sensor.

Mindstorms retailed for about $400 as does Spike Prime currently.

Spike Prime is Mindstorms for all intents and purposes. You can even get either the Spike Prime or Mindstorms app and use it with either Hub.
In Europe Apple follows the same strategy, but in a more subtle way than a full campaign.

And sadly, it seems they found some audience...
I’ve worked for two companies that had ESOPs while they were privately traded. In both cases, the companies were sold to larger corporate entities that promptly got rid of the ESOP.

Not that it is all that bad. One sale happened after I left the company. The sale of the company included the shares owned by employees through the ESOP. So for one sale, I got several tens of thousands of dollars (hadn’t been part of the ESOP that long) and the other company’s sale gave me about 150% of my current salary. Both went right into retirement accounts to defer taxes.

The mood or “culture” was better, I think, during the ESOP period. Certainly cost saving was more on everyone’s mind, because every company dollar unspent was part of the profit and increased the valuation.
Secure Boot is the first component in a verified boot chain from initial power-on to application level code. Signed, verified firmware boots signed, verified kernel with strict authenticity and integrity guarantees. The goal is, presumably, to attest to the authenticity and integrity of everything the system runs, but when it comes to kernel modules and device drivers, userland OS components, and applications, those are the kernel's responsibility. But Secure Boot is an essential link in this chain.
> The women in the poorest countries are having more kids due to not being able to have fewer kids.

Citation needed for that claim. While I don't necessarily disagree with you, I have also seen other plausible hypothesis that kids are seen as safety nets in the poorer society, or a possible escape hatch out of poverty even if one of them gets lucky in life. So having more kids might be a rational choice for poor people.

I do not have data either way about motivations for women in poor societies to have kids.
> ESM is supported in every LTS version of Node now. We can kill CJS, we have the power.

I'd rather kill ESM. And it's not fully supported in Node. It doesn't work in the REPL.
It seems like there might be some lessons in this whole pre- and post-launch timeline for how (not) to launch a new version of an existing product without damaging your company's reputation and user trust. The speculation is that Sonos launched their new app before it was ready in order to support their entry into the headphone market. But that launch broke many of their existing customers' very expensive speaker systems, and it's taking many months for the company to restore functionality to those affected.
To add some clarification: decaffeination is as old as 1903 (also Germany: https://en.wikipedia.org/wiki/Decaffeination)
How is this different than the work that semantic scholar is doing around AI?
if I ever get around to learning reverse engineering, I don't expect a book like this to teach me how to do it. I expect it to inform me of what I don't know that I don't know. For that it seems okay as a starting point.
Sure but if an AI can prove e.g the Goldbach conjecture then that is a bfd.
Specifically, I saw JSDoc syntax and it triggered me so much that I closed the page and threw my phone away in disgust at absurdness of even the idea that someone thought having something like this unironically is a remotely good idea.
>“[The UK] unfortunately imposed a visa regime on Namibia last year due to the number of asylum seekers we were receiving.

We have a problem in the UK and other countries that the cost of that has become so high. From another article:

>The Home Office claims that the average cost per night of providing hotel accommodation to asylum seekers is £140, which does not include the costs to local services. It says that the estimated total cost to the taxpayer over five years would far exceed £150,000 per asylum seeker.

There must be a better way to do things. I mean like let them apply online if they really need asylum, otherwise send them back. The legal system seems to have run amok that any rando can say I claim asylum and then be pretty much unremovable at a huge cost to the local tax payers.
What I know is that an awful lot of people put very high standards on those working for charity or for the general good, where anything perceived as personal indulgence is treated as hypocrisy, and used to denigrate the overall goal. (These same people often don't care what greedy money grabbers do, since they aren't being held to the same standards.)

What I don't know is if you are being that sort of a person specifically about Wales and Wikipedia, or about any sort of charitable organization, or if your disdain has some other reason.

I wasn't able to find a mention of Wikipedia using their money to buy him a sportcar. The link you pointed to mentions "Jimmy Wales was accused by former Wikimedia Foundation employee Danny Wool of misusing the foundation's funds for recreational purposes." then says "Brad Patrick denied any wrongdoing by Wales or the foundation, saying that Wales accounted for every expense and that, for items for which he lacked receipts, he paid out of his own pocket"

Is the article you read based on that accusation?

If his money does not come from the Wikimedia Foundation, why would it affect things? Like, if he charges $80K speaking fees and gets invited to 4 of those talks per year, then he could easily rent an expensive sport car for a few days.

As I wrote, there are a lot of rich people who are on non-profit boards. They aren't transparent about all of their funding sources. Are you equally dismissive of them as well as their non-profits?

If you don't like their begging ads, don't give them money. The same holds for your local public radio station, which will have fund raising even when they have a surplus.

FWIW, Wikipedia is not currently asking me for money, even when I visit in a new private window.
Because nobody ever looked at the text of the certificate. It was probably a binary file checked into the source control system and, since it seemed to work, nobody ever looked at it.

Probably came as part of the dev kit from AMI.
Indeed, I share this outlook, as do others: https://boingboing.net/2012/01/10/lockdown.html
My neighborhood is cookie-cutter houses, but with ~8 different plans, and all of them varying in color of siding, roof, and color/type of facade. The result is that it doesn't look like it's cookie-cutter.
I wonder why we don't use genetic modifications to get caffeine free coffee?
Technically a worker owned Co-op is different from a company with an ESOP as described in this article. The article it links to has more details: https://www.nceo.org/articles/employee-ownership-by-the-numb...

There are a multitude of ways that employee ownership can be encouraged, required, or ownership can be limited to employees.
Active Directory, is not webdev related at all.

If you work on internal company systems in a Microsoft environment it often can be.