skysight-inc/HackerNews huggingface dataset:
Yeah, syncthing is awesome for repeated interaction.. once you've configured the two sides to know about each other, it's really flexible for doing an initial transfer, pushing just the new changes, pushing to multiple destinations, etc.

magic-wormhole doesn't need the initial configuration, but only lets you transfer one file (or one directory). So it's better for ad-hoc transfers, or for safely establishing the configuration data you need for a more long-term tool. The analogy might be that magic-wormhole is to synthing as scp is to rsync.

The snap/flatpak thing is weird, and I share your discomfort with uncertain provenance of software delivered that way.

I wrote the original version in Python, and took advantage of a number of useful dependencies (Twisted, to begin with), but a consequence is that installing it requires a dozen other packages, plus everything that Python itself wants. I've watched multiple people express dismay when they do a `brew install magic-wormhole` and the screen fills with dependencies being downloaded. If I knew Go, or if Rust had existed when I first wrote it, I might have managed to produce a single-file executable, which would be a lot better for deployment/distribution purposes, like wormhole-william provides today.
> Could I pass a bar exam of a medical exam, by reading the public internet, with no notes and just from memory, which is what a base model does? Nope.

You're -still- ignoring the fact that these models spend millions of GPU-hours in training. I'm sure you could manage.

> Hell no we mess that up almost constantly.

"Almost constantly"? Is this satire? I'd fire any such person, and probably recommend them psychiatric treatment.

AI-hype people really think so little of human beings? I certainly hope my pilot isn't "almost constantly" hallucinating his aviation training.

> I'm sure I've seen this done. I wonder if I'm hallucinating that certainty…

Show me the conversation.
If you enjoy this kind of interaction with a narrator, I recommend the game "The Stanley Parable".
It's not as crazy as it seems, a pinhole camera doesn't have any lenses either and works just fine.
The hole size is a tradeoff between brightness and detail.
This one has many holes and uses software to puzzle their images back together.
Releasing everyone's SSN and the hacks used to acquire them
32.4 TB for $4, or approximately 700 times cheaper than AWS. Neat.
The quality of our lives is too entwined with foreign politics for us to maintain ethical ignorance of what happens in the world around us.
> Life experience directly prevents application of logic, as we shortcut to our knowledge associated with the word so that we can skip the expensive-and-hard "logic" thing

Intelligence is prediction, and the simplest kind of prediction, and what literally comes to mind first is "this time will be same as next time", so in many familiar situations we are just reacting rather than reasoning/planning. It's when what comes to mind first doesn't work (we try it), or we can see the flaw without even trying, that we need to stop and think (reason), such as "hmm... how can I get this stuck lid off the jar - what do I have that can help?".

> If the missing gap was as you say, then approaches like Cyc's from 40 years ago would be highly effective

CYC vs LLM is an interesting comparison, and one that I've also made myself, but of course there are differences as well as similarities. The similarity is that both are rules based systems of sorts (maybe we could even regard an LLM as an expert system over the domain of natural language), and in both cases there is the wishful thinking that "scale it up and it'll become sentient and/or god-like"! The major difference is that CYC is essentially just using it's rules to perform a deductive closure over it's inputs (what can it deduce from inputs, using multiple applications of rules), whereas the LLM was trained explicitly with a predictive goal, and with it's domain of natural language it's able to predict (recall) human responses and therefore appear intelligent.

I think prediction (= intelligence) is the key difference here. An LLM is still limited in it's intelligence/predictive ability, most obviously when it comes to multi-step reasoning, but it's natural language ability and flexible (key-based self-attention) predictive architecture make it quite capable when operating on "in distribution" inputs.
Not sure I understand the question. This paper is about using diffusion models to reconstruct usable images from raw sensor data. The diffusion model in essence replaces the lens.
> If this was a superior strategy that was so obvious no 1 would be making mistakes so how does this work?

Either people aren't aware of an optimal strategy (if one exists) or they ignore it for various reason.

