skysight-inc/HackerNews huggingface dataset:
>Now you are assuming that rigidly defined science is a useful category. I'm less sure about that.

It's useful for categorization (which is the overall topic). For formalization of concepts. Formalization is always useful for technical concepts. Programming is one of those things that requires formal definitions.

It's probably less useful for common communication. But that's not what I'm referring to. Sure in communication we don't require technical definitions. I'm not arguing for whether MY definition has utility in a variety of contexts.

I'm simply saying for the rigorous categorization being performed by the OP on what "theoretical computer science" is.... he should ALSO use the rigorous definitions of the Categories themselves.
Exactly this. See also the profusion of filter expression languages, eg here's Algolia's: https://www.algolia.com/doc/guides/managing-results/refine-r...

Or here's one built into Symfony: https://symfony.com/doc/current/components/expression_langua...
The article's thinking is pretty confused - SpaceX's work for NASA has been a huge success, and that... shows that NASA is failing?

Criticizing NASA's continued support for the ULA seems valid though. But then, one could argue that the reason that the ULA is so bad is because NASA made the mistake of allowing themselves to rely on a single contractor, and that spending billions of dollars on no results is still worth it just to keep SpaceX on their toes.
> People don't have broken minds from corporate jobs

I would just like to say I wholeheartedly disagree.

A LOT of the much older people I know are struggling really, really bad. I'm talking conspiracies, abject misery, downright delusion. The trouble with "broken minds" is that you can't see it. If you could, your mind wouldn't be broken!
As a game dev, I found Jekyll really easy to get on to. Nice way to write blog posts. Easy to tweak the html/CSS/JS when needed

https://jekyllrb.com/
Thanks, that makes sense.

In this specific situation, the most common MySQL/MariaDB pattern would be to use LAST_INSERT_ID() in the second INSERT, assuming the order IDs are auto-increments. Or with UUIDs, simply generating the ID prior to the first INSERT, either on the application side or in a database-side session variable.

To avoid extra network calls, this could be wrapped in a stored proc, although a fair complaint is that MySQL doesn't support a ton of different programming langauges for procs/funcs like Postgres.
You do like eating, right? Of all the things to subsidize, food seems like a good one.
Wrestling snakes is good for likes/subscribes. A .22 handgun is probably what is used when not filming.
I like to think of it as the apprentices working for famous artists like Leonardo. The master would draw the outline/sketch, and then the students would fill in the blanks under supervision. Sometimes, the master would steal ideas from the students.
Cuban GDP is actually the highest it's every been, thanks to the opening up of the tourism industry in the early 2000s and the introduction of direct foreign investment in 2018.

This isn't a money or embargo issue or even (directly) a communism issue. The current regime is simply incompetent: They don't have any expertise and refused to cooperate with other countries on developing their infrastructure. Venezuela's economy collapsed and Cuba was free loading on them. And Cuba has a bad reputation among other trade partners other countries want to trade with.
Sure. I'll play. I assume those sensors are always powered and never malfunction and so, now the train is stopped in a vacuum. What now? How do we get the people out, and all the trains behind them now also stopping. If the tracks are below ground, where is the nearest valve that can open? Given some parameters to chatgpt, because I can't be bothered to do the math myself, it takes ~5 minutes to fill a 500m section with air. So, that assumes a 500m sealable section with an independent valve. So, there would need to be some kind of system that can seal a section on power loss or breach, without a train running into in-progess.... so, 500m sections are too small. The sections need to be ~5km which would take nearly an hour to fill with air that won't kill you instantly. So, if there were structural integrity issues with the train, everyone is guaranteed to die. If there is a critical power loss, hope that it can scrub the CO2 out of the air for at least an hour without power. If there is a breach, hope that it isn't in your section or is at least 3 sections away.

Killing everyone in the train because someone gets in a fight and fires a gun is pretty much a non-starter. That's the real problem you got to solve. It's not like a plane where someone can fire a gun in nearly any direction without consequence to the plane, firing a gun in literally any direction on a hyperloop would mean certain death for everyone on board.

