skysight-inc/HackerNews huggingface dataset:
> I honestly have no idea where you started on this. I was talking about defensive use of quads to foul the propulsion system of another aircraft.

You were replying to one of my comment explaining that drones are not good for offensive action because they are vulnerable.

Also there is no point in trying to foul a propulsion system. That’s extremely unlikely to happen and there are simpler way to disable an aircraft (like just having it collide with something).

> There are dozens of videos of Iranian drones flying at altitudes where UA soldiers are shooting at them with rifles. It looks like the altitudes are sub 1000m, easily.

Low flying aircrafts which can be shot at are easy to disable with traditional canons. That’s cheap and effective. Why do you want to use quadcopters for that? That never was the point.
I wonder: do those WASM-2-C transpilers actually "patch back" the original external function calls from the WASM imports table back into the C source (so that system API calls would be handled directly by the system's linker), or is there still a WASI-style indirection involved going through a user-provided 'system API wrapper' (e.g. what would be needed to call into a random Mac OS 9 UI function with this solution to create a UI 'Hello World' demo - can this be handled purely with Rust's FFI features?)
It's true that any real number can be written with a finite number of symbols. In fact, I can write any real number x with exactly one symbol, namely x, if I define x to mean that particular real number.

Now if you fix a particular formal language for defining real numbers, with a finite alphabet, then the language only has countably many words, hence there are reals not definable in the language. But the notion of "definability" here is not independent of the choice of formal language.

So "choosing an undefinable real number" amounts to "choosing a real number not definable in L", where L is some fixed formal language---and this isn't particularly hard to imagine; given a specific L, you can probably quite concretely construct a real number not definable in L.
> I'm not sure what "directly manipulating data" means. And - with respect to Bret Victor - I suspect no one does.

Well, the best approximation we have is spreadsheets, actually. That's why they're super popular.

Put the data in front, marginalize the code. Code is either "hidden" in cells where you get a live[1] preview of the data or in modules other have built but you can modify[1] if you want to.

Now, how do we take this approach to the next level, that's a problem on the scale of figuring out human genetic engineering or fixing climate change :-)

[1] Most of the time.
" In an interview with Forbes, Midjourney CEO David Holz said that the dataset that the company trained its AI model on was “just a big scrape of the internet” and the company hadn’t sought consent from artists who owned the copyright to their work. “There isn’t really a way to get a hundred million images and know where they’re coming from,” Holz said."

So you just go ahead and steal copyrighted images without ask and attribution?

This attitude is far beyond the pale and I, for one, hope that the artists succeed with their lawsuit.
Freely offered by Google. They offer a subscription model if you want to run your collab notebooks on a beefier machine.
Why do you think it could be infinite? What physical arguments can you make?
The description could be better. Would love this tool with a GUI
Just wear the complimentary cowboy hat :)
Roundabout white supremacy? They are asians.
Will not the H2 tanks scale better than batteries for large scale storage?

Battery capacity scales linearly (n) to material requirements , while a gas tank's capacity scales quadrically to material requirements (n^2, because of only using a surface of materials to store a volume).

I'd also assume the energy required to keep the tank cold relatively lower as the tanks gets larger.
If glancing at the subject and bookmarking to later seldom go back to it allows you to move on, is that a problem?

Just like you don't have to and cannot read every book in your lifespan, you can't read every blog post. Your bookmarks doesn't have to be your todo list.

You might like Pocket or similar. Pocket specifically can sort your bookmarked articles in various ways, including popularity on the service, or just let it sit there knowing you have the possibility.
I'm really surprised that 30-40000 years ago the average age of conception was 35 for men and 24 for women
> but the truth is that the knowledge of exactly what kind of education techniques work better or worse, is non-existent (for all practical matters). So

Uhh what? Is this some kinda myth teachers and professors want to perpetuate in order to be lazy about teaching?