The latter is surprisingly common. People know they should exercise, get enough sleep, eat healthy, stay hydrated, tackle high priority tasks instead of procrastinating, etc. - and yet they still aren't doing those things (or as much as they should).

Knowing something is not enough.
I said no such thing.

First, it would save one line of code (v := m[k]). Second, it would also allow an optimization. When iterating a map directly, you have both the key and the value at the same time. However, since we iterate only the keys here, we then have to look up the value anew for each key. That takes extra time and, for large maps, will thrash the CPU cache.

So the following would be both fewer lines of code and faster:

for k, v := range maps.Sorted(m) {
// do something with k and v
}

Making common operations clear and concise is not mere sugar in my opinion. It not only improves the developer experience, it also clarifies the developer's intent, which enables better optimizations, and allows bugs and traps to be addressed in one place, instead of languishing in far-flung places.
I have a JavaFX app in production that ships 40mb binaries, which includes the JRE, and can run with a 50mb heap, and I haven't optimized it yet.
Then again, it was Intel's tiny Israeli team that saved them fron oblivion at the hands of AMD due to the dead-end that was Netburst (Pentium IV), by taking the Pentium-M architecture and turning it into Core.
So why don't Google it? There is a vivid start up scene, several young examples included but you just ignores it and call it German cope.
How are they at writing?
Or Israel's inability to match the US and EU for fab subsidies.
You're describing the absolute basics of functional options to someone who, by cautioning about a niche usability issue with this exact implementation, has demonstrated a solid understanding of them.
(In Firefox) I opened the terminal, then deleted an overlay and I COULD "break" the video like you are describing, which lead me to believe it was a "mess with the DOM" kind of pseudo-game, which seems like it was def not the case when I deleted more things and everything broke.

Edit: added a PR (took just 12 mins to fix) https://github.com/AndreiBalan-dev/there-is-no-website/pull/...
And thank you for the compliment! It's great to see that your efforts are seen and appreciated :)
> they could have time left for actually contributing to society - anything from caring for the elderly to making art.

That is an assumption that is not obviously true at all. Plenty of people are not creatives and not self-directed enough to do so. But even if they are motivated, can we really be sure that such a soceity would work, because people will know they are not truly needed?

To be honest, already, society seems rather meaningless in some ways and I think a lot of people find meaning in their work that they would not if no one really valued them economically.

And also, people may make art, but automation now also seems to imply that the world will drown in a sea of AI-generated art that may make actually getting such art to a wide audience almost impossible.

To me, it is far from clear than a totally automated society will be any sort of utopia.
Not the same thing, but had me remembering the "official" way of disposing of toluene after Chemistry lab in my US High School.

Carefully carry it to the window overlooking the lower roof. Toss it on the roof. Let it evaporate.
Yep, any time I use an authenticator with an account I generate "backup codes" and keep them in my password manager. This saved me when I got a new phone and for some reason my Google Authenticator did not transfer to the new phone properly.
This made me wonder how long ago Bezos had announced they were going to do this drone delivery thing. I would've guessed 4 or 5 years, but it was 2013.

During a 2013 "60 Minutes" interview, Jeff Bezos, who was still Amazon's CEO at the time, famously predicted that Amazon's patented delivery drones could be operational within five years.

https://www.commercialuavnews.com/drone-delivery/what-the-la...
I don't really disagree although you can't really keep people from working on their days off if they want to, at least in a remote/WFH situation.
I don’t understand how we went from talking about “companies not worrying about success problems until they have success” to talking about individuals where none of that applies and is just a bad analogy.
I hope people like yourself start filing lawsuits over this kind of thing. Non-technologists are using tools they don't understand to 'score' the quality of work put out by individuals, with life-altering results. T

his despite those tools being both unreliable and treating semantic correctness as equivalent to artificiality. In fact, the more skill and effort someone invest in writing clearly, organizing one's thoughts etc., the more likely their output is to be labeled as AI-generated; people are literally being penalized for getting too good. Increasingly this is being used in the commercial world as an excuse not to pay people for commissioned work.
> apology for edits, out and about

