skysight-inc/HackerNews huggingface dataset:
Which means it took them over a decade to start moving their assembly lines out of China. The GP comment still stands, Apple clearly had no urgent interest in ending their relationship with China. A cynic might even suggest that they're only doing it now that the geopolitical tensions are favoring the US...
I had the same trouble. But if you pronounce "biyouvet" like "bee you vay" as you would in French, it sounds like "B of A", for Bank of America.
Ah yes, you can also use Mac for most.

I meant, rather, that I don't think any of the Linux audio production stuff is great. Reaper and Waveform are good, Ardour is not yet (in my opinion, it's buggy and requires too much configuration that is not required in other software, but they'll get there).

The big-name software is genuinely better than what is available on Linux and is worth using, and the latency introduced by VMs makes that idea useless, and using Wine for that task is non-trivial.

I'm just a hobbyist though, my job is not music-related. I have used a midi controller as an industrial process controller though :)

Like everything else on Linux though, it'll get better over time. I do screw around with LMMS on linux because it's completely intuitive to me. It works, it's just not as complex and feature-complete as Ableton / etc.
> everything besides the twitter app

Like what? What has twitter acheived beside twitter app with more employees for a decade?
The Hippocratic oath is very clear that the doctors are culpable.
The issue is that Albert Heijn, and many other stores in the Netherlands, will not accept credit cards. And then American-issued debit cards do not seem to work either (eg, Bank of America shows the symbol "Debit Visa"). Perhaps debit cards from say Austria work (they're often on similar networks as the Dutch banks).
I remember this! Sad that it's still an issue :(
No offence but it is difficult to take bug report invitations such as this seriously when long standing bugs aren't fixed (https://www.youtube.com/watch?v=OHKKcd3sx2c).

There is something deeply flawed with the culture at Microsoft / the Windows development team, and it has been that way the better part of a decade now. Stop milking your users for cents by turning Windows into malware.
Seems like majority of problems in this log are devops problems, which seems to be combination of ML people doing devops work while not having experience with devops work and really bad cloud vendor. I've been running multiple bare metal nodes with 8 GPUs each running 24/7 for months with almost 100% utilization and had 100x less problems than they had.
LPG (liquified propane gas) stations are slowly on the wane but still common enough for practical use in Germany.

Common enough and cheap enough that I still feel a bit prescient for buying a 2017 Ford Focus wagon with about 30k km on the clock that was factory modified for LPG, in August 2021, for about half what the original owner paid.
For everyone else, there's 1Password
The military is always complaining about not being able to recruit, now they're trying to strongarm kids? Especially the seeming policy of targeting racial minorities in poor districts is disgusting. Heads should roll for this, but of course they won't.
I can at least provide you with my usual favourites. I use Windows on my work computer and Linux on personal.

1. Auto updates. Get a pop up every 1-2 hours reminding you that by the next morning the computer will restart. If you do it now, you get rid of the pop up, but will spend the next 15 minutes waiting for the update to apply. If you forget about it, you will find all your programs closed the next morning. This never happens on Linux, although I don't know how much of this is due to the laptop being a company one.

2. Customizability: I wanted to customize the keyboard layout to my own preference. Could not do it. In Linux it was 5 mins on Google and one config file edit. Don't even care to think how this changes when one wants to start customizing further.

3. No tabs on file browser or power shell/cmd. This one is the most baffling one, such a low-hanging fruit to improve UX.

4. Microsoft data collection from usage: more of a theoretical concern to me, but still doesn't make me like it any better.

5. I'm not a fan of the office tools you're forced to use with corporate Windows: for some language reason outlook refuses to believe that I want to write "to the" and not "tot he", even if I explicitly tell it not to correct it. And unfortunately Excel is the de-facto standard for office spreadsheets. It has a rather primitive way to handle dates and can't open files with more than some 1 million or so lines. I can't help but think that if MS didn't have such a monopoly on office software, we would have similar variety and quality as we see for IDEs in spreadsheet software.

The last point is not exactly better in any other OS, but it still is a firmly Windows thing, so I feel it's justified to be added to the list.

Ah, lastly, using Linux I can be pretty comfortable that my OS experience will stay more or less the same for years to come. If bit, just change the distro to something relatively similar. Not so much with Windows. So far I haven't read a single positive thing about W11, and would like to hear your thoughts on having ads and whatever else you have to put up with when you're forced to do the switch.
The TFA slides live on [1], along with the paper[2].

[1] https://simon.peytonjones.org/verse-calculus/
[2] https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf
Precisely. I get frustrated with computer interfaces that are hard to use all the time. But at least then it’s just the program which is stupid; I don’t have to get mad at anyone. But to have to deal with things that are actively working against me due to deliberate design decisions? That’s outright infuriating.
Not sure of SQLite's interpretation, but in general 100% test coverage "only" means all lines are executed in some piece of test. It doesn't necessarily indicate correctness of each line being checked.

Not to mention one can have multiple logic branches in a line. Or bugs relevant to only some subset of inputs (e.g. works fine for positive numbers but fails for negative is a classic example)
>The creators of Tetris saw none of the profits from their creation. Their game was seized by the state as soon as it became popular and they never really profited.

Wiki tells a different story
https://archive.ph/W32yh

https://archive.today/W32yh
The creator, Alexey Pajitnov, was eventually able to see some money from his creation after emigrating to the US and cofounding The Tetris Company. The Gaming Historian channel has a great documentary video on it here: https://www.youtube.com/watch?v=_fQtxKmgJC8
I mean logic languages have a history of... trying to be distributed but it's never really worked out.
I just use Lutris now and it all works, there's no more screwing around with Wine for me; if you had problems with Wine in the past, I suggest you try Lutris, you might find it is no longer a hassle.

If you use Steam, it's all automatic and transparent in the background, but I don't use Steam for everything.
As a German i agree with your point, but also agree with the point of the grandparent. It was predictable and the people responsible for Germany's heavy reliance on Russian gas unsurprisingly are getting paid through intermediaries by Russia.

There have been an abundance of coverage on it, even from state media... but nothing ever changes. Heck, the current head of the government was/is involved in the biggest financially scandal of Germany's history and got away with it by "forgetting" everything.
Thermometer won't function unless connected to phone and syncing with app
Not if you really believe in the concept of public domain. Old stories should belong to everyone, not "someone else".
Yes, which I believe is why people rightly dismiss social science, as not being scientific at all.
If I was let's say China, what stops me from replicating GPT!
So... you want to replace flammable hydrogen with... ionized hydrogen. Hm.
If binary obfuscation is a threat, then every iPhone and Android handset ships with a pretty broken threat model. I don't disagree with what you're saying, but binary fuzzing is pretty much par for the course on these matters.
If your argument is global world, than why is average salary in Czechia 3 times lower than in our neighbors in Germany?

How can you apply same prices to different countries?
Burning fossil fuel isn't primarily about polluting neighborhoods, it's about polluting our shared atmosphere. If 20 000 houses use electricity from one oil burning power plant it's relatively easy to capture the carbon emissions from that one plant, and to replace the plant with other power producers eventually.
I'm sure they know a lot more about language design than I do, but the use of what is essentially SQL's NULL for boolean false doesn't feel like a good idea at first blush.
Would people want to board a spacecraft built by people with this mindset?
Love the concept, but don't run this on company code without approval!
Mmmm this could be solved using Zero-Knowledge proofs.

When registering pick an elo. Provide a proof that you own the account in that Elo range and then you can create another account that will start in that Elo range.
> (1st month, 2nd day, 3rd hour, 4th minute, 5th second, 6-th year, 7th timezone)

Who was the bright spark that decided they the month of all things should go in first? This format makes almost as much sense as Sunday being the first day of the week
There's some great tweets that stay famous & are useful things, that get re-shared for a long long time.

This is saying we will burn the collective human history. Eventually you will die and your online past will be wiped out with you. Eventually all quotes will self immolate, be wiped off the facce of the planet.

Personally I find this extremely reprehensible, to be the shittiest lowest class most garbage dumptruck take we could make against humanity. It's just cavalierly cruel & stupid & shortsighted. The deliberate & cruel unwillingness people go through to talk themselves down about the meaningfulness & importance of twitter as a medium, to regard it as ephemeral & unworthy of note, not worth preserving: it's anti-human, anti-value, is sabotage of the idea that people have value. It's all low. We shouldnt burn ine of the most participatory records of human interaction. Even if 99% of the traffic is as frivolous & pointless as the detractors, those selling anti-value, would have us believe. We shouldnt do this.
You run an http debugger and find the endpoints of the app. Then it's just a matter of posting with the right values. The hard part is training the AI. You'd need a rather huge dataset in order to achieve general conversation.
While we're making tools for developers, make it so that I can yell at my computer, have it run voice recognition on it, and have ChatGPT interact with Jira for me.
Around ten years ago, I worked for IBM as a software engineer. The dress code at work was pretty casual, so I tended to wear jeans and a t-shirt in the office. One day, I was asked to speak at an event that would be attended by a lot of our customers. I asked my mentor, "Should I dress up? Should I wear my suit for the first time in years?" His response surprised me. He said, "These customers have come here to talk to engineers. Do you want them to think we've sent a salesman to talk to them." He made it perfectly clear that I should dress like an engineer. I confess I did get rid of the t-shirt; I wore a casual shirt with my jeans that day, and the folks that I talked to went away satisfied that they had indeed spoken with an engineer.
Ok, what is the definition of "anecdotal" in this case? Funny?
Just want you to know that those particular DVHS decks were an object of desire for a geeky teenager wanting the latest and greatest!

I had no practical use for them as my family didn't have an HDTV for a few more years, nor lived in an country where 1394 was enabled by default on cable boxes. However, the very idea of having a MPEG TS captured on a commodity tape was alluring in being able to have a perfect copy of whatever was on TV.
This looks a lot like a functional version of Icon
https://en.wikipedia.org/wiki/Icon_(programming_language)
Show HN: Job board to find sales jobs at a startup
Hi HN,

I designed the site based on what I wanted a couple of years ago when I had been looking for a sales job at a startup.

The search function is largely driven by role (Account Executive, Sale Engineer) and you can further filter by funding round, job experience and remote/hybrid/in-office. Next iteration will include search by salary ranges.

It's very early and any feedback is appreciated!
You've noted elsewhere in the thread that pentesting has the concept of a "retest". A retest purely examines the findings of some original earlier report. Any other vulnerabilities are out of scope, no matter how serious.

This seems like a better match to the regulatory audit model, but it's a bad match to the problem people would like to think of audits as solving, which is determining "are there any problems?".

The normal pentesting use of "audit" draws on that intuitive meaning of the word; the concept is that you answer whether problems exist. But it's deeply weird anyway, because the answer can't be known, only guessed.

I seem to remember PCI being called out as a very different report type from the usual, closer to the regulatory audit model at least in that the process was heavily regulated and old problems had to be fixed and retested. I never did a PCI report; don't hold me to anything.
> It's about being adult is about not giving a shit to a lot of thing.

This. In my little theory, that's exactly the watershed: will one be able to find something exciting to do. If succeeded, learning abilities and creativity follow the energy. It's akin to falling in love, really. But yeah, when you get older, you my need to try harder finding those things.

I couldn't find any tricks as to how to identify such areas of interest, but I "discovered" an indirect factor that raises the chances for that: regular physical exercise, ice baths, proper nutrition, and staying calm. When I feel great, the world suddenly becomes a fun place to live.
I like it. It's easy to read.
The metaverse angle doesn’t make much sense to me but whatever.

The big idea I see is that prolog-style backtracking logic becomes a first class notion in the language – every expression denotes a sequence of values reached through backtracking-like behaviour – which allows mixing logic-programming with a more familiar kind of functional programming. Though perhaps there are other ideas too.

I think it will be interesting to see where this goes. Perhaps this will be another Fortress but SPJ is well regarded, has written a bunch of interesting papers, and has a bunch of experience managing a programming language project from haskell which will hopefully carry over.
Humm... that U-shaped piece it's lifting looks like it was custom made for this robot, but doesn't appear to fit anywhere.

But then, what matters here is how much fun they had designing the robot!
I almost had an existential crisis thinking it was closing access permanently or something. DON'T do that to me.
I’m not downvoting, but I think the concept of anonymous speech goes way way back to the origins of writing, doesn’t it? The change in recent years is that it’s extra hard to stay anonymous, what with the surveillance economy?
> Like the metaverse vision, Verse itself is open

Aren't these companies pursuing a "metaverse" product because they can lock it down, control it and make money on it? Otherwise rather than FB and Epic etc making their own, you'd have something developers could work with and use right now

I wonder if maybe Simon Peyton-Jones has to play along with the whole metaverse fad just to do something he wants to do.
My experience with them has been both knowing a large number of their consultants at certain locations, and reading the reports they issue for network and webapp pentests.

Work quality on those was a real mixed bag, some was terrible, some was excellent. It didn't leave me with much faith in their QA process.

Similar experiences with other larger consultancies (MWR - now FSecure, etc).
I was hoping it would recognize C. G. Jung's very first dream that he could recall:

"When I was three years old, I dreamt I discovered an underground chamber in which a huge phallus, some fifteen feet high, was poised upon a golden throne."

Alas, GPT-3 doesn't agree this means I will become a renowned psychiatrist.
Is Dark Mode Good for Your Eyes? (2020)
Side note, high pressure injection was and still is a common workplace accident[1].

It happens when you work with highly pressurized fluids, like with a grease gun, and there is a leak. The high pressure jet can penetrate your body without too much visible damage, but you just injected yourself with nasty chemicals, and the consequence can be serious, or even fatal.

The jet injector idea was that if high pressure jets can inject people with poison, why not use the same principle to inject medicine.

[1] https://en.wikipedia.org/wiki/High_pressure_injection_injury
> Am I the only one not impressed in any sense by Teslas?

I am very impressed by their batteries and I like the look of the Model S but I'm utterly unimpressed by the build quality of the interior and the cheap materials used.

At that price I'd except to be entering a comfortable car using luxurious materials.

FWIW I tried the Porsche Taycan and the interior is leaps and bound ahead of the Teslas (but the batteries aren't up to par yet and the software ain't either I think).
Chances are these people have priors. Just cross reference the address with your criminal database and bobs your uncle
Also it's not obvious from the slide if there is already a compiler / exécution env at the moment, or how far they are from it.

It is expected to release in January as part of Fortnight Creative (delayed from this month).
From the first paragraph of the article:

> You've probably heard it all, too: A Prius is worse for the planet than a Hummer. EVs are coal-powered cars. Electric cars produce more CO2 than internal combustion engine (ICE) vehicles. Lithium mining is uniquely bad for the environment. Cobalt mining relies largely on slave labor, if not child slave labor. Actually, that last part is sadly true. But the rest? Lies.

Later:

> Sure, more EVs will mean more batteries, but unlike gasoline, which always has to be burned, battery production can become (and is becoming) greener. Another way to look at it is the energy required to produce an average EV's battery is equivalent to about 74 gallons of gas.
the dreamer and the dream are inextricable.
There needs to be a prestigious award with a large monetary reward for scientists who definitively disprove the most previously published studies each year. Then track scientists how have their names attached to the most garbage studies and publicly drag them.

Best way to clean house on an untrustworthy institution that's been politicized. Do science for the science, not to fit some shit narrative.
Binance locks withdrawals for some accounts
I don’t believe the metaverse will be a browser app; even Decentraland now pushes to a download because it has to do so many real-time operations.

That said, I’ve worked with a few of the Haskell OG team (not directly SPJ though) and if you bring in a functional language designer to work on a project you can bet it’ll start with a new language (I’ve worked on two domain specific languages due to this).

Some of the constraints right now with this sort of program are CPU/GPU bound, so if we they’re building a new I suspect it’s going to focus on concurrency across threads/GPUs to support the high rendering requirements etc and make it easier to work with networking and C/C++ FFI GPU drivers. This is speculation on my part though :)
We use windows at work because people need MS Office, CAD, and because it is the easiest platform for me to develop desktop apps for our scientific equipment.