Theres definetely research on what makes good education techniques "good". I agree that higher education serves as a filter, but you admitting that you and your colleagues have basicially no idea what they're doing while teaching says more about your ignorance than your teaching skills really.
Biased age disparity in marriage is hardly a "fantasy" or even "taboo". I suspect if you looked at e.g. the top quintile of male earners, or those who married more than once, you're liable to see an even more pronounced gap over the aggregate median. Equally as interesting, how do wealthy divorced/widowed women marry afterwards?

Poking at US presidents that stood out (i.e. more than 5 years):

| President | Born | Spouse| Delta |
|-----------|-------|-------|-------|
| Biden | 1942 | 1951* | 9 |
| Trump | 1946 | 1970* | 24 |
| Reagan | 1911 | 1921* | 10 |
| Kennedy | 1917 | 1929 | 12 |
| Eisenhower| 1890 | 1896 | 6 |
| Wilson | 1856 | 1872* | 16 |
| Harrison | 1833 | 1858* | 25 |
| Cleveland | 1837 | 1864 | 27 |
| Arthur | 1829 | 1837 | 8 |
| Hayes | 1822 | 1831 | 9 |
| Lincoln | 1809 | 1818 | 9 |
| Fillmore | 1800 | 1813* | 13 |
| Polk | 1795 | 1803 | 8 |
| Tyler | 1790 | 1820* | 30 |
| Q. Adams | 1767 | 1775 | 8 |
| Monroe | 1758 | 1768 | 10 |
| Madison | 1751 | 1768 | 17 |
| Adams | 1735 | 1744 | 9 |

*: latest marriage

This shortlist includes the two oldest (Biden, Trump) and youngest (Kennedy) presidents voted into office. A relevant quote attributed to Jacqueline Kennedy[1], whose second marriage was to a businessman 23 years her senior:

> The first time you marry for love, the second for money, and the third for companionship.

[1] https://www.forbes.com/quotes/10612/
this may well be the only real skill of programmers who learned C style syntaxes, andor LISPs

on the ohter hand, thinking with the parenthesis takes language up to the level of functional-thinking. computable stuff is all about substitution of all things inside a parenthesis for a single thing. and this is the essence of all classic computation
If you find it difficult to cope on your own, I recommend seeking Therapy, and getting diagnosed as well. It helped me a lot.

I always believe that a professional's opinion is better than anything you could find here.
> It's like code... code can be out of date after a while, too. The question is how easy it is to keep it updated and current. I think that's the biggest argument behind diagrams as code.

I agree that documentation is nice even with the maintenance burden, but most would be surprised at just how much outdated code is out there. If many struggle to keep even their code up to date and not full of CVEs, what makes you think that they will also be able to have up to date documentation?

> Imagine you throw away your codebase each time you deploy your executable.

Honestly, I'm tempted to do this sometimes.

For example, consider splitting up monoliths and replacing them with many smaller services. If there is a problem with updating one part of the system, it can be left to slowly rot in the backlog, until it becomes a priority, at the same time without blocking doing the things that matter in the other parts of the system. Code should be not just easy to read and change, but also throw away. Not only that, but some more modern frameworks are just less painful to work with than the old ones (e.g. no more XML configuration hell) and you also often realize that you can do things better than the first implementation.

In a sense, one can say the same about docs: make it a Markdown file when you need to write something down, that can be easily changed/replaced and included with a merge/pull request, as opposed to some 50 page .docx file with no version control in some random network drive subdirectory.
Didn't say it is easy. Not sure why such a negativity. Are you okay?
We are trying to apply his ideas to quantum computing interactions. Starting with linked, scrubbable visualizations for building intuitions.
Use the obsessive phases, find a topic that is overlapping with your obsessions and cram every new obsession into that project. Yes, it leads to cluttered projects, but suddenly you are that developer driving that open source project in mono-mode.
Any p2p service requires the various partecipants to download each other's content. This means any change you make to your content will not necessarily be mirrored to your followers, depending on the client they are using. It's not something you can enforce at the protocol level, unfortunately.

