skysight-inc/HackerNews huggingface dataset:
I don't read the parent comment as calling for Bari Weiss's substack to be banned from the site, but rather just providing some context about what the site is. I'd have maybe pointed out more about the contrarian impulse of the site, and how that interacts with this topic (being contrarian about public health policy surrounding COVID is a click magnet), but either way it seems like a colorably valuable comment.

If the comment opened with something like "I stopped reading at commonsense.news because Bari Weiss is bad", that'd be a different matter, but they have a substantive critique of the actual article.

Given the weak sourcing, it feels like this article, in particular, flunks the "divisive subjects require more thought and substance" test.

I loathe Bari Weiss, so, grain of salt on all this.
Just got some background here, the May 10th update literally broke the ability for many people to logon to a domain. It was extremely broken and businesses that deployed it suffered heavily. The June 14th fix being discussed here in turn broke many backup products in ways people are still trying to understand. Edit: The June 14th update being discussed here also broke Wifi hotspot and RRAS services, the latter being relevant to servers.

So most Windows server admins are quite acceptably delayed in deploying updates. Most standards and policies give an organisation 30 or 60 days to apply a security update outside of a particularly critical issue, and in most cases that's considered appropriate risk management. In this case I don't understand why this is news, there were many CVEs fixed this month but I've generally assessed there are as being very low exposure and no reason to panic. For example, across our whole fleet it took a few minutes to test for the NFS service being installed anywhere and I've found it in zero places.

We don't have the Linux luxury up running an "update Apache" command and getting an update that fixed one CVE, every update is a major cumulative update with its own brokenness and test cycles. Remember at one point Microsoft released an update which broke port binding, and every network service including their own SQL and SMTP servers stopped functioning. That update was rated a critical security fix.

The (edit) July 12th update is the first proper fix for Follina vulnerability, which is now months old. That really should be what people are testing and targetting for rollout.
I love Dafny - we've worked on it in the past in fact. Theorem proving is definitely something that's being applied in industry - our crypto verification project uses Coq in some places. There's definitely a lot of hype though, some of which seems a bit unrealistic to me. There's a long, long way to go before theorem proving is practical as a tool for general programming, rather than in ultra-important niches like core crypto libraries.
If you turn off JS, this archive.org link kinda works https://web.archive.org/web/20201226070313/https://code.tubi...

But I think the images are loaded via JS, so you only get text.

There is some strange redirect loop (302, 307, 302, 307...) if you leave JS on. Probably some bug in Medium's JS, and it confused the archiver?
That's what I meant by different scale; not in terms of total valuation. Their celsius bucks clearly do not carry the backing of taxation, land, government, or military.

I believe Celsius was lending out staked crypto and paying in their Celsius tokens as a form of "interest" though its unclear what if anything was backing the Celsius token (or if new tokens were simply minted).

The leant stake crypto paid interest and they then used 20% of the returns to fund their R&D and 80% to pay back stake owners. It seems if you accepted Celsius tokens rather than other denominations the payout would be higher.

It's not clear what caused their bankruptcy though; I can only imagine that they had counterparty risk in the people they had leant their tokens to.
Neural networks are expressed and represented by mathematical symbols, yet those mathematical symbols alone cannot make a prediction or do anything useful.

No one is saying assembly language cannot be used to write a dependently typed language system, with a type checker and runtime (which are one and the same in a DT language anyway). However, that does not make assembly language dependently typed.

You are committing the logical error of assuming that the result of a process means inputs to the process are equal to the outputs. Just because I could take grain and make it into bread doesn't mean grain is equivalent to bread.
Relying on configuration files to glue together a huge stack of tools and services in order to produce an end product is a huge mistake. I say it's a mistake fully knowing that nearly everyone in the industry is doing it.

Configuration is opaque. Undebuggable. Unmaintainable. By its very nature. No matter what "language" you use for it.

You should strive to keep configurable things to an absolute minimum.