Win 10 issues in this vein were a bit annoying but no too terrible

I've been dreading having to move to 11 someday. All the bad parts of 10 get cranked up. We can't even create local accounts (as is appropriate for a single-user / shared machine.)

I have been liking other Microsoft software the last few years. But why are they ruining Windows for any professional use?
Well yes, Germany maintained the reactors they had until they reached the end of their useful lifetime (the three reactors that are still in use have been built in the late 1980s, so are currently a bit more than 30 years old), and now they're shutting them down. It's not like you can use a nuclear power plant considerably past its designed lifespan, so even with an extension, we would be talking about a few years max.
I agree, you speak too fast, and use "like" and "basically" way too much. See if you can find a way to improve your diction.

Another thing, in most episodes, it seems like you have a list of questions that you want to ask, and you quickly go through them, as if you just needed to check them off the list.
And I get it, any application running in production consists of multiple pieces and involves many decisions, but just listing all of the components one by one, turns into reading the specifications on the back of a cereal box.
Maybe you could pick one or two particular aspects of the infrastructure and discuss those in greater depth. Ideally something that either you or your interviewee feel very strongly about. I'd also be interesting if you challenged some of the decisions that went into the infrastructure. All too often you agree too easily with your interviewee.

Overall however, none of these should be dealbreakers. I still listened to many episodes.
Doesn't seem like it needs much support, as such, being able to use ".h" files directly.