It's in a vacuum, it's not like you can drop oxygen masks. In a vacuum, your blood boils and your eyeballs are sucked out. It's a pretty shitty way to go, but you'll lose consciousness before the worst of it.
1) not really, only one of them talks about opponents as enemies

2) the leader of only one of them is threatening to lock up journalists, shut down broadcasters, and use the military against his enemies.

3) only one of them led an attempted autogolpe that was condemned at the time by all sides

4) Musk is only backing the one described in 1, 2 and 3 above.

It's not really arguable, all this stuff.

The guy who thinks the USA should go to Mars clearly thinks he's better throwing in his lot with the whiny strongman dude who is on record -- via his own social media platform -- as saying that the giant imaginary fraud he projected to explain his humiliating loss was a reason to terminate the Constitution.

And he's putting a lot of money into it, and co-running the ground game. But sure, he wants to go to Mars. So it's all good.
PyPI signs uploaded packages with its signing key per PEP 458:
https://peps.python.org/pep-0458/ :

> This [PEP 458 security] model supports verification of PyPI distributions that are signed with keys stored on PyPI

So that's deprecated by PEP 740 now?

PEP 740: https://peps.python.org/pep-0740/ :

> In addition to the current top-level `content` and `gpg_signature` fields, the index SHALL accept `attestations` as an additional multipart form field.

> The new `attestations` field SHALL be a JSON array.

> The `attestations` array SHALL have one or more items, each a JSON object representing an individual attestation.

> Each attestation object MUST be verifiable by the index. If the index fails to verify any attestation in attestations, it MUST reject the upload. The format of attestation objects is defined under Attestation objects and the process for verifying attestations is defined under Attestation verification.

What is the worst case resource cost of an attestation validation required of PyPI?

blockchain-certificates/cert-verifier-js; https://westurner.github.io/hnlog/ Ctrl-F verifier-js

`attestations` and/or `gpg_signature`;

From https://news.ycombinator.com/item?id=39204722 :

> An example of GPG signatures on linked data documents: https://gpg.jsld.org/contexts/#GpgSignature2020

W3C DID self-generated keys also work with VC linked data; could a new field like the `attestations` field solve for DID signatures on the JSON metadata; or is that still centralized and not zero trust?
It is more like how you can't opt out of an okta app, cisco vpn on your phone etc. if you want a job.

Speaking of which I suspect these sort of companies not World will win this race. It wont be a new product for them. It is just a new feature.
Indeed it does not seem idempotent. If you move A to B and insert a new A, then rerunning the patch would yield the new A at B.

I suppose a subset of this is idempotent though.

Broadly this seems fraught with peril. It sounds like edge case upon edge case, and only would work in the narrow case where you are 100% sure exactly what the remote document looks like such that you can calculate the patch. If anything gets out of sync, or serialization differs between local and remote, etc youre going to get subtle bugs...
Thank you for the suggestion, but I doubt I would work as a foreigner for a US defense contractor company that produces military weapons; that's the last thing I would want to do.
Oh that's convenient, that's for sure.
controversial take: but I think it's fine to host stuff on your own machines, rather than the massive big-data hyperscale datacenters. Yes, google/cloudflare/AWS might be more efficient per watt, but I don't like giving them more money to continue to violate privacy/TOS/labor... (AI, kiwifarms, &, well, everything amazon does).

No, it won't be the most efficient, but it's yours.
By price controls I literally just mean "anti-gouging regulation", not "you can't charge more than exactly $5 for x"
The Unbearable Poopness of Bookstores (2022)
https://www.youtube.com/watch?v=tkd-HFJI83M

All jokes aside, I think this is one of the cases where capitalism is good. If you look at what a pork barrel dog the SLS is, and what a dog cost plus contracts are and how they have wrecked what were very capable organisations like Boeing and Northrop, SpaceX is a blessing. And unlike Bell Labs, I don't see SpaceX dominating the market forever without intervention.