Although it's worth making a distinction between "configurations" and "settings": when something is configured wrong, the application basically fails to operate as intended. For settings, there can't be "wrong" settings, all settings are valid, and if the input for a specific setting was invalid, the application can simply ignore it and use the default value. Example of a "setting": font size for a text editor. Example of configuration: the connection information for a database.
Try LSD or mushrooms. Will change your mind.
I don't see any reason to believe Putin will attack a NATO member. If the combined strength of NATO isn't sufficient to deter Russia, what is even the point of the alliance?

And in practical terms Russia is suffering heavy losses against Ukraine. The idea that it will be able to take on more potent powers in an open war is wishful thinking.
Devault is doing some beautiful things over at his Sourcehut.

I watched him crank out a prototype of this in Go in about three hours.

It really feels like the old days at sr.ht. It’s fun again.
I appreciate that my initial comment somehow led to this comment.

Did Cobra Command pay in crypto? (and if so, which coin did it use?)
Godot is a joy to use on its own, but when you also consider how it's licensed and doesn't require some awful launcher, it starts to feel like a breath of fresh air.

Any time a company tries to make me feel like I'm at work, I stop wanting to make games with their product.
That's exactly what my framework does. As long as you're okay with runtime panics (which would happen anyway in a non-dependently typed language), you just have any function you don't know how to prove go from SortedList -> List. Then you have a check List -> Maybe SortedList. And finally a function with a panic that lets you write the SortedList -> SortedList version.
If you’re really that incapacitated (4 years in bed?), why are you afraid of what drugs might do to you? You should be doing anything possible to return to society.
Just to mention there is no evidence or reason to believe Judas ever existed.

So, like everything else, he is a parable that is supposed to have a doctrinal interpretation. Find out the doctrinal interpretation, and you have drained the story dry.
Look at the community of X (Russian isn’t it?) in Canada, perhaps get in touch with few established devs there via linkedin.

I find remote work doesn’t require much oral comms really, so it’s just about getting thru interview.
> we did not have any - zero - nada - none - commericals on TV for vaccinations.

That's sad your country didn't see the need to advertise. In the US we had tons of them.
What are Ask HN and Show HN?

Ask HN lists questions and other text submissions. Show HN is for sharing your personal work and has special rules.

https://news.ycombinator.com/newsfaq.html

Show HN

(Has general guidelines. Please read them)

https://news.ycombinator.com/showhn.html

The above links to "special rules":

Posts without URLs get penalized, so when you submit, put your link in the URL field and leave the text field blank.

https://news.ycombinator.com/item?id=22336638
Was she hot? I'm not being sarcastic, actually asking.
The Trouble with Zooming Forever
I am in decent health. My Dr. and I discussed it, and there is no compelling reason for me to get yearly flu shots.

I also avoid high fructose corn syrup. My body, my choice.
I think typed arrays are not a niche area anymore. They were 10 years ago, but today they are very widely used.
Never taken the flu vaccine and neither have my kids. All is well so far. Its ok to just get sick sometimes. My family and I are relatively young and in good health. When I am older I will consider vaccinating against the flu as my risk factors will be higher. I am all for vaccines for things such as polio, measles, etc. I just see no need to use a vaccine currently that is formulated to protect against a specific strain of a virus that constantly changes rendering the vaccine less effective or just as effective as getting the viral infection would render me. I'm fine getting the flu or covid once a year or every couple years, it has truly never been a big deal. The bodies immune system is pretty ok. I would argue that ensuring you are physically fit provides a similar amount of protection against covid's affect as the vaccine. Plus I have had covid now so I have antibodies as well.
> By any measure we're already in a recession today.

Except we are not by the accepted definition of a recession (2 consecutive quarters of negative growth).

You can make the word mean something else, but then it’s kinda useless.
The hangovers get precipitously worse.
From the wikipedia[1] article on the assassination of Garfield in 1881:

