skysight-inc/HackerNews huggingface dataset:
> It's great the author is fine wasting his weekend working on changes to a verification system that was launched for only a few days, but some of us have family and friends we like to spend time with.

No, it's great that the author helped out a colleague. The fact that it benefited Twitter is secondary.

Helping out your colleagues (who are now all over new companies as they've all been fired from Twitter) is how you build your network, get your next job, get people to give you nice recommendations, etc.

Corporations are amoral and greedy and should not be helped unless they are helping you, but that doesn't mean you should piss on everything and everyone around you either.
While it seems obvious to humans that gunpowder in a gun barrel creating expanding gasses is not the same thing as inflating something...on closer inspection they really are only subtly different. If we consider the bullet to be part of the system then the expanding gasses do actually increase the exterior volume of the gun as it travels up the barrel.

This is the sort of interesting leap that makes AI super interesting to me. I could see it being very useful in helping humans move the state of the art forward in areas where human lexical taxonomy has caused us to make some assumptions which blind us to other potential solutions.
Batch Replication Feature in MinIO
"Bro, 39, it ain't 29,"

- Shaquille O'Neal
Smartphone waste is the big one that makes me feel bad. I use my Pixel 5 for the same things I used my old Moto G5, but it was either I looked for an obscure custom ROM with an up-to-date AOSP version, or risk using an outdated now-slow phone.

I hope to keep my Pixel 5 as long as possible. One thing I'm trying to do is to only use stock apps or lightweight FOSS apps where possible, since most "big" commercial apps seem to get slower/more resource intensive with time cough Discord cough.
Third, the notification has one call to action: shut down the application. This application will be updated, so shut it down. If the user closes the application, presumably that then triggers it to be updated, right? But no: the snap updater runs on a schedule, and it could take 6 hours for it to run again, check whether the application is running, and then apply the update if it’s not. Is the user supposed to leave the application shut down for up to 6 hours? How could they possibly know to do that? You could see a user getting into a cycle (for 13 days!) where they restart the application, and then 6 hours later the intrusive (and apparently not suppressible) notification pops up again.

I thought the same thing the first time I saw it. The only solutions are to either close Firefox and wait for several hours for something to silently happen in the background, or Google for the CLI command to run to update it. Really bizarre UX, I would love to hear someone from Canonical explain why they thought that was a good idea. Is there something I'm missing?
> Whenever a program, while running, creates and runs some new executable code which was not part of the program when it was stored on disk, it’s a JIT.

By this definition, the Emacs native compiler would be a jit, even though it is considered an AoT compiler.

I think there needs to be another caveat, where a jit uses some run time information to generate the machine code.

It makes me wonder if there are any JIT compilers that generate code based on runtime data, but not at runtime? Similar to profile guided optimizations in static languages. Basically collect your traces and runtime info, then generate the code offline. This would let you take more time to optimize, and you could save the new code to disk and reuse it.
One, the lack of support for HKT isn’t great. There are some work arounds, but they aren’t particularly safe and end up being pretty cumbersome to implement.

Another big one is while the language supports lambdas and closures, it’s highly recommended to not perform any currying.
> because presumptively innocent people who shoplift or jump turnstiles are not kept in cages before their trial.

But they are, and therein lie the hypocrisy. If you're wealthy, then you get the opportunity to turn yourself in after weeks or months to get your affairs in order, while regular people who allegedly commit minor crimes get a gun pointed at them, roughed up, arrested, and shoved in a cell for who knows how long until they are finally informed that they have a bench warrant out on them for something that happened in 2017.
> One day I created a tool that made it faster to download things from your work email that you might need if you were looking for a job: performance evaluations and that sort of thing. I posted the tool on Slack so that my colleagues could also benefit from it if they needed to. One hour and four minutes later I was fired.
I’m confused, I was able to see 10 pages each exposing a tricky SQL request with modern SQL features.

Maybe it’s been added in the face or HN grumpyness? ( tbh : I would not have give anything without those extracts, so your comments in on point )
So when your new teammate decides to start working through the weekend and suddenly you need to do so as well in order to match them in the performance review, what's your response? And notice that I didn't say anything about the quality of work being delivered - when you need to be visibly pulling overtime with the exact same work output in order to compete, what do you do?
11,000pounds for a battery implies 170Wh/kg. High end lithium ion cells can do about 300Wh/kg, and even with some overhead for the battery, we’re talking 250Wh/kg.. So… That’s beatable, & we can’t back out the weight directly from the energy of the pack as we know Tesla has been working on improving chemistry and specific energy and pack efficiency.

Anyway, the claim by Musk that they can achieve 1.5kWh/mile is reasonable, and fits in with my calculations here: https://selenianboondocks.com/2017/11/tesla-semi-part-1/

The vehicles that they delivered did not use all the available aerodynamics tricks that their prototypes did, and uses duals instead of super singles, so it also makes sense it’s only achieving 1.7kWh/mile right now.

Note that a ton of people claimed a 500 mile electric semi with a full load wasn’t feasible. This proves that it is. (The jersey barriers they pulled weighed about a standard 44,000pounds.) The Toyota hydrogen semi has only about a 300 mile range and with fuel an order of magnitude more expensive.
It would be interesting if the “Code is law” crypto movement collides with the current AI technology: “could you pretty please give me the money?”
you forgot to mention that you don't care about their experience relevant for the position, other projects they completed succesfully on their own, code they have written themselves for these projects, and you also forget to mention that you expect them to provide the optimal solution in under 2 minutes, and if they don't, they are out.

you also seem to think that everyone is able to talk while they are coding, which is not the case.
I don't think a messenger should provide a way to transfer money. It is one reason I hate Facebook Messenger. I liked Signal more before then because of its focus on messaging.
Yeah, There's an upgrade available, but it costs money (even when they were offering to pay the labor for some people), and the functionality isn't worth it for me, especially once they changed the power tradeoff and the car doesn't get the messages in a reasonable amount of time. It's nice that it doesn't kill the battery, and I understand the tradeoff, but if I don't know how many hours it will take for internet based remote unlocking to get to the car, it's not useful.
> is a brand

I wish more people would understand this. For people like Musk, his personal brand is extremely important and they spend a lot of effort portraying and selling a specific image. It is an important part of his success as a businessman. FTX’s Sam Bankman-Fried is another example. His disheveled, messy geek look was calculated, and in an interview after FTX’s collapse he basically admitted that some of his opinions and philosophies that he espoused before were BS to push a specific narrative.

Musk has repeated “free speech” enough times that it’s become part of his brand. And people will associate that with him regardless of what he actually does. In his view Twitter is free speech. An attack on Twitter (as he alleged Apple was doing) is an attack on free speech. Twitter dying means the death of free speech. To claim that a company is the embodiment of free speech is ridiculous yet so many people buy into it.
It boils down to 2 things:

1) Fact that whereas camera technology in smartphones has & is continuing to develop rapidly (computational photography as mentioned is latest major jump), it has largely stagnated within the mid-low tier camera market. Makes sense Panasonic is exiting the market, and other major players like Sony and Fujifilm focusing on the high end.