No worries. We all have lives.

> Some local jurisdictions

It's not some - it's a lot. And a number of these are not wealthy prefectures - Guangxi, Jiangxi, Jillin, Anhui, and Hebei underperform compared to the Chinese average on social indicators and economic health.

The amount of money spent to subsidize EV cars made by GAG, FAW, Dongfeng, Changan, Chery, JAC, etc that most Chinese buyers just don't think about for EVs when they can buy a BYD is staggering, and could be better used by the prefectures I listed to better living standards or further increase consumer spending via DBTs or a better welfare system (which itself has been devolved to prefectures since the 90s).

> This [export] is very necessary

Absolutely, and this is why every major automotive market (US, EU, TR, MX, BR, SK, JP, VN, ID, IN, ZA) has already or is in the process of closing their markets to direct "Made in China" automotive exports (as well as other sectors like renewables, consumer electronics, pharmaceuticals, etc). Why should these countries lose their domestic champions at the expense of Chinese players?

What large greenfield market can Chinese manufacturers directly sell to? And you can't say "Africa" - it's not a uniform market, and Chinese companies face competition from (depending on the region) Turkish, Japanese, Korean, Brazilian, Vietnamese, Indian, Emirati, European, South African, and American competitors.

This is the crux of the problem - the very low median household income forcing players to export.

Either the collective billions in subsidizes are deployed to push Chinese median household incomes to at least Malaysian or Mexican levels (~$10,000/yr) or even Thai levels (~$6,500/yr) in order to consume this excess capacity, or keep burning money subsidizing laggards while alienating foreign markets and partners.

> Let's not pretend PRC trade wars are any less strategic than US trade wars

At a high level it is, but the governance is atrocious. Just look at the First and Second Big Fund for example.

And anyhow, Chinese manufacturers in these sectors then face similar tariffs like EVs in the markets I listed above under NatSec or Dumping grounds, which in turn drives neighbors further into the US camp (eg. VN after the 2011 standoff and the Techo Canal, JP after Senkaku Diaoyu, TW after the 2014 trade war, SK after the 2017 trade war, India after the 2019-20 Galwan crisis, PH after the PoGo scandal, ID and the US CSP, etc).

This in turn means you guys will escalate under the fear of being encircled, which pushes those countries to further up the ante. The same fear Chinese nationalists have about the US is the fear those countries have about China.

Either way, this means China both loses potential economic partners/markets AND exacerbates an arms race.

It didn't have to be this way, but the MFA's and CMC's tone change since 2014 has drastically deteriorated China's relations with it's neighbors.
Israeli tech salaries are higher than in the UK or Europe, Big Tech goes there for the brains, not for cost savings. Intel has design labs in India as well.
Seconded, magic-wormhole is fantastic and has "just worked" for me several times. Thank you for all your work in creating this brilliant software!
In some places, taking a vacation longer than three weeks requires the company to stop paying your salary and consider you "abandoning" your job, or submitting special paperwork.

Possibly in Europe, but this not the law anywhere in the U.S.

To the extent that any American corporation requires this, it is purely a corporate policy.
> I'm not sure what is meant by "protect against the case where there is a remote root hole".

I don't understand how this is ambiguous. I mean limit the damage that an attacker can do if they get root - this is something RHEL can do and OBSD pretty much refuses to.

> They secure things from top to bottom

Eh. Kind of. The devs are against security technologies that they think add too much complexity to their system regardless of benefits. That's why they don't have any kind of RBAC or MAC, just plain old DAC. You get root, you get everything - pledge and unveil won't help too much there.
From the article: "Microsoft hasn’t bothered to fix it because Microsoft Authenticator is a free product and therefore doesn’t generate revenue."
Do they share any underlying protocol standard or something?
When asked to set up TOTP, the first thing I do is scan the QR code with a QR code reader, and save the secret into my password manager, before adding it to my authenticator app.
A lot more than a decade. I've been using it for 15 years at it was a very mature project even then. Repo history goes back to 1999 and according to the history page the project's roots go back to the 80s. A bit like Postgres in this respect.

