skysight-inc/HackerNews huggingface dataset:
Not sure if this is the right place to mention this, but the Python keyword activated my neurons: upon running LeanCreator.exe I was greeted with two error boxes:

lldb-vscode.exe - System Error: The code execution cannot proceed because python310.dll was not found.

lldb.exe - System Error: The code execution cannot proceed because python310.dll was not found.

This occurs every time the program is run, though the program does indeed start, although I haven't been able to test it much since I'm not very familiar with Qt and Qt Creator.

Edit: I'm trying to create a Hello World. File> New File Or Project only lets me "import" one, so I "imported" an empty folder. Nothing seems to happen in the UI (there is no indication that a project has been created or opened, projects button is greyed out, and I can't find a way to add cpp files), though it did create a bunch of project files in that folder.
After a couple of OS updates any iPhone is still faster than an average Android phone sold at the time.
Nice! Not sure I follow how it’s “cruel” though. Making it fair (by removing guessing) removes the only cruel thing about OG Minesweeper.

Seems like this is 100% winnable all the time.
I don't have any advice that's specific to your region other than that the most effective way to learn foraging, in my experience, is to find a teacher in your area. As much as I don't like Facebook, there are lots of regional foraging communities on that site that can provide references to teachers.

Second to that is simply going out into the wilderness, taking pictures of interesting looking plants, and then figuring out what they are online. There's even apps that help identify things, but I haven't used them. I think iNaturalist might have some kind of computer-vision feature. Dunno. But remember to always get a second opinion before attempting to eat something. Again, that's something that being a part of a foraging group can help you with. If you keep it up and you get a sense of how to forage safely, then you can be more self reliant and refer to books if you come across unknowns.

One last thing about foraging that even many foragers often forget is that the smell of a plant is a key identifier. It's often overlooked because people focus on what the plants look like, where they grow, the time of year, etc., and don't think to pick off a leaf, roll it around, and smell it.
It's kind of a non-sequitur. That's like if I said that Linux is opt-in and then you said "I don't think that individuals have a choice in the matter when they get kidnapped by a drug cartel and forced to run their IT infrastructure". Yeah, nothing is opt-in if you're being forced by a criminal to use it. What?
This surprises me. I'd expect the shoes to instead be recycled into fuel for cement kilns, which is what a lot of "recycled" plastic turns into anyway.

Anyway, the problem isn't that the shoes aren't recycled. It's that shoes are made from materials derived from fossil fuels.
I suppose there is a universal ordering as a function of your position in the universe. Given that it’s impossible for an observer to be in two places where relativity differs, that simplifies to “there is exactly one universal ordering of events for each observer”
This is pretty common on lower-end devices and I think the answer is it looks more "high end" to they buyer.
It's basically the same as investing in startups the vast majority fail. But 1% make a lot of money.
One option would be to include some hash value in the URL to pin the code file, e.g

import ... from 'https://...##<...sha...>';

Then a typo would just result in a resolution error.
We are mixing up correlation and causation in this thread. In quantum entanglement you have a correlation, not causation.

For example, if you go on a trip and bring your suitcase with you. You discover on opening it that you packed only one blue sock. You then gain the information that your other blue sock must be at home. You didn't "cause" your sock to appear at home at that moment, you simply gained that information from a correlation that you know must be true. The cause occurred when you were packing. In this case the correlation is entirely local though: you always had that information with you in your suitcase, you just didn't look at it until now.

In quantum entanglement the cause and effect were the entanglement itself. When one of the particles is later observed, you're using correlation to decide what the other end is. The difference is that in quantum theory this correlation can be demonstrated to be non-local -- the information wasn't with you the whole time and was only determined at the moment of observation. But you can't take any action based on it and the other side can't either as you have no way to know who caused the collapse. You can't cause any meaningful effect on the other end with the information you get from your observation or the act of your observation.

If we are using "cause" in the colloquial sense then yes I see what you're saying, it "causes" it. But it's important to be specific with domain terms here because entanglement does not violate causality, which has a specific definition.
I bought mine at release, to replace an iPhone 6 (which itself replaced an Android device of higher spec because I was tired of the treadmill and a friend sold it to me used). So mine's closer to 3.5 years old than to 2.5.

And when you slot that against Android options, 3.5 years is a lot for a usable, secure life of a mobile device. I can safely assume I'll get five years of good, secure perf out of any Apple device from the last five years and another 2-3 years (at minimum) of tolerable performance, and that's pretty hard to argue with in this market.