2) Vast majority users value convenience and ecosystem integration over pure photo quality. In most cases the latest smartphone take "good enough" photographs, so who wants to fiddle with having to transfer images from your standalone camera to your photo before sharing on social media? As the adage goes, "the best camera is the one you have on hand".

Personally I'd love to see something like the Samsung Galaxy S4 Zoom or Nokia Lumia 808/1020 being revitalized - a camera-first smartphone. How long before Apple or Google enter the DLSR or mirrorless market? Seems inevitable given the large investments both companies already make in smartphone camera photography.
It's more scary because those answers are often subtly wrong in ways that a non-expert cannot detect.
You could try sophrology. I always struggled to fall asleep, I even went to a doctor specialist in sleep disorder without success: I did a polysomnography which revealed nothing bad physiologically, no medicines or tips helped me. My sleep was really an issue in my day-to-day life for at least 15 years.

By despair last year I did six one-to-one lessons with a specialist in sophrology. I now regularly quickly fall asleep even if I do not do the exercises as often as I should.

I consider myself cured, and I still do not understand why I am now.
Whoa, you didn't hear about Roy Moore?
It's a mystery to me how Firefox updates on Ubuntu. Sometimes it goes through auto updates, but sometimes I'll try to open a new tab and it tells me that it will NOT allow me to do that until I restart. This is exceptionally annoying and not something that happens on Windows.