> Most historians and medical experts now believe that Garfield probably would have survived his wound had the doctors been more capable.[66][67] However, most American doctors of the day did not believe in anti-sepsis measures or the need for cleanliness to prevent infection.[68] Several inserted their unwashed fingers into the wound to probe for the bullet, and one doctor punctured Garfield's liver in doing so. Also, Bliss had supplanted Garfield's physician Jedediah Hyde Baxter. Bliss and the other doctors who attended Garfield had guessed wrong about the path of the bullet in his body; they had probed rightward into his back instead of leftward, missing the location of the bullet but creating a new channel which filled with pus. The autopsy discovered this error and revealed pneumonia in both lungs and a body that was filled with pus due to uncontrolled sepsis.

[1]: https://en.wikipedia.org/wiki/Assassination_of_James_A._Garf...
This would be a more interesting rebuttal if the story itself didn't stake the validity of these arguments on the identities of the people making them. Given that it's based in part on an appeal to the authority of, e.g., anonymous NIH scientists (in which group? with what kind of tenure?), pointing out the anonymity of the sources is not at all fallacious.
I wonder how far back this practice goes. There are quite a few Polish-American last names which are like that, to the point that the original last name has been forgotten.

EDIT: Aha! this website has a guide on these names, and even dispells the Ellis Island explanation I was told as a kid: https://pgsctne.org/changed-surname-list/

They did it the same way you did.
If the poster can't get out of bed to take a shower, they are unlikely to be able to work out... they may need some medication before they have the energy to do something like that. Not that it's a bad idea.
Having written production-level compilers, my advice: use ANTLR for as long as humanly possible. It can remain adequate far, far longer than you think, and will save you months/years of stress.

When you outgrow it, you'll know - and by then, hopefully you'll have funding/users/contributors/etc to support the dev effort of rolling your own parser.
The HN community has shown a willingness to treat contrarian views with little to no skepticism, while being wildly insistent on perfection in mainstream sources.
How I went about learning Rust
I used to play this with my friends in the high school library, circa 1994-ish. The multiplayer worked pretty well, letting us share one computer and each take turns to play. A fond memory!
The about page has some good general info and links: https://searchhut.org/about
FYI many large companies have apprenticeship type programs for non traditional candidates. As an example https://amazontechnicalacademy.com/ is a direct path to entry level SDE work. As I recall it’s a full time program that includes a reasonable stipend while you’re active.

Edit: I think the training is all virtual/vtc these days. On completion some job offers may require relocation, but there are many full and par time remote positions globally.
This reply deserves to be responded to if you disagree rather than simply downvoted. I have been a fairly competitive gamer for about two decades and I too have seen the degradation in behaviour and the increasing requirements in time to enjoy many multiplayer games. Gone are the days of easily popping into a lobby a few days a week for an hour and finding an enjoyable match.
And to bureaucratic systems too—governments try to regularize human behavior to make it legible to the state and it can absolutely cause massive harm to people. Seeing like a State makes a great case for this idea; I found it absolutely fascinating.
Stay away from them, sent me off the rails, got me into trouble, made me even more vulnerable to exploitative people as if we dont have enough of that in our lives anyway from authority figures, family & friends, ruined my life.
The greening of the planet isn't indicative of health. When water shortages and lack of snow melting dries up rivers, the land changes. Warming and acidification of the oceans hits offshore too. This is expected to be noticeable from the 2030's.

Ecology needs a balance. Life overall is pretty resilient, but the changes are faster and more impactful than over millions of years.

It's not like we take notice how much destruction humans do, but interesting any rationale is used to justify it, rather than address root causes.

