skysight-inc/HackerNews huggingface dataset:
It's not just installed, it actually got started based on your process lists. I don't know how bsd and xfce specifically work in this case, but some educated guesses:

- depending on whether you restarted between tests or not, DE shutdown may not clean up all services

- xfce may have a list of supported service alternatives and mate-screensaver was started as the expected-preferred one

- some services may be registered to be stated together with the GUI through the .desktop files, which may explain kalendarc

But as I said - just guessing here.
He was a political donor, not going to happen LOL
I don't know.

I was involved at teaching introductory physics at a famous university and I was 100% proud of what we did. The conventional course had a few hundred students but between (1) a Nobel-prize winning lecturer who I think did a good job, (2) an ex-marine in the back room who maintained awesome demonstration equipment, and (3) a large team of section and lab TAs that broke out into small groups I think students got a lot. There also was an autotutorial class that forced students to learn the material better because it would not let them progress with a bad grade; the results were well documented but some students found it nerve-wracking because it would force them to revisit work they found hard.

That's my opinion, though, as a TA and a person who always found physics easy. If you asked 50 students about these classes, however, you might get 50 different opinions.

A friend of mine who now teaches at a small Christian college, takes undergraduate education seriously, and cares about the general flowering of his students was a TA in a similar course in another quantitative department in the same Uni and he was not happy with the quality of the intro undergraduate course he taught.
Love to see Cinnamon/MATE represented.

Now do AwesomeWM. Easily my favorite DE. Threads the needle between simplicity like i3 but has the power to do anything with it's full Lua config.
It doesn't really matter what the laws say. When I tell my computer to do something, I expect it to be done, no questions asked. If I tell it to violate a law, I expect that law to be violated. I have free will and the computer must obey that will, not impose somebody else's will on me.
This happened to me. It is very challenging if your manager doesn’t support you. If you start getting undermined by getting skipped over, it is your direct managers job to stop it.

I found my direct manager was not covering me so I asked for the person to be moved out from under me.

I also refused to do any further management under these circumstances. If you have no top level cover: You are in a very compromised position as a middle manager.

Being a manager requires being protected.If you are not being covered then get out of there.

This person was monopolizing my budget because my direct manager gave them control over the funding. I told my direct manager that I need to run the budget and they refused to give me control.

If you are in this situation you have to get out.
Now ask yourself why other alleged shadowbans, pre-Musk, weren't so credulously (or at all) reported on. I guess they weren't "newsworthy".
> Prolog always evaluates through unification (at least in theory).

What do you mean? The actual "computational" part of Prolog lies more in resolution than in unification. Unification does not "evaluate" in any sense of the word I'm familiar with.

> the same prolog programs can at least theoretically produce two different answers to the same input.

What do you mean? Do you mean through side effects, or are you suggesting that Prolog's evaluation order or something else is not fully specified and deterministic? You would be wrong about the latter.

EDIT:

> Verse has a defined denotational semantics

What do you mean? Verse (or rather the underlying calculus VC) has a rewrite semantics. Rewriting is pretty operational and not at all denotational.
And what if you can’t tell?
No factory was built at all for foxconn in Racine county. A weird globe building was built that contains some kind of data center, although nobody knows for sure what goes on there. The whole thing was a complete boondoggle, although I don't know if anyone gained anything, it didn't even get Scott Walker re-elected.

https://www.theverge.com/23030465/foxconn-lcd-factory-wiscon...

Hopefully this TSMC thing is real and not just a game around tax credits. Kind of bonkers to me to build it in the desert as the colorado river is drying up if water is so important, though.
>It's also entirely possible he realized that it would quickly become whack-a-mole.

Why offer the 5k then?

Of course it is a stupid idea, the flight data is public anyway. But why would $45k change Musks mind about the matter?
Notice that I used the word "should", not "does". And, in fact, I am deeply concerned about the war on general purpose computing.
If you read the Donald Duck/Uncle Scrooge comics from the early 50s everything is "atomic" or "uranium" - clearly it was a very forward-looking time, and not unreasonably so.
Doesn't matter. As long as one is compromised, you're screwed.