https://xapian.org/history
https://sigir.org/files/forum/S2000/MUSCAT_note.pdf
It's self-upgradable if you're brave!

But even a configuration like this won't eliminate fans. The water-cooler on the GPU block still runs through a radiator circuit that is fan-cooled and shared with the CPU. Replacing the 400-odd watts of heat that system dissipates under load is extremely difficult with a passive system. You'd have to end up undervolting the components for stability's sake, at which point selecting such a powerful system starts to make less sense.
I’d avoid the MS Auth app, even if it was written well.

https://news.ycombinator.com/item?id=41275846

Prefer a FLOSS alternative.
For those interested in various approaches to lens-free imaging, Laura Waller at Berkeley has been pursuing this area for some time.

https://waller-lab.github.io/DiffuserCam/
https://waller-lab.github.io/DiffuserCam/tutorial.html includes instructions and code to build your own
https://ieeexplore.ieee.org/abstract/document/8747341
https://ieeexplore.ieee.org/document/7492880
It really is that simple. This has been part of my job for the past decade+ and it has not been an issue for Americans to open up bank accounts in foreign countries at respectable banks in at least a decade.

If a foreign bank won't open an account for you because you were once American, the problem is that the bank has something to hide. Full stop. End of story.
When I'm in the hot seat I use a variant of a set of questions I ask SWEs when I'm the interviewer. Those are "What's your favorite programming language? What do you like best about it? What would you change about it if you could?"

As an interviewee they become "What do you like best about working here?" and "What would you change if you could?"
Excellent, thank you!

Setting this up on a PC and Mac to transfer files back and forth.

There’s an XKCD for this, too: https://xkcd.com/949/
One of the most mind-blowing things I've read was prototyping Perl 6 as the language was evolving in Haskell. Amazing to have done that and successfully moved on to a career in government.
> Community Notes seems to be highly effective at combatting misinformation, at least of the most popular tweets.

It doesn't, millions of people see it before community notes show up. Musk is sharing fake news himself[1]. This is dangerous, this impacts people emotions and their actions.

1. https://www.politico.eu/article/elon-musk-share-fake-news-uk...
We enroll them as standard fido/webauthn - I hate the other modes.

I agree it requires significantly more work when you can't just call the locksmith for a new one -- IT -- if you lose one on your personal account you can only go get the spare key hidden under the doormat, a printed code in your safe, or lose the account.
Grafana/Prometheus stack
My servers send a lot of emails, so postfix failures.
Pointing at Boeing for any broad business thesis is difficult given recent developments (i.e. failures) -- maybe excepting a shift to finance-driven culture away from engineering-driven culture.
Militarism and imperialism is not about wars only
> When I find that the only tube of toothpaste left is that special, sentinel toothpaste, then I know it is time to buy more toothpaste.

I buy more $CONSUMABLE whenever I take the last unit of $CONSUMABLE out of storage. If I don’t order online or add it to the grocery list right away, I put the old empty (second-to last) container in a place where it is likely to prompt me to resupply in a timely manner, which is often different from the place where $CONSUMABLE is consumed. Otherwise there’s the risk that the “special sentinel” is always encountered at a place or time where resupplying is inconvenient, and so it might run empty before you get around to it, despite its “special” nature. This approach also has the benefit that you don’t have to switch from your favorite variety of $CONSUMABLE.
Does this actually work? I thought most TOTP codes were single use. Have you actually tried re-using them?
Oh, that's actually really nice, I should start doing the same thing myself
> Is no-one at Microsoft actually using their own Authenticator?

At most, I'd expect people to only use it for work, where Microsoft is the only issuer.

I also expect lots and lots of people to not use it.
Publications like this serve as entry-level information for people who are interested in science or want to stay abreast of the news but don't have a science education or the aspiration to develop professional knowledge. I prefer reading papers to explainer articles, but I still remember being shocked by the steepness of the learning curve I encountered the first time I bought a copy of Nature.
Why would they refer to a specific brand instead of the bacterial strains?
China: tons of stuff, no profits.