Not against optimism, just that these temporary effects obscures what's really happening.
The extra work required to deal with the lifetime of a graph is pretty unfriendly for a beginner. It's one of the few things for which, though I would be willing to use Rust myself, I might not recommend it to someone else.
Please consider the source. These authors are health care officials working for Rick Scott (Republican governor of Florida) and Glenn Youngkin (Republican governor of Virginia), both of whom have a hard political stance downplaying COVID.
Escitalopram for anxiety works quite well, you should continue with it, mostly along with Therapy to create productive coping mechanisms against anxiety.
Contest math problems require specialized skills and tricks that are different from doing research. It's like asking how an elite soccer player would perform running the hurdles. Better than a lay person, perhaps very well with training, perhaps not.
Kernel support for hardware-based control-flow integrity
Ironic, right? Police officers are public servants and this concerns public scrutiny by taxpayers who pay their salaries. I hope you can see the difference between this and what you hear from the cops making you nervous.
Looks cool! Most of the results right now are all Wikipedia though.
Oh that part is just a dumb joke. It's just thinking in the broader picture, people have been getting eaten by wild cats for thousands of years. We can continue doing that sustainably for another unit in the thousands of years. But if things start getting nuked? At BEST you happen to be in the far reaches of the Patagonia or maybe New Zealand, and even then the fallout may cause agonizing death.

At least if you get in a fight with a huge cat you have a chance of killing it with your bare hands [1]

[1] https://youtu.be/vXr_1KqZtAY
They don’t because there isn’t. It’s just idiotic medical security theater. Unless the right masks are worn correctly 100% of the time, which lets be honest is not happening. I guess this is how superstitions start in a sense…
AFAIK this has not been studied, but I would assume that nutrient absorption could feasibly vary with motility speed just like energy absorption. For example people with chronic diarrhea are usually deficient in several B vitamins especially B12, although their poor absorption may not be only due to rapid transit time and could stem from other gut issues. Rapid transit time is certainly a factor though.
I know a guy who hasn't gone inside of a restaurant in the last two and a half years. I'm literally laying in bed sick with covid and my mouth tastes like the anti-nailbiting bittering nail polish because of the Paxlovid right now, and I still think that's too cautious.
Disguising complexity as brevity only obfuscates. It detracts from the simplicity because there's a huge opportunity for clarity that's being run away from

There's a huge difference between conceptual purity ass packing bytes
The crucial difference is this[0]:

>It is the Zig programmer's responsibility to ensure that a pointer is not accessed when the memory pointed to is no longer available. Note that a slice is a form of pointer, in that it references other memory.

Zig is very much a manually-managed language. Austral has manual memory (and resource) management, but has type-system tools to help you ensure correctness.

[0]: https://ziglang.org/documentation/master/#Lifetime-and-Owner...
Id say it means there needs to be another way to browse the site, where an old story can be bumped, with a new comment section, but inherits the old link, with the old comments available, and old score data visible. You can see how many upvotes it got each time it came about.
OMG OMG OMG squeeeeeeeeeeeeeeeeeeeeeeeeee

If you haven't played this, throw them a dollar, play it, then once you realise what utter brilliance it is send them more money to taste.

The only thing whose dueling ridiculosity is on a similar level of amazing is the early Worms games.
Designing the Characters of 'Cowboy Bebop'
Spirituality is not same as ardently following very specific religious practices. I believe everyone is spiritual in some way. I also don’t think we suspend disbelief when reading/watching work of fiction. We accept that to be fake but we are curious about what-if scenarios and it’s merely learning and/or entertain. This is not same as reading religious texts were you do not accept it to be fake and questioning is feared for.
I should read this once a year. Now, internet, find allthe threads where I have made this comment, and book adequate time on my calendar. Preferably injury of each year.
Wow I'd completely forgotten about that! I remember seeing people during the early COVID days declaring publicly that they'd rather catch COVID than get the "Trump vaccine". People hate him so much he turned them into anti-vaxxers.