Don't get me wrong, it's not enough and I'd like it to be better; I'd like all hardware reusability to be better. I'm pretty big on it; I still have an iPad 3 and a Nexus 7 in use as house kiosks (which sidesteps the security issue that phones necessarily have). But if I am maximizing useful life, buying Apple devices has been less fraught for most, if not all, of my adult life.
There is beauty in just about any trade that is well done. To the extent this is romanticized is up to you. I'm not a big fan of the professionals that feel it is 100% trade. On the flip side, the 100% romantics are not ideal either IMHO - too focused on technology for technology sake.
I've been using qmake for >20 years. Its good enough for my purposes. I have no plan to switch to cmake or any other build system, unless I have to. But I am also using Subversion, so I am not one of the 'cool kids'.
Certain models and only starting last year. So an improvement, yet still requires one do research.
1. I did not read it but I assume that the shoes they tried this with were in good condition (at least visibly). They did write that only a small percentage of imported second-hand clothes get actually sold, the rest is burned or put on landfills, e.g. NOT reused.

Of course, it would have been interesting to see what happens with broken shoes. Though I don't believe for a second they would have been recycled (or reused).

2. Apart from this, no one said a small word about the imho bigger issue here: Recycling shoes means that the materials are used to make new shoes. What DOW is advertising is downcycling, a worse fate. We should not allow companies to pervert the meaning of such important terms.
Ask HMD, they made some boneheaded design decisions in the last gen, thinking they are Apple to get away with it. Their sales showed otherwise and now they probably need to get rid of components they bough in advance, so here comes a repairable phone.
it typically does, but this can be disabled with an env var, and it really is only a cache, no accounts or anything, new modules will come from source
They will never have a local textile industry if you have to compete with free.
"... Of course he has his important files in cloud storage anyway but it’s very annoying nonetheless ..."

That doesn't sound reassuring if the cloud storage is, itself, Microsoft connected ... or even using auth/login mechanisms that connect to the Microsoft account.
NIMBYism has ruined the spirit of this country. Fundamentally, we’re doers - and we don’t really “do” anymore. Where’s the enormous Austin subway system? The ”power too cheap to meter” from nuclear power plants??

We can afford all of this, easily, but let unrelated landowners stop us. It’s Kafkaesque.
Django’s approach is to run all the migrations, from the migration files, if the database gets wiped clean. In other words, if you’re developing on your local machine, you can just drop the DB and start new (or if using SQLite, just delete a file), and after running migrations, you never have to worry about whether all the necessary files are in sync with the database. As Neo might say:“there is no spoon…” seriously, structure.sql is simply not needed, so you won’t find yourself making creative use of git reset/checkout on a specific file as you’re iterating.

To answer an earlier question you had, Django’s “makemigrations” command tries its best to help you avoid having to manually edit migration files; if you rename a field in models.py, it’s usually smart enough to ask you, at the command line, if you renamed it, and proceed to make the migration file for you. Of course, for advanced migrations the command can only take you so far, but again, if you’re trying to iterate quickly, you really need to experience Django’s ORM and DB tools to be able to appreciate them fully.

Regarding changesets, I love the functional API, and at the same time I wish we could automatically derive a “default_changeset” function from the schema itself for straightforward cases, and then let devs run diverging validations in their own changeset functions. Maybe an interesting idea to explore with a macro?

By the way, I’m a huge fan of your work, and hope I get the opportunity to work with Elixir for a long time. Any criticisms or comparisons are to try to bring improvements to the ecosystem I love. :)
How often do you run into security riskd when using your phone everyday?
This is actually the case for the washing machine/dryer/care tag symbols on clothes. They’re actually licensed trademarks of an organization that (freely?) licenses them specifically for use on clothing labels for care instructions but forbids their use otherwise such as a part of a t-shirt design for aesthetic reasons or on a mug or the cover of a magazine (fair use excepted).
Oh does this ever strike a nerve, especially as I’ve been working hard on a new project these past few months with tight deadlines and lots of visibility. Does this mean that us engineers are spending time with our heads down actually writing code and getting us to the finish line? Of course not! It means we’re spending day after day sitting in meetings talking about the stuff we want to get done as the precious time that could be spent actually doing things just slips away. It’s especially acute for me as a principal engineer since I am involved in the breadth of the project so I need to be in these discussions.

I like to joke with my boss and program managers that when they are in meetings, they are getting work done but when I’m in meetings, I’m not getting work done.

Jokes aside I do agree with the general premise that meetings can be valuable and that sometimes getting everybody together in a room (or on a call) helps a lot more than everybody in a silo for a week and not getting the right things finished. The problem is that by and large people just don’t know how to run meetings effectively.

Case in point is that where I work we have a rule about starting meetings 5 minutes after the hour to give people time between meetings to use the restroom, get coffee, or whatever. It’s a nice thought in theory but in practice it just means meetings now all run 5 or 10 minutes late because everybody is determined to fill that buffer. I often asked why instead of starting meetings 5 or 10 minutes later we couldn’t just end them 5 or 10 minutes earlier and never got a good answer.