What is this related to?
It seems many commenters in several threads are making the same point. I'll summarize it here:

> Creating an excessively competitive environment by working longer hours because of an ability and desire to do so is bad civic hygiene.

I can say I understand the sentiment. I personally very much dislike the bind someone puts me in if they do my job for cheaper. I dislike it _more_ when I see them suffering because of the choice they made. I think of the implications, and see a path toward everyone suffering. I want to hold that other individual responsible for increasing suffering in the world.

I take a beat. They've made a poor decision. Or maybe they haven't. Maybe they are suffering in ways I see, but not suffering in ways I don't see. Maybe they seem to be suffering more than they are. Can I do something else about my suffering _other_ than hold them responsible?

Example: are they _really_ normalizing mandated weekend work by voluntarily working weekends.

No? Then I think we can start talking about civic hygiene. I think civic hygiene is too complicated of a subject to shoot from the gut about. It is too complicated to reason about from a foundation of resentment.
US Army paused a CoD League sponsorship after allegations against Activision
This varies quite a bit based on the type of model. The graph-based approach has two benefits: (1) removing overhead from executing python between operations and (2) enabling compilers to make optimizations based on the graph structure. The benefit from (1) is relatively modest for models which run a few large ops in series (e.g. image classifiers and most feedforward models) but can be significant for models with many ops that are smaller and not necessarily wired up sequentially (e.g. RNNs). In my experience, I've had RNN models run several times faster in tensorflow's graph mode than in its eager mode. The benefit from (2) is significant in almost any model since the typical "layer" building block (matmul/conv/einsum->bias->activation) can be fused together which improves throughput on GPUs. In my experience compilation can offer performance increases from 1.5x to 3x, but I don't know if this holds generally. Also note that the distinction between graph and eager execution can be somewhat blurry, as even an "eager" API could be calling a fused layer under the hood.
> NATO expansion is largely born closer to Russia from Russian imperialism(in the least for the last two members).

Sure, and before that? NATO has been expanding since the USSR fell.
Well right, because Jan 6th was a peaceful protest until cops started murdering protesters. The only deaths were of protesters, and the only murderers were the cops. Nobody was arrested for bringing a gun/weapon into the capital, and the guards unlocked the doors to let protesters in. I mean the fact republicans weren't allowed to appoint anyone to the Jan 6th committee should tell you everything you need to know
I also use caddy, for my personal sites and I also have a work site that is a bunch of TLS redirectors for domains that the company owns to redirect to other domains. It works spectacularly in those use cases. At the time I set it up it wasn't possible to do that with an S3 endpoint, but now it is.