It also makes me think of a joke in the latest Deadpool movie that I went to see. "I'm more like a one week on, one week off kinda guy, like they do in Denmark. You'll never see a Danish flag on the moon, but goddamnit they're happy."
Barcelona Is Turning Subway Trains into Power Stations
> National governments will use Sam's Database to assign Universal Basic Income

Didn't the big UBI study come to the conclusion that UBI didn't work (meaning, folks in the control group without UBI were better off at the end of the study than those who received it)? Honest question ; I'm fuzzy on the details.
This is by far one of the best parts of Go. Its all around simple and painless to use. anyone designing a language should study what Go did well and what they didn't.
SpaceX is a wake up call for humanity.

It says to us “You can do better. You have been slumbering for 60 years. Wake up.”
Where are the recommended diff and 3-way merge libraries for each language?
Some things are not clear to me, maybe because I'm not native english.

For example I don't understand this sentence : "That ended when the US government imposed sanctions against China, prohibiting US companies from exporting advanced technology to the country. That included US-made 5G chips [...]".

From the wikipedia page of TSMC [0], I see it is a taiwanese company. Apple is a US customer from TSMC. It doesn't make sense, TSMC is not a US company even though it seems it had exported technology to China.
Did the US exported 5G chips to TSMC in order to make phones ?

It is written TSMC used US-made equipment to make the chips, but that does not make it a US company.

I think I am clearly missing something essential to understand the article. Or maybe the article is not well written ?

Can someone please enlighten me please ?

[0] : https://en.m.wikipedia.org/wiki/TSMC
For me it’s usually some context-specific, low-level DAG of functions/data flow. Maybe a higher level of C4 model depending on the scope of my work.

I’ve been studying this to build a VS code extension that visualizes my codebase as I work. Similar to Feynman’s point, there are many ways of visualizing the same task/section of code, but I’ve found some are more universally interpretable than others.
My master's degree in computer science technically says, "Theoretical computer science" as the specialization. I was a mathematics undergrad, and generally enjoy doing proofs, albeit I'm not the best at them.

With that said, I regard TCS as the study of discretized computation at scale. Or, more colloquially, what is the fastest way to do X, N times? This could be sorting, searching, indexing, drawing, tracking, balancing, storing, accessing, saving, reading, writing, whatever. The distinguishing characteristic is complexity analysis in time and space.

As a counterexample, I think cryptographic methods such as AES and RSA are much more pure math / number theory than TCS.
I think this is a totally valid question. My answer would probably be to have people actually pay for more things. I think a huge proponent of something like World is advertisers, who want to make sure that real human eyeballs are seeing your ads. But if you pay me money, I don't care if you're a rogue AI botnet running amok, I'm happy to serve your request.
Mystery $30M Wave of Pro-Trump Bets Has Moved a Popular Prediction Market
Ongoing related discussion https://news.ycombinator.com/item?id=41871427
I think 8hr/day is a bigger issue… I feel EXACTLY the same way as you but after 25-ish years in the industry I also realized that there is nothing I like enough to enjoy doing for 8hrs per day, 1920 hrs per year…
Some people have of course tried to do something like this. I specifically remember some video about getting street noise right... I think it was for that Assassin's Creed game set in Paris ?

Related :

https://youtu.be/NbETq6owNmc

https://store.steampowered.com/app/1341280/NotreDame_de_Pari...
Ok hear me out, what if my API accepts WASM fragments that I run against my database but in a sandbox!
> bc these tired inaccurate talking points are what come up in literally every single even remotely associated to Elon

You understand that the false claims, the inaccuracies, and the lies come from Elon, right? They're associated with him because he is the source of them.

They're only tired because he's been telling the same lie year after year.
That's disputable, but it would be a really bad idea for obvious reasons either way. Think the incel problem is bad now?
The author of the article seems to be not aware of the Transactional Analysis model of the lifescript.
Very interesting. Any turn-based games you'd recommend for someone who's completely new to them? I have zero knowledge in that area but would love to try it out.
The one comparing Islam to a national bird or something was right up there.
> Sam Altman has proven himself and his company untrustworthy