But that’s just a symptom of a deeply rooted problem with meeting culture. All too often I’m booked into meetings with no agenda or no real explanation about why it’s worth my time. Meetings that could be scheduled for 30 or 15 minutes get an hour slot. Meetings with an agenda go off the rails and nobody speaks up to put a stop to it. Stand-up meetings turn into design meetings. Too many people, or the wrong people get invited to meetings which causes derails or wastes others time. My “favorite” are “pre-meetings” to talk about upcoming meetings. It becomes self-parody sometimes. People’s calendars get so packed with meetings that the only way to get time with certain people is to attend unstructured “office hours” style meetings. You have people who absolutely refuse to engage in discussions over email or IM so it ends up requiring a 30 or 60 meeting for something that could be solved in 5 minutes over a chat. It’s just ridiculous.

So I’d argue it’s not that meetings don’t have value and aren’t “work”, it’s that people don’t know how to run them effectively and they just waste a bunch of people’s time. Whenever I schedule a meeting I always try to schedule for the least amount of time necessary, describe what it is and why I need people there in the invite, and have an agenda that I mercilessly try to stick to. I really try to be respectful of others time. It’s not really hard but it seems like these simple things are so hard to do.
Investments in startups aren't very liquid. You're unlikely to be able to cash out at will, and definitely not at a regular schedule like that.
Where do they use it? The control center pulldown shade in iOS?
However, incinerating waste produces heat/energy which would otherwise have been obtained from burning fossil fuels.

At the end of the day it is a complicated problem and the only real solution - consume less shit - is basically untenable, so :shrugs:
My current Nokia phone has 3 years of support
Yeah, using the website is cumbersome compared to using the banking app, in my bank's case, especially on mobile.
In defence of the police officers, you are probably dealing with similar level of anxiety as soldiers. I imagine a high number of them have had to deal with a knife incident and just because you’ve got a taser, some training and some backup doesn’t necessarily mean it’s going to end well for you. There are quite a few reports of people (especially large blokes like rugby players) who can shrug off a taser and go on a rampage. It famously took 20 police officers to arrest Eddie Hall and that was before he became a professional strongman.

I’ve heard the expression “don’t go into a knife fight and expect to come out uncut”. As in, even if you win, there’s a high likelihood you’re going to have slash wounds on some part of your body somewhere. Yes a bit of common sense should be in order but I can also understand why they want to be very strict about these things. Having to deal with a knife fight and the aftermath probably isn’t a great day at work.
That’s a stretch.
Why does iCloud NOT ask your previous password when trying to reset with a new one. Seems like an easy way to limit the damage that could be done by Device passcode?
Tell HN: Uber sold my email address
Like many here, I have my own domain name and I create custom email addresses for each account. For Uber, I predictably used "uber@<domain>". I have never used that address anywhere else.

Two days ago, I received spam titled "Epiphany RBC" about some survey that will give me a $5 gift card.

How does a Big Tech company like Uber mishandle private data like email addresses? Presumably this action was not coordinated by the C-suite. Did some mid-level/low-level employee with access to the data actually steal and sell the addresses?
Isn't enforcement the whole point? If Russian soldiers were not able to enter Ukraine, there would be no war.
This is the case in some other countries already (e.g. India, Russia).
The Age of Creative Machines
Matrix hasn't split into thousands of mutually incompatible apps. I speculate that having a complete, "flagship" client helps prevent this.
I wonder how it's perceived in Muslim cultures where the crescent moon shape is much more common and positive.
I like how programming language article/book title cliches are cross-pollinating now. In a decade, I hope we'll have "Bite size julia for morons who know how to stand on one leg and can read perl"
The long-term history of Russia is that people who try to invade it pay a heavy price.

The long distances are a geographical barrier of their own. If there is one lesson to take from this war it is that offensives are successful when they travel a limited distance and then stop to consolidate their gains, regroup, and build supply lines.

Even if you left nuclear weapons out of it, a successful attack on Moscow would not be a Blitzkreig to take Moscow the way the Russians hoped to take Kiev but would take years of biting off a little piece and then biting off the next piece while the Russians are able to resupply their defenses through their best-in-class military rail logistics system. The Russians would fight with the same passion Ukrainians are fighting with now (and have international support from China, Iran, probably India and other countries) and you'd have to have a large number of screws loose to even think about it.

You can't say that the US made Russia attack Ukraine in order to deter the Chinese from taking Taiwan. On the other hand, the Chinese have seen the disaster it would be to attempt to take Taiwan and lose.

Conventional weapons have an element of deterrence just like nuclear weapons. The F-22 has been in the arsenal since 1995 and hasn't shot at anything in anger until it shot down a freaking balloon last month. For years we've speculated about how the S-300 missile system derivatives would do if they were tested and we can still only speculate how they would do against the latest western kit.