To clarify here: I'm not pro Trump or Biden, I'm not even American. I'm just pointing out that politics makes people irrational.
Alphago, and similar, are all examples of ML systems exceeding their training data and human abilities. It's clearly possible to beat human capability with ML.
Everything from the mountains down to the atomic structure is on a cob. Maybe you'd end up having Junji Ito tier body horror as they eat and breathe in more cob particles. We'd get Summer on a cob, and Jerry on a cob. Maybe the planet has a god on a cob who will punish them in eternity on the cob, for breaking the laws on the cob, of this world on a cob. Whatever the case, Rick's not willing to take a risk on the cob - as far as he's concerned, there's not so much as one kernel of truth in any criticism of that decision.
The 700W number comes from Aptera's website [1]. You don't have to believe them -- but to achieve that, they'd need about 3.5 square meters of solar panels, and if you look at the overhead picture on that page, it looks like it has about that much.

12 hours/day is the average solar duration. You'll get more than 12 hours of sunlight in the summer and less in the winter, but it'll average out.

And sure, if you park under a tree or let your panels get dirty, you'll reduce the amount of charge you can get. Same thing if you park in a garage or paint the roof. We can sit around all day and come up with ways to kill the performance. But you can just choose not to do these things.

[1] https://aptera.us/vehicle/
No cmd, settings pane. How do I tune how much is too much? its culturally informed. What If I want a warning in 10sec not 30sec?
Alot of us don't live in nuke target zones and will just die slowly of the collapse of civilization, nuclear winter, fallout etc anyways and it won't be due to our horrible decisions.

Gimme the cat. I'll take agonizing hours over days.
plz don't put links with paywall
(I live in Australia)

I'd take that headline with a grain of salt. A lack of investment in power generation because of unclear policy goals by the previous conservative government is the real issue - combined with another odd policy where long term gas supply export contracts meant it was cheaper to turn off gas plants than run them!

Basically the previous government wanted someone to build a new coal fired power station(!) but no commercial company wanted to do it and no investors could be found (coal fired stations just cost too much now). The then Prime Minster is famous for bringing a lump of coal into parliament to show how much he loved coal[1].

It's worth noting that no blackouts occurred.

Ironically, the state of South Australia also had a conservative government at the time but had a very pro-renewables policy (this is where the first Tesla big battery was) which took power prices from the highest in mainland Australia in 2018 to the lowest wholesale prices[2]

[1] https://www.youtube.com/watch?v=ea5bOaPkZpc

[2] https://reneweconomy.com.au/sa-renewables-surge-bringing-dow...
My new word for the day: incunabulum
https://archive.ph/Tn01o
I guess it works both ways, people panic sell and panic buy. Neither are smart moves.
Microsoft open sources Salus software bill of materials (SBOM) generation tool
This, to me, is the crux of the zealotry for Lisp and its variants. A high level language, with functions as first class citizens, that can not only run on minimal hardware but be programmed on minimal hardware in less than 100-1000 lines of C code.

The other arguments, while valid, for side-effect isolation or for the "brain bending" nature of functional languages pales in comparison to the above reason.

In my opinion, Javascript pretty much took the best parts of this philosophy (scriptable/run-time languages, first class functions, etc.) without the more cumbersome aspects to create a happy compromise between a functional and imperative programming language.

I do wonder if the newer generation of programmers has the same reverence for Lisp and its variants as the last generation.
Try a Ghost Pipe tincture.
given that elon is not the type of person who can avoid loudly announcing his intentions, he did not, and had previously frequently announced ideas to change Twitter, on Twitter itself

I imagine his lawyers hate him almost as much as a certain other famous narcissist's lawyers hate that person
https://www.merriam-webster.com/dictionary/community

Unless you define "community" as those that do not share your point of view.
And at the same time supported severe covid restrictions until a vaccine is available. The paradox of course is that the likelihood of there being an efficient vaccine is very low if you don’t develop immunity naturally.
If it's about an ex-employee it's at least _possible_ that they're actually trying to help you, but it doesn't even make sense for a current employee. You want to warn me that this person is so awful that I shouldn't even consider hiring them, but you haven't fired them yourself or you aren't happy about the person you hate but can't fire for some reason choosing to leave on their own?