Did I miss a memo? This is one of the largest [citation needed] I've seen on this site in some time. Did he kick a puppy?
In IQ? Assuming reasonable training, nutrition, and lack of brain damage? How?
Shooting a snake in the head is pretty easy. Usually when you find one, it’s still in the water. Then you just follow the body around to the head. I use to do this all the time as a kid in the country hunting water snakes with a .22 rifle and scope.
I clicked on "browse" under the refs: main section and found the code right away
I mean it's still not an impassibly strong moat. If it were, we'd all still be on MySpace and Digg.
This is an astonishing account. I should no longer be amazed when governmental, or quasi-governmental, bodies abuse their authority in defiance of the law or reason, but it's absolutely baffling.

Peripheral, but related: one of my favorite genre of YouTube video is that of people who quietly assert their civil rights to, e.g., stand in front of City Hall with a cardboard sign, or record video inside City Hall or a public library or other public building, or record anything at all on video from a public sidewalk, or criticize the mayor at a town meeting, all completely legal and protected activity in the USA. Astonishing, the number of times a civil servant or police officer will attempt to run these people off under threat of arrest, exposing themselves and their town to a federal lawsuit.

Invariably, without an ounce of self reflection, they frame these people as troublemakers, as no doubt does the Rodin Museum to Cosmo Wenman, even as the courts thump them.
We chose SF Bay area because we live here. I just did some surveying in the greater Detroit metro so I hope to look at the data there too. However, mapping and surveying is a supremely local thing, so we started locally.
Knowing how people use your system to make decisions is important. I think that knowledge is vital for maintaining, extending, or building a system.

But the article suggests a higher responsibility: you should document your user's decision-making. You should tell them the context, the choices they have to make, and the consequences of their decisions.

I've worked on a "decision support system" with that responsibility and it got really messy, really fast. Humans love to argue about consequences, even 100% absolutely known ones. They also despise automated emails bearing uncertainty, as well as docs demanding binary choices when many more choices are available in reality.

I would hope the book beyond this article raises the concept of control. That is, to document a behavior, you need some guarantee (or enforcement) about that behavior so your documentation remains authoritative. IMO, the lack of authority/control is common, gaping blindspot of writing initiatives like https://www.plainlanguage.gov unfortunately.
Exploring the Nostr Ecosystem: A Study of Decentralization and Resilience
Their marketing team needs a raise.
You see, development of new drugs, devices, and treatments is definitely something that we must continue at breakneck pace, by any means necessary, because people keep discovering how awful and harmful the existing ones are, so we need to make consistent progress beyond the status quo.

If you move faster than the science and the lawsuits, then you can keep selling deadly crap to a naïve and trusting populace.

https://en.wikipedia.org/wiki/Reye_syndrome

https://en.wikipedia.org/wiki/Thalidomide

https://en.wikipedia.org/wiki/Tardive_dyskinesia

https://en.m.wikipedia.org/wiki/Fenfluramine/phentermine
> You should never have to keep paying to use a device you already bought.

You think that's bad? I bought a "RAM upgrade" over the phone from HAAS for a CNC machine back in 2016ish. The upgrade was from 1mb to 16mb of RAM.

The technician on the phone told me to go to the machine and punch in a series of keys followed by a 21 digit code. That was my ~$2,000 RAM upgrade.

The RAM was always there. It was just locked away as "reserve value" for the manufacturer.
You might well ask the same about code, ML models, or testing datasets, all of which have established concepts of open access. The Waymo open dataset in particular contains some of the data being discussed.

Can you clarify the difference you think is significant here?
What if they released honey badgers in Florida? Not saying they're any more native than the pythons, but at least they have personality.
Do you have any software recommendations? I tried a few photogrammetry apps to capture small items (e.g., keycaps) and bigger ones (e.g., my face) but the results were never good enough. Ideally, I would like to open such models in Fusion, make a few edits, and 3D print them.
Yeah, that's how the whole arms race started. Why JD didn't disseminate this fact though?
I didn't say they would be eager to do that, but I would hope they would understand why it might be a long term loss to hoard data that makes roads safer.