Certainly Russia handed the US a great opportunity to demonstrate its military superiority. At the cost of no blood and little treasure (it costs much less than $100 billion to give Ukraine $100 billion worth of weapons that are already paid for; ammunition and many components have an expiration date and could have gone unused otherwise) the US gets to win the next 20 years of possible battles through intimidation... This is the "fighting without fighting" that Bruce Lee talked about.

Most critics of US foreign policy have pointed out that it frequently supports authoritarian regimes of the worst kind. If neoliberalism has been bad for workers in the core it is not because of free trade between the UK and France, Italy and Ireland, it has been the consequences of opening trade to the authoritarian Chinese regime. There is certainly no consistent pattern of forcing democracy down people's throats with any success.
fb nyy v xabj sbe abj vf gung vgf eryngrq gb cevzr, vf n ahzrevp nafjre naq gung gurer vf 333 nf n pyhr naq pbhag zr va va gur HEY, v nyfb purpxrq gur jrofvgr zragvbaarq orsber
Great initiative. We just started something similar in the German state of Lower Saxony: https://academiccloud.social . It is a Mastodon instance open to members of universities and research institutes in the state. I think Mastodon is an interesting platform for science communication. A lot of colleagues who write on Twitter are feeling more and more uncomfortable there and started publishing here too. Mastodon is not a complete replacement for Twitter, but for certain communities it can work really well.
Could it be that someone who has a perspective different from yours has equal or greater context? On what basis do you assume that you have more context, that a person who has the context you have would automatically be convinced of what you believe?

If you get X for cheap, that frees you up to make Y's. In a poor country, there's no shortage of Y's that people need or want.
> But what if, hear me out, what if the only work that matters in a knowledge economy happens when we are together?

Then I would tell you that either this is not a "knowledge economy," however you're defining that, or you are in error.
Why can't the back cover just screw on and off?

How often do you need to replace your battery? Maybe twice in 4 years? What percentage of people keep a phone for more than 4 years? 5%?
Being a fanboy of a company like Google is just weird to me.
This could be implemented as an import assertion[1]:

import foo from 'http://example.com/foo' assert { sha256sum: '...' }

This feature would even be useful in the web platform in general. Would also be nice to see an assertion for importing plain text files (not just JSON files) and assertions for per-module Deno permissions.

[1]: https://github.com/tc39/proposal-import-assertions
They really don't.

IIRC, there was only one prominent case of that happening (slowing down noticeably), I think it was iOS 7 on the iPhone 4 but I might be wrong about that. And I think they fixed it a bunch in 7.1, so it wasn't even for that long.

But ever since then Apple really hasn't pushed updates that slow the phone meaningfully. Instead they gatekeep new features to newer models that can support it, which makes sense.
And you are still moving the goalpost. The entire thesis was that “bundling” was considered anti competitive. Absolutely nothing you cited supports that.
This is similar to existing satellite messengers like Garmin inReach and others that use Iridium network. This one is different in that uses GEO seems to be Inmarsat. It is also cheap, $99 for device and $5/mo for 30 message plan, which is a lot less than existing ones.

This might do well cause of price, or might get steam rolled by Apple and others including in phone. I was going to get inReach and now not sure.
You mean average speed cameras?

If so, just stop speeding if you don't want a ticket. Go to a track day if you want to race.

If you mean ANPR for tax and insurance, well again just pay the tax and insurance. It's not that hard.
My take is sometimes a meeting is the best next step, sometimes it’s not. Knowing the best next step is what makes us good at what we do, even when sometimes our last step wasn’t the best next step.
Fairphone isn’t and probably won’t be available in North America, sadly.
> banned by Microsoft for breach of TOS, whatever that might have been

FWIW, I had the same thing happen and found out the ban reason was "fraud (please insert phone number)".
I had a very different '90s than you did, it seems.
An LLM doesn't start from scratch, it's ran on computer hardware...

The particular problem with talking about humanity is our biological functions are deeply intertwined with our intelligence functions.

Some things are programmed in, like cellular behavior, organ building, what to do with these systems after you eat food. The two bottom parts of the brain are rather well developed at birth that control these functions.

The cerebrum is rather undeveloped in comparison, and that's where the "thinking" happens, at least in terms of what we call intelligence and consciousness. While it comes preprogrammed with any number of subroutines, the amount of what we would consider data is minimal, and in our young years a huge amount of energy is spent exercising the brain so it works properly in the reality it exists. In children that is deprived from stimulation and real world experience (think extreme abuse), the brain underdevelops and it can become impossible for them to learn some things or think in particular ways.

Do not underestimate the amount of work that must be performed for an infant to become a thinking machine.
Considering the increase of putting your entire life into your phone, your phone’s security should honestly be among those you care about the most.

Most people will access all facets of their life on their phone, from social, to financial, to work. If anything, the risk is only going to increase as time goes on.
> Security updates are a must. Without them it's not a usable device

That belongs on https://twitter.com/shituserstory