skysight-inc/HackerNews huggingface dataset:
> A .cmm file is rather like C--. The syntax is almost C-- (a few constructs are missing), and it is augmented with some macros that are expanded by GHC's code generator (eg. INFO_TABLE()).

> (...)

> We say that Cmm is GHC's implementation of C--. This naming scheme is not done consistently everywhere, unfortunately. If you are interested in C-- (which have diverged from Cmm), you can check out its specification.
Nope, it’s human nature.
Stop using static cloud credentials in GitHub Actions
I never claimed it was. I was replying to a discussion on worker efficiency.
most school bus drivers in the US dont have a CDL.

Great post generally but I don't think this is true, it doesn't jive with the bus driver friends I've known nor with a quick Google. A CDL is defined in California and most states I know of a license for someone transporting passengers or cargo for pay - and the Feds set the standard[1]. You drive your own 40' RV with a car license but driving ten kids in a van requires a CDL (commercial drivers license), not necessarily the same qualifications as a big driver but still a CDL.

[1] https://www.fmcsa.dot.gov/registration/commercial-drivers-li...

But still, a school bus driver indeed isn't going to qualified to drive some random. The 4x4 school bus idea is indeed dumb.
Nice! I was wondering almost the same thing this morning while my wife was playing Wordle - ended up coding an assistant to help you choose the optimum words.

If anyone wants to check it out, I published it here https://curiosity.ai/wordle/ - source code is also available here https://github.com/theolivenbaum/wordle-assist.
"Nobody ever got fired for buying IBM" was the common phrase at our company in the 1990s. At the time, that was certainly true. Which lead to adoption of truly awful tech, token-ring over type-1 cable, versus ethernet over twisted pair.
Switzerland has a high rate of gun possession because it has mandatory military service and people take their weapons home with them.

And though many households may have a gun, they don't have ammunition. In the event they need to use the gun for military service, the canton will distribute ammunition from the arsenal.