With p2p more than with anything the age old adage of being careful with what your publish online is true.
Question is how sustainable is that. If you get bored at some point, who will be able to take it over. RoR is a reasonably safe and stable stack from the PoV of software devs, but the discussion above about facebook makes me wonder if they'll end up in 10 years with a website 'stuck in 2020'.
I think we should make standard browser API for transcribing, otherwise each website wanting to implement private voice recognition will need to download 500MB of data
The internet says storing hydrogen in metal hydrides is safe and offers similar kwh/kg as lithium ion batteries.

It seems to me Japan is going all in on their new high-temperature gas-cooled reactor (which supposedly cant melt down)it transports the heat with helium in stead of water which allows for temperatures that allow for hydrogen production.

Just repeating what I read and hear online. This isn't an endorsement and I have no idea if it lives up to the hype. If it does it would be quite the game changer.
>Not my area of expertise but I wonder why they cant just extract or synthetically produce this enzyme for topical application and whick the liquified tissue with guaze.

It's in the works, according to the article. They're hoping for oral application too
Japan has too many socio-political peculiarities for lessons to be translatable to other democracies. Especially when it comes to politics, its nearly a one party state with LDP having governed more than 50% of the time since the founding of the democracy.
thank you, I have forgotten this tune!
> weigh too much

This is still a problem we'll have to face. Road tear and wear grows exponentially with weight, and tire pollution (both noise and particles) is also nothing to be disregarded.

Also batteries require all sorts of raw materials with problematic provenance (e.g. lithium mines destroy the nearby environment, cobalt comes from child labour in terrible conditions, etc.). Cars with batteries are better than cars with internal combustion engines, but still expensive, inefficient, polluting and wasteful as the main means of transportation of every human being on the planet.
Sounds about right; any code I could write in 5 minutes is necessarily trivial, so I assume similar for other professions that don't have hard time limits.
> I'm not trying to be dismissive. I'd love to be proven wrong.

I don't see a world where simulating and visualizing n-steps can ever be as performant as just having one step. Even deploying immutable structures will lead to performance penalties.

Only place it is usable is in small/toy examples where computing power to n-steps can subjectively be as fast as 1 step.
IBM Looks to Squeeze Support for Future Power “Dense Math” CPUs into GCC 13
i think i feel the same way

piling up browser tabs like dishes in the sink

(no solutions here)
It reminds of seemingly abandoned "mas"[1] tool that allows using command line to install and update applications without launching AppStore.

[1] https://github.com/mas-cli/mas
This thread is the most entertaining thing I've read in a while. So many PhD's showing off how their education traumatized them.
Restaurants dropping meat dishes as costs rise and Veganuary grows more popular
What about the cost of the supporting infrastructure for cramming that 1GW into hydrogen and back to electricity? Well, with fuel-cell cars you don't need centralized infrastructure for converting back, but then you need infrastructure to distribute it inland. You still need the supporting infrastructure on Australia's side for the electrolysis.

Of course the power cable would also need supporting infra, other than the length of the cable, but I have a hunch that it would cost way less. I have no numbers though.
Humans are perfectly good at recognizing rehashed arguments without the need for AI. The difficulty is that the current crop of social media platforms focus on ephemeral discussion and provide poor tools for "linking" a discussion to an isomorphic one that happened earlier. The incentive structure is such that they would rather you go ahead and rehash the argument. Yay, engagement!
>Some versions of OS X are fully UNIX-certified

Everything since 10.5 Leopard (2007)

https://www.opengroup.org/openbrand/register/
> There’s a never ending number of things I bookmark.

One of the key features of ADHD is a never-ending list of things to do.
Edward M. Hallowell (who wrote "Driven to Distraction") remarks that perhaps it is the most characteristic feature of ADHD.

Previously, browser crashes saved my sanity— killing dozens of open tabs with fascinating articles.

Now I try to let it go. In a Zen/stoic way, knowing that nothing will happen if I don't read something. This list is an illusion, as there are orders of magnitude more exciting stuff on the Internet.