One answer is that they might have to in order to be allowed to operate. Since operating a private service on public infrastructure is not a right, it is perfectly reasonable to require that companies share their data especially when that data relates to safety.

Getting run over by a Tesla in an unmarked, but legal, crosswalk that Waymo knows is frequently used, and should be crossed with caution is not desirable under any reasonable model of capitalism and competition.

You can also make the case that if you want ANY autonomous driving to be commercially successful, you need to make sure that ALL autonomous driving is safe. Up to date maps of where the squishy humans are likely to be is a great way for all players to ensure that a single incident doesn't set back the entire industry. A Tesla running over a pedestrian isn't a win for Waymo.

Basically my feeling is that it is perfectly reasonable to require companies to share their data about the location of sidewalks and other infrastructure in exchange for getting to use public property. It benefits everyone, and is likely to have little to no impact on their competitiveness.
I assume there's some element of being very angry that "it's not me" but an even larger element of "but at least it's one of us rich elite ruling class techbros and not the proles".
You're entering your Dropbox password on other people's machines? Was there no option to just share the document as a public link or something?
I don't understand what you are saying. Are you saying GIS, GNSS and RTK are worthless in SF?
> You can make a statement and the actuality of that statement is either true or false.

It can also be "not even wrong."
> Everything on the open web after 2023 is polluted with lowquality AI slop that poisons the data sets.

Not even close to everything.

E.g. training on the NY Times and Wikipedia has zero meaningful AI. Training on books from reputable publishers similarly has zero meaningful AI. Any LLM usage was to polish prose or assist with research or whatever, but shouldn't affect the factual quality in any significant way.

The web hasn't been polluted with AI any more than e-mail has been polluted with spam. Which is to say it's there, but it's also entirely viable to separate. Nobody's worried that the group email chain with friends is being overrun with spam or with AI.
Typst 0.12
This comment only makes sense if you are assuming a significant majority of these places are "terrible", which is baffling to me, unless you are silently using your personal preferences to define "terrible" in the context of the larger conversation.
We're not doing that where we come from. All child tables have the main id so we can load the data for all child rows with just one query per child table, and we load everything at once.

We were planning on sticking with this, it has worked well so far, but good to know to avoid getting tempted by the alternative.
You are trying to insist on the "reproduced for cheap", I guess, because I'm pretty sure that expensive reproductions (whether legal or illegal, frauded as "real" or not) of paintings and statues have existed for a long time ?
No, I am complaining about in person appearances in front of audiences where he knowingly lied, moving the goalposts doesn't make him honest, just more trustworthy to complete something than {insert incompetent people here}.

Having the general ability to accomplish something doesn't magically infer integrity, you doing what you say does. Misleading and dissembling about doing what you say you will do is where you get the untrustworthy label, regardless of your personal animus or positive view of Musk.
Changelog: https://typst.app/docs/changelog/0.12.0/
Kagi Changelog October 17th, 2024 – AI-generated image filter in search results
Dr Hope love spell, you just fixed my relationship. We have been fighting every day and you’ve just fixed it and I cannot thank you enough. Thank you Dr Hope for saving my broken relationship and my boyfriend is back to me. If you have any problem in marriage/relationship. contact him and i guarantee you that he will help you. Here’s his contact: Email him at: marriagehelper91@gmail.com /WhatsApp him: +2349137446738 Thank you Dr you're the most wonderful spiritual Dr I have ever seen.
I'm sympathetic to this viewpoint. There will be applications that need human verification, but maybe in most cases it doesn't matter. It does seem to me like the endgame of this would be that everyone interacts mostly with AIs online rather than other humans, as AIs will be (at least superficially) more helpful, patient, pleasant, whatever you want. Check out this social network of AI sycophants and imagine that they start populating all the regular social networks too: https://x.com/michaelsayman/status/1835841675584811239