Aside from service weapons, it is possible to simply buy a personal weapon and ammunition for it but firearms are much more regulated. You are never permitted to carry a loaded firearm in public for example (aside from a few permitted purposes like a security guard with a permit), only an unloaded firearm that you are transporting (and the police aren't going to buy any bullshit like "I'm transporting this gun to the protest").

So comparing the US to Switzerland just doesn't make sense. Sure there are guns but the rules and culture around them are completely different. It's not impossible in Switzerland but it's close.

Plus, the whole economic situation in Switzerland is different. There isn't such a huge part of the population living on the street or just barely scraping by. There isn't a whole lot of violent crime in general, let alone gun violence.
It's a norms vs needs distinction.

When you're a baby you don't even know that you have to sleep to not feel tired, or eat to not feel hungry. You learn pretty quickly but at first you're just always upset that you feel these things and cry about it, so your parents(if they are any good) will try to normalize bedtimes and mealtimes to speed along the concept.

It's not exactly different for the twenty-something going on thirty, just so much more complex that the presented norms never really fit anyone. Things like what ideas are worth studying, what to look for in a relationship, what the "good life" is - those are quite subtle concepts.
Money laundering. Just like those crypto bros that paid a million dollars, at auction, for a copy of Dune worth 30k. Buyer and seller are same. Money laundering.
Hard disagree.

There are plenty of reasons to avoid Facebook specfically - tracking across the web, real name policy, per-user algorithmic feed, selling info, and many other things. None of them apply to HN, and I am pretty sure most of them don't apply to reddit either.
Indeed, accountants and the internet provided the one-two punch.

I recognize the historical bias of "new music sucks." However I remember iconic hit songs dropping every single week in the 80s, from multiple genres. Now I hear a trickle of a few a year. Most pop tracks seem to be just vocals and beats, better to fend off lawsuits I suspect.

Another important milestone in the legal environment folks might have forgotten was when George Harrison was taken to court over the music of one of his songs being reminiscent of a Motown-era ditty. ("My Sweet Lord" vs. "He's So Fine")

There are undoubtedly some great undiscovered writers and musicians that haven't been noticed nor allowed to be noticed by the big players. Artist development went in the toilet as profits declined.
To be honest, my experience of private enterprise is that they insist on doing things hard, slow and very custom. Almost every problem that exists is distinct enough that you can argue it doesn't fit the existing COTS software. It's sometimes necesary to build something yourself, but no where near as often as it is done.
In one year you could revolutionize your life, if you really wanted it. Based on your comment this could be a reasonable 12 months plan:

- Get out of academia

- Get a 6 figure paying job in the industry

- Get out of your current relationship

- Rent a one bedroom apartment in a major city close to work and go on binge dating until the feeling of regret will be gone

It is likely that after taking all these steps you’d not be feeling depressed anymore, and life would have brought you in some interesting places.

I shared similar emotions in regards to dating in my mid 20s (specifically my girlfriend at the time had significantly more dating experience than me and that made me feel utterly inferior), so I did exactly that. I broke up with her, moved from the suburbs to a major city, and after casually dating ~50 women over the course of the following 4 years, I finally settled with my current partner and couldn’t be happier, we’ve been together 5 years and going strong. On top of that I have fun memories of my previous dating phase, which did a lot to boost my self confidence and tame any “missed out” feelings.
People Around the World Feel About Their Economic Prospects
Also curious on how/what that would look like.
I really liked StumbleUpon before it kinda turned to shit. I also kinda miss the feeling of not having everything be tuned for user engagement. It's a big part why there is no vote-arrows, thumbs up, stars, et cetera involved here. You shake the snow globe and get what you get.
So much text with so little content. Not talking about taproot upgrade, using discrete log contracts instead of hash time lock contracts, signature aggregation, half signature aggregation, coinjoin, and a lot of technologies that take many years of research and development to improve privacy.
> Once your data is on my machine, it is out of your hands forever.

The world isn't quite that apodictic. While the worst case may not change, its likelihood can. Information has always had a half-life that people had a general idea of, and that they considered in their decision-making. An effort specifically aimed at creating immutable, perpetual records will hurt both the people who fail to adjust, who will more likely see damaging old stuff coming up than expected, as well as the people who do change their habits, who are forced to restrict their openness and thereby lose whatever utility they used to derive from the previous, more liberal ability to share content.

The mechanism is identical to a change from traffic laws being enforced by cops, where some slack in the system was unavoidable, expected, and sometimes compensated for with higher fines (where the risk of being caught is too low), to some automated system where every single traffic violation is recorded and fined.
What's your evidence that there was a lie, as opposed to just a reasonable error of fact or an editing error?

Amy did imply she was a victim of sexual assault previously, just not rape. So at the very least it was an error of degree. And regardless, Aaronson, had no reason to think he wasn't talking to a rape victim. The odds were something he surely knew. So I think Sandifer's correct that "this was neither the time nor the place to express them". And that's coming from a "shy and nerdy" guy.

Given that you're very up in arms about "questionable rhetorical tricks and shoddy reasoning", you'll see why I would expect you to do better than turning a reasonable and non-fatal error into a supposed lie about a key fact. But it is about what I'd expect from somebody working hard to defend a cryptofascist.
Do you have a preference for female friendship for emotional support and intimacy like the poster does?
You are competition to other men. Why would they invite you into their social group and then have to compete with you for relationships with women (which are increasingly hard and harder for men to secure). That's my crazy theory anyways. Before we had hard social and religious contracts to pair one man with one woman... so the threat was low. That's all thrown out the window now, so there's a real threat that the man you make friends with might actually be the person who ruins your chance at a relationship -- I think that's in peoples mind. Anyways, just a crazy theory.
John Deere will just claim they never sold him a tractor, but rather signed a custom contract with him that gives him access and custody of one in return of some constraints he agreed upon.

If the government intervenes, it would undermine the free market. But you could argue it's already undermined, both by the government itself and the fact that somehow John Deere managed to achieve a monopoly in a sector critical to national security.
The last person I met who ate it (whose eyes almost rolled back in her head recalling how much she loved it) was an accountant who made a better living than I did.
I work on a system like that and it just means you have to deal with a load of complicated FFI stuff and you end up with a C++ program that happens to have some slow parts awkwardly implemented in buggy Python.
Nit: OneNDA, not OneDNA
>I feel like I owe myself a lot, and even though I'm in a relationship now, I can't stop thinking about the opportunities that I missed with girls when I was younger.

If you love the someone you're with, you don't care about other opportunities. What would be the point? Some special organs that another person doesn't have? Keeping score of how many times you've got laid?

On the other hand, if you don't love someone, then it doesn't really matter if you get other opportunities - they're just empty fun for an hour or so but feeling empty afterwards.

Sure, it's cool to be a "player" for a little while in your late teens/early 20s, but it gets boring soon, just as the fun with alcohol and partying and many other things. Most of the people you know that 'did' go to parties and such, are dead bored of them at this age.

Also, is all this a real desire - things you really want to do today, or merely a response to a fear of having missed out? These two cases are not the same.

Lastly, you're just about to turn 30. You are still young, and can do anything you like to turn your life around. Heck, even someone at 40 or 50 could...

As for "transitioning to the industry" it's probably not a bad idea. Modern academia sucks, and unless you've made it somehow, it can be even more work and less pay than the industry. Heck, people make money even as nomads working remotely (and I'm not talking nomads making money by selling the nomad lifestyle: I mean people really working remotely from some city in Thailand and co, without vlogging about it). Plus, the modern industry (if we're talking IT) is hiring...
It used to be you can't get fired for hiring big blue. In the end it was always a lot of sales /pre sales folks, and a lot of substandard subcontractors milking the golden cow. I don't miss managing their implementations/deliveries at all.
You can get EV of 3.46393 with a guaranteed maximum of five tries. (I don't know whether this bound is tight.)
The board game Glow kind of does this. There are only five symbols of interest which allows for having color coded dice with an additional side of that color (eg red dice have an additional fire symbol).

Beautiful artwork, 4/5 game play, definitely recommended.
Really effective use of colour. I like the aesthetic
They can. Up to a point. If you push too much one day you will face a jury composed of normal people.
We have experienced that in some states with non compete agreements. It got to the point that you could no longer work anywhere else. Sometimes the company would make you sign documents saying that they owned the IP you were creating AFTER your departure.
Don't push too hard because at one point you will that jury of normal people. And they will make their mind very quickly.
Haha, made great use of the NEM Blockchain.

Sent "f*_this_s*coin_to_the_ground" to everyone that had more than about $10 worth of NEM.

It was highly satisfying to use their own network to message people about the dishonesty of the developers after they tried to censor me on every other platform.
> I also think about dropping out of the PhD program and transitioning to the industry

Yes, do this. It’s a good start towards being happier. Academia is largely thankless BS and if you don’t already love it then you probably won’t ever.

Get yourself healthy, paid, entertained, etc. first - before you start running around trying to change the world and do meaningful stuff.

You won’t be of much use to anyone else until you’ve got yourself squared away.
Too bad that (I assume) "Skynet" is already copyrighted.
Pretty much nonsense and just an attempted excuse for not doing any reforms in the US.

Europe was much more popularized than the US during the cold war between the hard left and the hard right, a polarization that followed cold war ideological lines, and that polarization just vaporized during the early 1990's when the cold war ended.

All the "structural" difference cited existed in Europe all the way back to WWII and in most cases longer.

Another thing is that as with most US journalists, there is an aversion to read anything other than English, thus they go to the British isles and present the UK as "Europe". The reality is that as far as democracy and polarization is concerned, the UK in particular is doing quite poorly. Their problems stems from the same root cause as in the US: Namely single seat constituencies and First Past The Post election.

On the continent you find little single seats and FPTP, and in the countries with least polarization and the best performing democracies you never find it. It's all multi seat constituencies and Party List elections. An reform that is quite possible to adopt here in the US.
i imagine getting something up, quicklh waa a priority, rather than spending longer architecting amd optimising.
WireGuard on its own doesn't do that. WireGuard only sets up tunnels between peers. If you want something like you describe, you need another product that integrates WireGuard.

It's a bit boring but in a situation like yours the most straightforward way would be to set up WireGuard gateways at each of your sites and have them talk to each other and the mobile devices.
Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation [pdf]
Pro Tools and Auto Tune destroys new music. Is the verse repeated somewhere? Just fly the first verse over. Engineers and producers will quantize the song and just put things where they want them. Timings are microsecond perfect every time. It's bare, lifeless and completely sterile. If a new artist wants to, even slightly, disrupt this paradigm they are going to have a hard time making the rent.
When you open the site on some mobile resolution, the ice cream cone looks like a pile of poo in the bottom left as the rest is cut out. Kind of funny considering the promise of a "glamorous cmd line".
Of course, but as an educated consumer who likes to repair their own things I would get all matched high quality cells and replace all at once. If their battery packs don't detect or prevent this somehow then it wouldn't really matter to me.

There's an awful lot of DRM talk in this thread so that was my concern. The cells theoretically are the only parts that need to be replaced sans physical damage
Right. It’s best to think of the claims in a patent as a set of DAGs (a single patent can contain multiple “inventions”). To infringe, you have to go from a starting node to a connected ending node and implement/match all nodes along the path.
ZeroTier is certainly another viable alternative, but their self hosted option still relies on the ZeroTier root servers (you can self-host roots, but they don't support removing theirs [1]), and their licensing for the self hosted product is more restrictive than something like netmaker.

[1] https://docs.zerotier.com/self-hosting/introduction/#roots
And you can have romantic interest in someone, while at the same time knowing that’s just not going to happen and behaving accordingly.

I have at least half a dozen close woman friends, all of whom I have or have had “romantic thoughts” about, but for various reasons have either not tried, or tried and been rebuffed but stayed close friends with.

One example, a girl I met in ‘99 (I still remember the day) and fell head over heels in lust with. She had a boyfriend, so that was out of the question. In the next 15 or so years we were never in a position where both of us were single at the same time. That situation happened about 5 years back, and we ended up in a drunken flirty conversation, where we both agreed that we weren’t going to do this, because we both valued the friendship too highly to risk losing it over a hookup. (Neither of us have great track records of staying friends with exes…)

Others had/got boyfriends/partners/spouses, and while all of them involved awkwardness and sometimes outright distrust, I totally understand and acknowledge that’s a normal human reaction to a girl having very close guy friends they’ve known a lot longer than “new boyfriend”. You need to earn trust in those situations, and all you have to do is behave like a rational and respectful human being. It can take a long time though, the girl from the example above got married, it took 3 or 4 years before her husband go ok enough with our friendship that we can go out together alone. And that’s Ok, I reckon I’d have acted exactly the same were the positions reversed.
Yes, it's specific dirt, not just any dirt.
And then came covid and did away with the snow day first, for free.
Apple can make the customer whole and then go sue the 3rd party manufacturer. Apple has far more resources and clout to hold manufacturers accountable than any one customer. “Don’t make crappy parts or Apple will send a team of lawyers to bankrupt you” would be a credible threat.
Quit academia, it’s a black hole that will consume you and never reward you. Industry pays better and gives you more options. You are wasting 100s of thousand in opportunity costs by staying. You probably won’t discover anything great and even if you do you won’t get anything for it. Use your talent to make money use your money to live life.
I think you're right. Although a first guess might reduce the set size a lot, it might lock you into a situation where all the possible second guesses are useless.
It's a question of whether or not you believe freedom of speech is worth the risk somebody somewhere will say something you don't like. At one point people seemed to believe this worth the risk and freedom of speech was good. Now, little by little people are attacking this. Choose safety over freedom and you will be giving your freedom to someone you have no control over, but now they have the freedom to control you.
Yes, even "freedom and joy" are marketed social norms. Especially in the form mentioned by the OP, and in the modern environment, where the imperative is to "have fun" and be like the people in aspirational ads.
From the first line of the readme of the first listed lib:

> The fun, functional and stateful way to build terminal apps. A Go framework based on The Elm Architecture.
> Sandrock said. “This is not something we’ve seen with any other infectious disease.”

It would be helpful to see this fleshed out. This statement strikes me as being the result of the spotlight on Covid. *That* is focus and sample size unprecedented. That is, just because something was noticed previously doesn't mean it wasn't there. It means there weren't significant numbers to be noticed, and/or bias and conventional wisdom pushed perceptions elsewhere.

I'm not questioning the existence of long Covid. But the context matters, and the science should be aware of how unique that is.
That's quite an evasion of the question. Yet more evidence that there's approximately no legitimate use.

But I'm on record as being in favor of full financial transparency for everybody. Every charge, every bank statement. Money, after all, is inherently social. And full transparency, while causing some problems, would eliminate a ton of others. So if you can get a legislator to submit a bill, I'll happy call them up to back it.
Do you object to that idea?
Because those are shitty business practices that only serve the profits of the corporation. My hope is that people arrive to be better, rather than pull the same old bullshit to protect profits
Funnily enough, I think neither of those notions are the correct thing to optimize. For me, you want to minimize the maximum number of guesses. This leads to an equilibrium. Otherwise, your opponent can just abuse your strategy.
I don’t really thinking feelings potentially throwing a wrench in a male female friendship is actually a problem. It’s not like anything in life is permanent.
> Also, is that thing gonna pick up the front office staff, the teachers, janitors or any security staff? Food vendors for lunch programs or other supply vendors.

Of course not, but they're adults who are expected to put their lives and personal property on the line and drive into work anyway. Just look at how few snow days college staff get, or any other "non-essential" worker. Or the workplace that says "safety first" but still expects you to hit to highway in a foot of snow.
Ever met a toddler? I would wager you ate a handful in your formative years on at least one occasion.
> The study shows that humans are susceptible to gender and cultural stereotypes.

Susceptible? Where do you think stereotypes come from ?
> Minä rakastan kahvia

This is like saying "I feel intimate of coffee". Finns wouldn't say that. Rakasta is translated as love but it's the kind of love reserved for immediate family or lovers, not just things you like a lot, and kahvi is in the wrong case, like having the wrong preposition.

Minä pidän paljon kahvista is a more normal way to say "I like coffee a lot". The English "to love" doesn't really have a good translation in Finnish.

And, since it's about efficiency, you can lop off the pronoun, since the verb conjugation implies it:

Pidän paljon kahvista

And, just a bit of soft context, the Finnish way of speaking is often terse, so if a Finn is saying they like something, it often had the same degree as when an American says they love something, otherwise they wouldn't bother mentioning it. So, you can get rid of the "much", too:

Pidän kahvista
Python's type system is not more strongly typed than JavaScript's in any way that makes it easier to optimise.
I don’t think that’s particularly salient. It’s not difficult to portray yourself as non romantically interested.

I’m not buying that the poster behaves in a way consistent with just looking for friendship at all. Especially with the comment that partners get suspicious.
Marriage specifically makes that easy I think.