Another approach I use is "write it down". In this sense, I add to bookmarks (here I am a diehard fan of Pinboard), but NOT with the intention of "read it later", but "if I want to find it again, I know where it is". So I have a cake and eat it too - no "wall of links of shame", and no anxiety that I might have lost a life-changing link.
> They went on to have a heyday of progressive wins. Now it’s the time for the conservatives’ revenge.

I guess that's back to bans on interracial marriage then? (Loving v Virginia 1971)

It's certainly .. unfortunate that a lot of America's freedoms for all its citizens have been achieved against the wishes of a lot of its citizens and had to be done through the courts rather than the seriously dysfunctional legislature.
It's not in any danger, unless US is truly r-d. And if so, if EU somehow isn't that stupid, they won't reverse rules they already made about data mining & scrapping. Which explicitly allow ML stuff. Also Japan - and they did it specifically to not hinder AI tech, few years ago.

If everyone is somehow this r-d, there's China also.
And then what? Can they provide you with 10 B of real money?
>Another interesting one is technology. Japan got trapped in the 90s, the fax era, and it is difficult to change. Will also the USA and Europe get stuck technologically as the population grows older? Again, it is to be expected.

I've lived in Japan for eight years and the only time I've ever been asked to fax something was by an American company. I told them no.
Prosecutors would have to prove you upvoted knowing it was "the wrong porn".

> All site owner should be required is to follow the law here like disclose the uploader's data to the authorities if what they did is deemed illegal

And take it down? With that stipulation it is even more than what I said because best effort moderation is not neccesarily reporting to the government. Just bans and removal are best effort right? Once the content is taken down, I don't think there should be a reporting requirement unless a criminal law was broken.

> The incentive is users wanting to use your site because it is not filled with shit.

Are you kidding? Users will flock specifically for shit and pay for it too. I won't even mention any of them I am sure you must know this. Filth is actually very profitable. Well meaning site operators and users should be protected but for everyone else there needs to be a moderation incentive. If I bully you on HN for example, what is the incentive to ban me other than the goodwill of moderators? What if they prefer to have as many users as possible even if they can't reasonably review every flagged post? My suggestion is to provise that incentive so that moderation happens not just when it is convenient for the site operator. Moderation is why you are not liable to begin with.

> Also "harmful content" is nowadays waaay to easily interpreted as "the thing I don't like".

Not really, there are clear enough legal definition. Of course there is criminal law but in addition to that, whatever in state or federal law that is already defined as action or speech for which you can become liable, now the site owner also gets liable in addition to the original poster if and only if the site owner refuses to do moderation. So if "the thing I don't like" is something I can sue you for, I would need to win a suit against the original poster first and then sue the site owner for refusing to have moderation capabilities or not reviewing flagged posts and taking them down.
Alan Kay is the Tesla of programming. Beautiful design, genius implementation but utterly impractical in 90% cases.
Amen. I always tell people that want to do a PhD that, if they want to torture themselves, I can recommend some really great clubs in Berlin for that. It's probably more healthy as well, psychologically speaking.
That would be true if States wouldn't overreach themselves and make it illegal for people to seek abortion in another State or prosecute its citizens.

It doesn't take a genius to forsee a standoff between Red and Blue.
I don't think I have ADHD but I created a shaarli clone (https://gitlab.com/sodimel/share-links/) in order to be able to store, share and retrieve all the interesting link (the act of sharing interesting links happens more frequently now that I have a dedicated tool to store/retrieve them) :P
Had to stop myself from losing several hours watching emails. I’m sure I would have ended up watching all of Teen Girl Squad. Or starting a light switch rave.
I think it might help if you understand how AI art works. They're not scraping images, they're scraping rules. Completely different thing.

https://i.redd.it/2f00l6vsso6a1.jpg
Unlike almost everything else, HN has a "noprocrast" setting in your profile which you can use to constrain the time you spend on it.
but what about human intellingence, clearly it does not require infinite anything.

also, what about accumulated 'memory' in our human culture? how finite is that? how do you quantify this? (I'd think it'd be quantified by a timestamp, like a reference to an era or an historic age?? shrug)