You would not want anything that must be depended upon coded in it, in case it fizzles like almost all languages do, but that leaves huge scope for valued additions on top.
Was that intended as irony? Those are exactly the kind of arguments the article is debunking - so I think we'd at least need to see references...

Clearly the grid in Cali couldn't handle charging all the EVs if every ICE vehicle on the road today was magically replaced with an EV, but that will take decades to happen, during which the grid will be built up.
To speak in terms that I can understand, How much is a bag of cash translated to piggy bank's international metric system?
The soviets made a pretty good go of turning a theistic feudal monarchy largely with an economy focused on agriculture into the second biggest industrial power in the world for almost a hundred years. Certainly not perfect, and horrible to live in in many ways, but better at building an economy than a lot of other similarly sized places.
Ex machina
My point isn't about who's at fault; it's the result.
Cryptonomicon mentions this as well. Each operator having a particular "fist" that was unique to them.
Nuclear power is too slow
I'm not sure, a lot of big metal parts are cut on a horizontal mill. A horizontal mill is basically a mill that cuts using a cutter that is basically a wide saw. The machines they are using could be described as stone focused horizontal mills.

https://fractory.com/horizontal-vs-vertical-milling/
Here is a video showing the UX of a similar VR robot control system from the recent XPRIZE competition. It's using much more than just VR to control and get feedback from the system.

ANA Avatar XPRIZE Finals - Winning team NimbRo Day 2 Test Run
https://youtu.be/8AwgGSpcAe8
Larger planes are more efficient, but then ridership drops off when you make things less convenient so it's harder to fill the planes. I'm pretty sure the airlines are already maximizing this and are not optimizing for passenger convenience :)
If you haven't seen it, here's Hugh Laurie telling a story of attending John le Carré's 70th birthday party: https://youtu.be/0es0XnqpXyM?t=1442