America: lots of profit, no product.

Maybe we can borrow from each other? I can think of a bunch of sclerotic industries in America that need to have their margins driven to zero.
TIL that it was named phantom types.

I use them in C via struct/union. It is a little more verbose to use, but offers type safety when needed without any runtime penalty.

That, and a good naming scheme : always encode the unit in the variable name. Always.

timeout_ms is much better than timeout, unless timeout is a human readable string. Same for any config file parameter.
How difficult is it to test your site on the 3 major browser engines? I have done some web development before and when I'm on linux, I just test my site with chromium, firefox, and epiphany.

I think the onus is on the developer to use standards that are well supported and to try to avoid standards like webUSB that are niche. To use semantic HTML and such so that the website fails in a more useful way to the end user when the standards aren't supported.
totally agree, you have to so naive to believe it's not US gov's influence that's maneuvering this behind the scene, just like in Japan, South Korea and other China's neighboring countries.
Re: is this a camera or not, I recently realized that my fancy mirrorless camera is closer to this than i’d previously thought.

The sensor has a zillion pixels but each one only measures one color. for example, the pixel at index (145, 2832) might only measure green, while its neighbor at (145, 2833) only measures red. So we use models to fill in the blanks. We didn’t measure redness at (145, 2832) so we guess based on the redness nearby.

This kind of guessing is exactly what modern CV is so good at. So the line of what is a camera and what isn’t is a bit blurry to begin with.
So tensions between China and the Philippines have nothing to do with China's actions and are just the U.S. performing a psyop?
> federal debit card

I don't see how this could possibly be abused by law enforcement or politicians. I'm in!
so like if the funding for AI disappears then somehow my requirement of multimodal search also disappears, and with it all the existing solutions, some NOT VC funded, like pgvector?
This would be impressive if the examples weren't taken from the same dataset (Laion-5B) that was used to train the Stable Diffusion model it's using.
> where can the competition export?

You see, there is a 1.5m-2m new car market right next to China, completely abandoned by western players. And another 500k-1m market in Central Asia, where General Motors neocolonialist monopoly is waiting for disruption.

Of course it's not US or EU-sized market, but realistically, in the best case scenario I'd expect China to have at most 20% of US or EU. Here, they can take it all.
Your comment is malicious because this is not a problem instrisic to Bitcoin mining, it is a problem instrisic to the current energy production grid. By your logic every industry sector that comsumes huge amounts of energy (and there are many) in the planet is evil. Hence your problem is not with Bitcoin, but with energy consumption or with our current power production grid.

I'm not a big fan of the current power grid too, I think nuclear is the way to go.
I've re-read everything you've written so far, and I think we're just in violent agreement. It would have helped if you provided some explanatory code, but the word "middleware" in your original post (which may have been edited in? if not, sorry, that's on me) clarifies a lot for me.

If you do need to == or type-assert the options, then don't make them functional. That seems to be what you were saying with `type thearg string` earlier. However, I think my original example with an interface illustrated another/better way to solve the same problem: make the options self-describing.
It has to do with govt subsidy policy on making EVs that ended couple of years ago. Before that, every company with cash and even local govts entered EV manufacturing to avail the subsidies. Even when their core competency has nothing to do with EV manufacturing and even manufacturing anything. Same reason, some companies filled dumping yards with bogus "sold EVs", since repairing and keeping quality when being used will cost them more instead of making some substandard EV and generating fake sales cert.

Similar policy PRC used when building up solar and battery industries. Subsidise a hundred companies, and few will come out as winners. Reportedly with real estate issues and semi trade war economy is facing headwinds and PRC is scaling down subsidies.
As Adam Smith observed, professional synergies tend to conclude in frauds upon the public.
The links I shared are from 2022/2023, long predating the current dispute. Financial considerations are most definitely at play.
We poured ours down the drain.