> How to define an abstract neural network with some explicit memory component, which can grow to infinite sizes?

I think "culture" is the answer.. but maybe I actually mean a free "natural language" (in contrast with a formal (or synthetic) language)
Not too surprising. It would be more surprising if drugs were selective about the emotions to be blunted out.

"My worry is that people would see this and think the message is, don’t take the medication"

I believe the message should be that you need to take it, but only if you really do need it. And be aware that most drugs come at a price. Antidepressants also don't cure depressions, the suppress a symptom.
Can you elaborate? I have this problem every day.. macOS just seems incapable of remembering my display arrangement.
> We now have a large selection of tools that allow you to visualize what's going on (I use git-kraken), as well as google for help on doing something that isn't in muscle memory.

Git Kraken is excellent, though Git has a page on various GUIs, many of which are free with no restrictions: https://git-scm.com/downloads/guis

Personally, on Windows I like SourceTree: https://www.sourcetreeapp.com/

Some that have worked with SVN back in the day like TortoiseGit: https://tortoisegit.org/

On *nix Git Cola seems to do the job for me: https://git-cola.github.io/

Then again, the most complex workflow I've worked with was Git Flow and I didn't need anything more advanced than that. Come to think of it, I don't really do rebases often either and mostly just take advantage of squashing commits through GitLab/Gitea and such, when needed. But hey, that's also valid, using Git in a way where you get version control but mostly keep the technical details out of your way (though Git LFS and certain cases with particular line endings being needed does make you drop down occasionally).
Worth mentioning that rocm packages are already available in debian testing.

apt install rocm-smi rocm-cmake rocminfo rocm-device-libs

I don't work with ML & co, so YMMV.
That's not really the strongest argument though, you may as well compare whatever happens to be the most recent version of a hydrogen fuel cell to the original battery developed by Volta.

I mean the whole cathode / electrolyte / anode idea hasn't changed much, we just found better materials for all three.
A lot. Much bigger interface differences than 98 to XP, many programs required "Classic" mode to run essentially a Mac OS 9 VM. Some programs like games ran like arse in Classic mode so you had to dual boot to get decent performance. Plus the first several Mac OS X versions weren't exactly quick on hardware designed with classic Mac OS in mind like the iMac G3. But it looked a lot better and wouldn't crash all the time.
Used to do this in Quake map editors too.
you don't have to finish it, you can even give the half finished projects away to someone who enjoys having them - sell as art or something
I'm a doctor in the UK. We used them for vascular patients with poor wound healing/ulcers.
I don't think there's any reason to assume that it's finite or infinite. There could be physical properties in real life that can vary continuously. Energy isn't one, but there could be others.
I am still using a FX-8xxx (and probably will until RISC-V will beat it), and haven't even bothered overclocking it yet.

Anyone knows what kind of issues having "The frontend, FPU, and L2 cache [] shared by two threads" causes compared to 2 real cores / 2 hyper threads on 1 core / 4 hyper threads on 2 cores ?
Oh, that transparency would be new. But a behaviour like that would be ideal. I do not have a copy of the Sims to try it thou...
I resist doing any of that in the first place because it's just giving in to an unhealthy habit. The time and attention I spent cataloging was supposed to be for something else.
Does that really matter if you can easily generate something that comes pretty close (at least in a superficial way) to the artist by just entering the artists name with your description?
> You're using "being named" in a very unusual sense.

No, I'm not.

> Most people would consider you not to have named something if you're literally never allowed to stop speaking (or writing) the name.

What's the connection? Names do not completely describe their referent. They're names. I know someone named Ko. Given that name, what can you tell me about Ko?
You know what would be cool? To have it make sounds in response to events and make that themed.
I was stoked to see this, unfortunately, this has gone 4 years without a release (last released in 2019)

The issue log has several issues where Ventura users mention it not working at all, on M1 architectures. Can anyone on an M1 or M2 confirm this works for them? I'm still on Intel.
The house should have been in a trust.