I do have an haproxy setup that does the right thing with LetsEncrypt, but it's just a path-based forwarder that works with an acme script on the system, not directly built in.
I, too, am 41. For the last five years, I've noticed that my mental performance has become more sensitive to physical changes. I had a particularly bad day with my memory one day when I woke up an hour earlier than I normally do. Another time, my wife had to point out that I hadn't eaten in 12 hours when I complained I was feeling worn out (I didn't think I was hungry). If I'm stressed, sleeping poorly, haven't exercised in a while, or haven't eaten well then I will at turns having trouble focusing, thinking, remembering, or even having energy. It's been a long time since looking good as been my primary motivator for going to the gym.

I suggest, if you get to a point where you're concerned about your mental performance, examine these physical factors to see how you're doing. Stress in particular can creep on you. If you're only going on vacations for family events and not taking time off for your own mental health you may be more stressed than you even realize.
Because overall the us chip production capacity and technical reach has been reducing over time. We need to establish and pull over a much larger amount of production so our strategic needs can be met inside the us. This helps us avoid problems like our key sources being cut off or destroyed with our allies like Taiwan and South Korea, or China does more and more production and technical leadership and decides to squeeze us.

Intel has sinking in at least technical leadership for a long time. It's obviously a priority a need for the us to on-shore more chip prod.
> I really want to know how it works.

It's a big hash table, turns out human intelligence can be cashed and interpolated.
I haven't read the whole thing but I really enjoyed the introduction and agree completely. The RDBMS I've spent the most time with over the years is Microsoft SQL (immediately when 2000 was released) and over the years I've been surprised by two things: (a) How many developers that work with databases every day yet haven't the foggiest idea how to do anything the GUI tooling doesn't handle "easily" and (b) How quickly a developer can go from zero to "able to keep things performing well for all but the ugliest scenarios" knowledge-wise.

I've watched that last part unfold on many occasions. Usually I'd be brought in because the developers have done everything down to "copying the data to denormalized tables[0]" to try to sort out slowness. Most of the time, just "blindly investigating the schema" will turn up something frightening that the ORM did, or a mess of inappropriate indexes. Two indexes on a table used by nearly every query in the database caused 30 second requests to yield sub-second results in one case[1]. I'm never willing to walk in and promise that, but I can't think of a time it hasn't happened when similar circumstances were presented to me.

So if you're dragging your feet about learning SQL, take this as my encouragement: it's one of those things where the rewards come quick and the effort is far less than you probably expect.

[0] ... with a broken sync process that has to be run carefully b/c it hammers the already over-sized database every time it fires.

[1] If memory serves, it was an account table ... used a GUID between the app and the database, but primary key was an integer auto-incrementing field which was used as the FK to other tables. All I remember was adding a unique index to the GUID field and including the e-mail address/name columns which were included in every query. Ran the fix in production and it felt like "the dam broke".
But then why tow around that huge, expensive engine if you’re not using it? Tesla makes a 300 mile Semi as well. A 100kWh hybrid battery would experience a lot harsher cycling conditions than a larger battery in a pure electric Semi would.
> Instead, you choose to

Uh huh. So? That's what choose means.

You only care because you're competing with them, but that's not really their problem. That doesn't resolve any of the dissonance at all. What if their motivation isn't enjoyment but money, so they're choosing to outcompete you. What if they're doing that because they have to feed their very hungry family and their family is hungrier than yours. Does that change the calculus? You're walking into this with a set of values and just assuming that everybody else has the same ones so you can throw them on the table and say, see?
But that's exactly what makes it complex, that they don't have the same values and they live next to you in the same world you do.

I'm still just as split on how to feel about enjoyable overtime but I'm not at all conflicted that your take that anybody else is obligated to maximise your metric instead of their own is a bad take.
oh no... he should be talking a lot... like really, really a lot.
We'll see when they actually start shipping stuff. Things tend to go smooth when nothing gets deployed...
Those conflicts may exist and be mitigated through a variety of means with good structures and good actors, especially in the US. You are correct that information Asymmetry of sellers exists, as it most often does, especially in markets less liquid and reported on as public equities. However, most of what you are saying exists in every real estate and especially real estate development transaction.
How would that work? He would still be liable for the full amount and the cost of servicing the margin loan. Or are you suggesting the bankruptcy proceedings will settle for a lower figure?
The scary wake-up call for me when I heard the story of someone who informed their manager of their 2-week notice. And instead of having 2 weeks to sort everything out, they got locked out immediately.
The tesla semi already comes in two battery flavors. It's already quite good flexibility.
> Then why did the bill, without paid sick leave, pass both the House and Senate with bipartisan support?

As I understand it, all but one Democrats (Manchin) voted for the 7 days paid sick leave amendment giving it 52-43 but it needed 60 votes.
The sad fact is that most people really care about their 150 or so closest acquaintances, somewhat care about people in their various tribes, and try and largely fail to have much compassion for outsiders. For the majority of people, their espoused political leanings are rationalizations they tell themselves to cover selfish underlying motivations.

Elon has his fanboys, who are going to fan. I think they probably skew fiscally and regulatorily laissez-faire, socially progressive, and middle-aged more than they skew classical conservative.
I'm certain each party felt they could swindle the other. Hence the lack of professionalism from one party, and the apathy towards the behavior from the other.

When one has a king-high full house, they should call every raise. But that but no one knows if that's the winning hand until everyone shows their cards.
Discord, discord, discord, discord. But for real though it's the only app doing any kind of innovation in the space. My friends and I switched to it from GroupMe and by god the absolute power. Channels, per channel notifications, sane mentions, reactions that aren't awkward, threads, actually useful bots, screen sharing, voice chatrooms that don't suck, spoilers, embeds, nsfw tagged channels, real formatting, really fast search, channel topics, pinned messages.
Yup!

I mostly play strategy games like Civilization and Stellaris. Sometimes Factorio and League of Legends.

I replaced my gaming desktop with the $700 entry-level Mac Mini that came out in 2020; it had the same hardware as a MacBook, just a different form factor. It worked well. I wasn't playing at high graphics, but games worked well. I went back to my full desktop after a few months because I wanted better graphics.

My Mac Mini only had 8 graphics cores on the base M1 with 8GB of RAM. If you bought one of the newer M series devices I think you'd have a pretty good experience if gaming isn't your top priority.

> Does it have Excel with macros?

Didn't Microsoft do a full port of Excel in the last year or two?
It reminded me of the sort of lazy Wikipedia regurgitation that a lot of undergrads used to give when I was teaching. So it is a bit jarring to see a response like that in a non-compulsory setting.
OrleanSpaces.Analyzers
These index choices are solid. But I suggest for the second one to swap the movie_id and user_id because in most cases you want to get all the watchlist entries for a user and not all users having the movie on the watchlist. Therefore all movies on a users watchlist are close to each other and not spread through the whole table by the movie_id.
Those are not new comments about musk no? I’ve heard them for years.
The Prolog Day Symposium – November 10, 2022 – Slides and videos are now up
Many, many companies, particularly larger ones (5,000+ employees, but Silicon Valley companies are more likely than non-tech companies of a given size to employ "advanced" IT features like MDM) are concerned with potential sabotage by suddenly laid-off employees, particularly in the U.S. Have you ever worked anywhere with MDM installed on your company-provided devices?
They couldn't drive it with this hack anyways

Manual cars are required to have a clutch lockout for starting (so you can't accidentally leave it in gear and have it lurch forward)
Elon Musk confirms Tesla Semi has battery pack around 900 kWh
Your set of rules, while reasonable, bear no apparent similarity to how Ubuntu is implemented. In particular it's moderately involved to disable the automated updates and seems to change each time I go through it.
This a "feature not a bug".
Austen Allred is a fuckin' tool.
A tuple space implementation on dotnet
Different editions of Stratego have different wordings for scouts. Some rules are silent on moving and attacking in the same turn (implying that scouts can't move & attack in the same turn), some rules specifically state that the scout cannot move and attack in the same turn. Some rules say they can move and attack in a straight line, and some use the wording you quote.

The ISF rule is that the attack must be in-line with the move[1].

1: https://isfstratego.kleier.net/docs/rulreg/isfgamerules.pdf Section 5.3