VPNs cannot break TLS, (unless you're dealing with the intelligence apparatus of a major power, which probably can break TLS) so they cannot introspect most of the content you send and receive anyways.

What they can do, however, is see the domain name of the HTTP requests you send when setting up TLS.

Chaining VPNs doesn't add security by any metric.
Sick behavior? In what way? It's publicly available information.
I recently saw a car with all zeros (or O's?) except the 5th digit, which was a U. It took me forever to be sure what I was seeing.
True. And that still doesn't mean the behaviour is undefined, that just means the construct is not useful except on two's complement implementations. Which, even before C23, was all of them: the C23 change to require two's complement wasn't really meant to invalidate existing implementations, it was meant to reflect the reality that there were no other implementations worth considering. See https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2218.htm, the only non-two's-complement implementation still in use that was found was very much a legacy-only thing for backwards compatibility where it was not expected that its users would want a modern C compiler anyway.
Question for folks here who have been very involved in the space - if you had 1-2 yes or no questions for SBF, what would they be?
I went in an ADHD rabbit hole a week ago.

I never considered my self suffering from it, my quirks were individual parts of my character!

But now I highly suspect I have it.

I lose focus all the time. For example, Going from doing laundry, to gathering dishes, and bringing out trash without finishing one of them. Or I can't read long articles with topics that are important for me but don't tickle one of my interests. I've started reading countless books for only 20-30 pages.

Also, it feels impossible to plan for/estimate longer time periods and I'm constantly bouncing my knee or stimm in another way.

I started freelancing because I couldn't get to work at the same time every day and even now I just work 5-10h a week, because my lack of motivation for repeating tasks.

I thought, well it's biological, I can't have it, my relatives are all normal... But wait, my mother did impulse purchases all the time, was switching jobs constantly and even retired with 50, because of that.

Whelp, guess I should get a psychiatrist soon...
I agree. It wasn't very complex, he made a bunch of basic mistakes that nobody with even a passing familiarity with finance should have made, and to say that he should have done better is an understatement of almost comical proportions.

I just also think that these things were (at least initially) due to absurd levels of hubris and incompetence rather than outright malicious intent. The guy thought his shit didn't stink but anyone even vaguely paying attention could smell what was up from miles away. He still doesn't think he did anything wrong other than making some justifiable mistakes in his rush to build something great and surely anyone can see that if he just explains himself for the thousandth time.
Nice.

This [1] appears to be the SQL layer on top of Arrow Flight specifically about SQL. It seems a bit chatty, where two network requests are required for each query if I read it correctly.

[1] https://arrow.apache.org/docs/format/FlightSql.html
> The market for treasuries would exist exist without theed, since they're issued by the treasury

The market to exchange dollars for treasuries would not exist without dollars. Since we've established that it was OK for the Fed to "interfere" to create dollars in the past, it seems absurd to pretend that doing so if future is somehow different.

> Why not set a limited quantity of dollars and have that be that, or a quantity that strictly grows at some pre-defined and predictable rate?

Because that's even more arbitrary (it's still the Fed creating the monetary base, they're just delinking it monetary base from credit demand and ignoring the effects of the quantity of money on the economy)

People aren't going to invest deflationary currency in productive enterprises to purchase food and shelter. They're not just going to invest it (and the rich don't need to spend very much of their wealth on food and shelter). Guess the proles will have to work harder for lower wages to make up for it. You think it's bad now....
As someone who has experienced a bad reaction to ADHD medication after years of using it, I can say that it was a frustrating and difficult time. I felt like I had been relying on the medication to function, but it suddenly stopped working for me and made me feel even worse. I was worried about how I was going to manage my ADHD symptoms without it.

However, I eventually discovered that I could improve my executive functioning skills by getting ten hours of sleep a night and engaging in intense exercise. These changes have made a huge difference for me and have greatly improved my ability to manage my ADHD. I'm glad that I was able to find alternative methods that work for me.
You can subtract out nuture by comparing identical to fraternal twins, and by doing that they've found that it has a large genetic component.
How the $*^% is that possible...

Are there any more details available about this, or is there just that FlightAware log? How does one ensure they have enough fuel to do this?!
The marginal upside to everyone else is not even close to worth the marginal downside to me. It's my choice to make. If a government wants to force messages on me so badly, they can set up something like an air raid siren (and they typically do, for actual emergencies).
Yea, I'm genuinely curious if the people criticising Musk here are also in favour of doxxing people and then publishing the info online? Cause that's effectively what this is.

I'm not sure where I stand on this but I can see why someone of Musk's public stature would be concerned about this.

Hell, I am a literal nobody and of someone did this or something similar to me I'd be paranoid as all hell.
> US should get rid of state governments and only have a federal and county governments.

That would be one approach. However, back to my point on the unscalability of people, I'd argue going the other way, and pushing the (arguably scope-creep) functions that the federal government has assigned itself back to the states.
The fact that this guy has not been arrested just goes to show how completely f*cked America is.
Piston engines like you get in a Cessna 172 are also about the worst-case for overhaul times, since there's so much mechanical complexity and because they're often run at/near maximum rated power for long periods.

Turboprop engines (effectively these are jet engines with propellers attached) like the ubiquitous P&W PT6A have TBOs up to 4,500 or even 6,000 hours.
Android support is possible, and on the roadmap, but right now Mac support is a priority. Android should allow these sort of virtual USB devices (unlike iOS) so it will eventually get added, but it might take a little while.
Are attacks like these still possible? I've read here on HN that hardware makers are isolating the baseband processor as much as possible to prevent attacks like these. Surely there are countermeasures?
What do you mean by "pop"? I can't tell if you mean that the valuation could increase significantly or pop like a bubble and decrease.
And a less metaphorical hat tip to CV Dazzle and the original Dazzle camouflage as well.
Civilian flights have their data published. If I am flying my plane is publically tracked too.
That's the wrong question: this is in response to someone making the broad assertion that cryptocurrency money laundering is victimless (or almost always so) and thus doesn't need to be held to the same standards as conventional banking. We know with high certainty that this is not true.

It's also important to consider that “innocence or guilt” is not the right framing here because a bank verifying ID is not an accusation of crime but making sure that the information is available should accusations arise.
Knowing this means that time is ticking on their leverage, wouldn't this speed up the desire of China to take Taiwan?
In my experience, most ADHD is really just a case of "I have limited willpower for extremely boring shit." Give me something interesting to do and I can work on it non-stop for 12 hours.

The problem is that most jobs and almost all schooling is flat out incompatible with being an easily distractible person. I think it's just a phenotype that doesn't work well in the traditional professional environment.

And yes, Adderall will help you focus on boring shit.

[Source: I'm clinically diagnosed with ADHD)
There are theoretical consequences for lying to congress, but I can't recall a high profile case of them being applied to anyone. Famously James Clapper, then director of the NSA, told congress that the NSA does not collect data on Americans[1] which is what inspired Snowden to leak the info on NSA data collection. Despite this, he went on to continue serving as head of the NSA right up until the end of Obama's term in office.

[1] https://en.wikipedia.org/wiki/James_Clapper#Testimony_to_Con...
There's historical precedent.

But, what would be your design criteria for the new language?
This Wikipedia article is sorely lacking concrete examples to help aid understanding..

Anyone care to add some examples to the article??
With regards to underlying issues, you can really go deep with this. I just took Rick Hansons positive neuroplacticity training and it gave me solid tools to observe my own thought patterns and where emotions were making me afraid of taking steps forward and being in alignment with my true self.

https://courses.rickhanson.net/courses/the-positive-neuropla...
I used to work with Sybase, and its JDBC driver was pure madness. There were times where the same query on same data would return different results. Never figured out why. We ended use its ODBC driver for reporting instead.
This is the first Mastadon link I've seen on the front page of HN. Hope to see many more
Fighter jets and the B2 are by no means inherently stable, in fact they're inherently extremely unstable relative or to earlier designs. It's just that the fly by wire systems make them fly stable.
Seems like you are choosing the worst of both cases then. If you are effectively using uuid as a slug there are better choices out there that take less space to encode store and index.
Edit: Wrong thread. My bad
https://www.planeandpilotmag.com/news/the-latest/2022/08/30/...
You remove the back seats and replace them with auxiliary fuel tanks. Typically this is done by couriers delivering aircraft for sale - the seats are then shipped separately as freight.
Can someone summarize this? 90% of the content on this page seems like excessively-verbose nonsense.
That's actually a good idea. Apparently it's possible to revoke the certificates via the ACME API, even when you are using another ACME account: https://letsencrypt.org/docs/revoking/#using-a-different-aut...
Reminds me of the "ugly t-shirt" in William Gibson's _Zero History_.
This post is about image generation, not language models.
Visualizing (and Understanding) an Inverted Yield Curve
> - There was a bug in the dashboard. I made a boneheaded mistake. Oopsies.

Will this hold up in court? Can you go to jail for bugs in dashboards?
> he seems to—at least on some level—legitimately believe that all of this is extremely complicated and impossible to understand unless you're someone of his intellectual caliber. It's so complicated, in fact, that even he struggles to keep it all in his head at once

Yeah, I strongly disagree here.

He's just a pathological liar and he's currently on an interview spree where he's lying out of his mouth to try and avoid jail time.

If you want evidence that he a liar, look at the DMs he sent to his friend (apparently he forgot she was a reporter?) that got published to Vox.

He clearly explained his strategy of lying about his left-leaning political views to get brownie points with the media.

He intentionally wanted to defraud people from the start. When he started FTX, they went through multiple jurisdictions (first Hong Kong, then Singapore and finally the Bahamas) to find the country that would give him the least regulatory oversight so he could run his ponzi.

He intentionally had staff message him using Signal with disappearing messages to minimize the paper trail. Same thing with hiring the Ultimate Bet guy.

He had a clear backdoor that allowed him to send customer funds over to Alameda and he put some some BS "FTX collateral" to serve as a veneer. He bought companies like BlockFi to get more customer funds so he could keep the ponzi going. Spent fucktons on advertising in arenas, F1, superbowl, etc. because your customer LTV calculation changes when you can just steal the user's deposits and use them to lever up your hedge fund.

I'm guessing his plan was that he would use the FTX user deposits to take a huge long position on crypto, ride the bull wave and become the richest person in the world. He thought he'd be able to time it right and get out before the bear market with his profits but he timed it incorrectly and Alameda blew up.

Now, he just wants to make it seem like it was an accident and due to poor management by him. No, it was 100% intentional and he knew exactly what he was doing.
> Globalization solved our garbage problem - many municipalities are no longer offering recycling now that we can't ship it to China to dump in their fields.

Garbage was never a problem to begin with. US is a huge place. We'd be fine landfilling garbage for the next few centuries at the very least.
Trivia: The Vasa served as role-model for "The Flying Dutchman" in the Pirates of the Caribbean movies — also a ship that sunk and was risen again.

The ships in the movies were inspired by real-world ships, and the team was helped by an expert on tall ships. When given the plans for one ship, the expert exclaimed: "This design does not look seaworthy. Is it really based on a real ship?". "Yes, it is called the Vasa".
Yeah but that’s not the point. The point is whether you can tell that an AI wrote it and not a human.
For people suffering from certain mental health issues, the alert itself can cause significant problems for them and others.

If you suffer from panic attacks, for example, and these alerts trigger them, they do not help you, no matter how well intended.

If you suffer from (C)PTSD, and these alerts trigger flooding, they actually make everything worse.

If this were to happen while you are driving, you might even cause an accident.

The world is sadly too complex for simple solutions that assume something to be always good or helpful.

Which is why I believe it's important for the user to eventually control his device.
Or neither.

i.e. they just let you network with other well connected people.
Wrong Thread?
Like the quote from Mad Men “half the time this business comes down to 'I don't like that guy’”
Globalization will never be dead.

Globalization, more than anything else, means a set of rules that apply to all countries (trade, human rights, or otherwise).

Globalization is a philosophical consequence of belief in the rule of law and human rights.

Here is the most thought provoking piece of literature I've ever read on American philosophy (giving it the benefit of the doubt or at least painting it in the best light): https://www.amacad.org/publication/what-does-it-mean-be-amer...

In short, societies fall on a spectrum of one end being built on a set of values (are you an American because you love guns and freedom?) and the other being based on an ethnicity (are you American because your parents are American/you have a shared history with other Americans).

This is the key divide between conservatives (ethnicity based) and liberals (value based).

So we see the great philosophical fights of our time:

isolationist/nationalist vs globalist
ethnicity vs civility
might makes right vs rule of law
loyalty to people vs loyalty to ideas

They are all share a root idea in where authority comes from. Does authority flow from people and the power structures they craft or does authority flow from philosophical reasoning.

Anti globalization pragmatically follows the idea that authority flows from those with power. Globalization idealistically follows the idea that there are rules that must supersede power itself.
Yep wrong thread thanks! Mind throwing me a downvote? I can't delete due to reply.
What he probably meant is that Command+C is copy, etc.

You can’t easily do that because every Linux program expects different things. The hack to make it work is to switch keyboard configs when you switch the application, I think. It’s far from ideal.
Yes, I pulled the estimate for really efficient heat pumps. To convert to all electric heat like that estimate, we'd have to replace a lot of gas heat with electric. Might as well go for the most efficient thing.

Compared to the nearly $200B in infra investment that I was estimating, that looks easy, lol.
Rereading my comment, yes, I agree that you are right about that.
There is no doxxing. All this information is publicly available to everyone.
Why would a 2% CO2 atmosphere combat wildfires? It's a non-reacting gas, but so is nitrogen... And yet, wildfires still happen, despite our 79% nitrogen atmosphere.
> They are two completely different data types that happen to have identical approximate representations but should be distinguished very strictly in a sufficiently expressive model.

About bools: that's my problem with this. If-statements now operate on anything, instead of just bools. And I don't think that makes sense, unless cheese.

About strings: It's great you can statically differentiate between their types. But if strings don't exist, it makes it a little hard to write WHERE clauses.
The "well-to-do tech workers" are being fired by the thousands. That might limit the demand for new Teslas.
How to Evaluate Frameworks and Libraries: A Guide to Key Metrics
Are you trying to decide which framework or library to use for your next project? Look no further! My latest blog post discusses the key metrics you need to evaluate frameworks and libraries.

With so many options available, choosing the right one for your project can be overwhelming. But fear not – by considering key metrics such as popularity, activity, and community support, you can make an informed decision and choose the right tool for the job.
This site has changed a lot in the past year. Its been strange to watch.
How about instead, they quit flying in private jets all over the place, so that I can keep my dog?
This isn't an optimistic article, it's a landmark scientific result that people all over the world have been trying to achieve for 70 years.