skysight-inc/HackerNews huggingface dataset:
Physically it doesn’t work:

The headset is too clunky and heavy still, after a few hours you get a sore neck and I have trouble with lack of airflow on my skin (where it contacts my face gets sweaty and irritated after long periods)

More importantly: the resolution is too small. Using an IDE to edit text inside VR technically works, but the font size has to be so huge because the resolution inside is so poor, coding becomes an exercise in scrolling and navigation rather than an exercise in problem solving.

I’m the same as you, I like being portable, and when I was a travelling tech nomad for 2 years it meant hauling two monitors in the car everywhere.

One other option that actually worked well was getting a good quality 1080p projector and mounting it on a camera stand, I used this for a bit instead of monitors at the hotels/Airbnbs and it worked well, although that’s just a single 1080p monitor
As I understand it, the position under the heading "My own take" is the one that the post's author is espousing, and the other positions they bring up are being talked _about_.
When you’re wrong what happens? Out of touch optimism is leading to an irreversible problem.

I suggest reading the news.

“Centrist Sen. Joe Manchin (D-WV) criticized President Joe Biden for recent comments he made about shutting down coal plants across the country, decrying the idea as being “divorced from reality.”

https://www.washingtonexaminer.com/news/campaigns/manchin-un...
That graphics was made before Intel switched their naming. What you see Intel 10nm is now called Intel 7.
It's because you can write these types:

recognize : String -> UnverifiedEmail
validate : UnverifiedEmail -> VerifiedEmail
send : (VerifiedEmail, Message) -> ()

You can then use visibility controls to universally guarantee that recognize and validate must be called before send. No test can ensure this is true.

Under the presumption that send should only perform work on verified emails, the alternative is not being able to be confident that emails passed to send are pre-verified. This means that send must check this flag, and therefore have the ability to fail due to non-verification.

This isn't inherently a problem, but it can lead to a failure to separate concerns. If one part of your system is responsible for parsing and validation and a separate part responsible for interacting with the sending machinery, it's unfortunate if the latter part can fail due to a failure to verify the email. These systems have now implicitly shared responsibility.

You can try to guarantee that no email is passed from the first system to the second without being verified, but this can be challenging. It's a universal property. Tests can show the presence but not the absence of bugs.

But those types we showed at the beginning provide exactly that guarantee.
"Just use it" is what lead to the big SQL injection fallout and even today we pay the price as not even a year ago thousands of crucial service were vulnerable via log4j because of the "Just Use It" mantra.
Ooh, an article about portmaster(8)! Oh, not portmaster(8)

0 - https://www.freebsd.org/cgi/man.cgi?query=portmaster&sektion...
I’m a big, big fan of Wolfram Language - as a recreational mathematician and programmer, there is nothing else I would rather do my explorations with.

As always in these discussions, I expect many people will start complaining about how expensive Mathematica is, and how Stephen Wolfram is very shortsighted with his pricing, and how open sourcing it would truly unlock all the potential of the system.

And I seriously doubt this point of view. Open sourcing is not a magic dust that automatically makes everything better. While it works in some cases, it doesn’t work in others - and not having a competitive open source mathematical system is a prove of that.

Hiring people to develop and evolve complex algorithms, on work on improving the UI and making it work on three different OSes, or curate and maintain the knowledge library, takes a lot of effort. I’m actually surprised they don’t price it higher!

Disclaimer: And yes, I live in a developed country, so $250/year for a personal license is not a substantial cost for me. I’m sure that somewhat biases my position.
they linked to the source code. What bar do they have to reach, before you honor it with being constructive? the point is, there is no bar. unless its praise to Rust, then its trolling in your eyes.
Does that also hold for people doing data science in Jupyter notebooks? They're also programmers, arguably.

At this point in the trajectory of software engineering, it's fair to assume that most of the low-hanging fruits have been picked, and solutions that are unequivocally better would have to bring something fundamentally new to the table (which types are not at all). Most solutions will be picking a particular point on a trade-off isocurve.

Apart from that, it's always fair to ask someone who's strongly proposing something what the downsides are.
The difference is precisely that Kroc is the founder of the company that is McDonalds while Musk is not the founder of Tesla.

It’s a fact that Musk turned Tesla into what it is today. It’s possible to get that point across without falsely claiming you’re the founder of the company. Words have meanings.
This claim is misleading at best, and this is the part where no matter how smart you actually are or think you are, you should have just left this to the doctors instead of consulting inflammatory media sources that just want your ad eyeballs:

https://www.factcheck.org/2022/10/scicheck-its-not-news-nor-...

> “Our landmark phase 3 clinical trial (protocol published November 2020) was designed and powered to evaluate efficacy of BNT165b2 to prevent disease caused by SARS-CoV2, including severe disease. Stopping transmission was not a study endpoint,” Pfizer’s global media relations senior director, Andrew Widger, told us in an email, referring to the company’s vaccine.

> That’s not uncommon. In a commentary published in Science in March, Natalie E. Dean, assistant professor in the Department of Biostatistics & Bioinformatics at the Emory University Rollins School of Public Health, and M. Elizabeth Halloran, head of the Biostatistics, Bioinformatics and Epidemiology Program at the Fred Hutchinson Cancer Research Center’s Vaccine and Infectious Disease Division, wrote that estimating indirect effects of a vaccine, such as reduction in infectiousness, “is typically done after a vaccine is licensed, in either observational studies or cluster randomized trials.”

> The primary benefit of an effective vaccine is to prevent symptomatic disease, Dean told us in an email, and “given the urgent need to prevent COVID-19 illness, the trials focused on these primary goals,” she said. A secondary benefit of an effective vaccine is to reduce transmission, she added, either by protecting against infection or by making infected people less contagious. “But assessing protection against infection requires specialized tests (antibody tests or more frequent sampling) and, to measure contagiousness, measuring viral load and, preferably, studying family members or other contacts,” she said."

...In short, it doesn't matter whether it reduced transmission; it reduced deaths (by likely 19.8 million, reputable source: https://www.thelancet.com/journals/laninf/article/PIIS1473-3...) and that's all you need to know, end of story, sit the fuck down and stop repeating bullshit when you're not a doctor or work in the medical field.
A mass misbelief in the continuation of Moore's law into impossible sub-molecular scales. There is no more low-hanging fruit of "just make the optics more precise to make the lithograph smaller"; every process-node step we're taking now is rather a "side-step" involving solving increasingly-complex puzzles to make the same-sized features do more per molecule. It's code golf, at a hardware level. And as in code golf, there's a pretty low ceiling as to how intricately interwoven features can become. You can't eliminate the fundamental need to have all those features in the code (circuit) in some sense.

The actual visible effect of this is an economic one: we've gone from spending linearly more marginal CapEx per fab process-node upgrade, to spending geometrically more marginal CapEx. Each process node under 8nm has been twice as costly to design as the one before it. This is untenable.
You failed a humor unit test.
From working in VR or playing games in VR? I spend just as much time in VR as your husband and it hasn't hurt my eyesight at all, but I'm not spending that time reading.

I'm interested in how you were able to determine that VR was the cause vs age or just eye strain from using a regular screen in suboptimal conditions.
It's easier to get good results by generating 2-8 images for each prompt, picking the best result, using that as the starting point for a new run.

Tweak the parameters of how close the new image should be to the old one and the prompts, tweak the prompts to address problem areas in the image, generate another 2-8. Rinse and repeat until you have something decent.

I doubt that the really impressive SD images are coming from submitting a prompt once and taking that output. It's better than past open-source efforts like the mini dall-es, but it also still has a way to go before it can reliably produce good results on its own.

AI art on products is an interesting idea, but personally I would use a more fully-featued SD web UI to generate the image locally.
What’s the carbon footprint of a Higgs boson? It varies – a lot
Western governments lie all the time. You are absolutely correct to assume that the State Department’s interests in Iran do not necessarily align with Iranians who want to live under a non-autocratic government.

At the same time: you are wrong to insinuate that the Rust project’s motivations (or anyone’s really) are those of any government or state’s. The unrest in Iran has the world’s eye; there is nothing about the situation that suggests ulterior motives.
Quantum computation plays a starring role in some of my favorite recent sci-fi novels (Hannu Rajaniemi's Quantum Thief, for example), but like the William Gibson's Neuromancer world (powered by Eastern Seaboard Fusion Reactors), it's just interesting and speculative sci-fi.

Happily, there are many fields beside computing where quantum technology comes into play - better and cheap chip fabrication, semiconductor lasers and diodes, all kinds of materials science research, and of course, solar energy conversion systems modeled on the photosynthetic apparatus:

https://sci-hub.se/10.1038/nature22012

Romero, et al. (2017). Quantum design of photosynthesis for bio-inspired solar-energy conversion. Nature

As far as what today's working scientists will pursue, the silly popular notion that researchers are free to explore whatever they find exciting and interesting is mostly nonsense; successful researchers in the modern science system are as keen as hounds on the scent for new funding disbursements from the major federal agencies (and some private sponsors). If the money dries up, they turn their attention to other things, except perhaps for a few back-burner projects handed off to some hopelessly naive yet charmingly enthusiastic grad student.
Dark Reader also has this feature, BTW.
Ah, good call. I admit that my claim is based on having periodically googled "top programming languages" over the years. So a few proprietary tools may have fallen through my sieve.
It's not a deception, the transistor itself is 1nm, the gate is larger because of physics. We're talking transistor and gates composed of 100~ freaking atoms with transistors being in the dozen or so. And we are complaining that they're using the "wrong metrics." We are nearing Moores limit, might as well rejoice when they bleed out another nm or so and can pack in a few billion more transistors.
Germany, Slovakia and a few other countries have pushed the responsibility of recycling PET bottles onto the producers and retailers: There is a 25 cent deposit on a 2 liter PET bottle. Consumers deposit their bottles into machines at the retailer for a 25 c discount on their purchase. Frequently there are queues at those machines. My guess is that people earn less than minimum wage recycling.

Hungary (and Romania) have no deposit on their pet bottles, but some retailers do have similar machines. Consumers get 1 forint for every bottle they deposit. That's 1 dollar for every 400 bottles returned!

Earlier this year, I found that soda/cola/pop is more expensive in Slovakia than Hungary (at Lidl). So the retailers raise prices, hurting the poor.
> NIMBYs are property owners who will have political or financial interests

to my ear, the word NIMBY has an urban flavor that does not describe rural or wilderness landowner behavior.
2x4 lumber.
Thanks for the details, of which most I already figured. However, your response does not address the issue of solving content disappearing once the instance goes away. It doesn’t matter if the network itself is alive when the content itself can disappear at any time without warning.

If I am correct in this assessment, I can really see no upside besides minutiae regarding an illusion of control to established social media. In this regard, a website with a comment section would serve much the same purpose.
Inside Out were so good. So cool you got to play with them.
In fairness this takes an unusually strong type system to express, doesn't it? Typescript can do it, but I don't think e.g. Haskell98 can do it out of the box in an analogous way? (Of course, it's hard to prove a negative and I'm not super familiar with Haskell, but my evidence is that I'm pretty certain F# can't.)
it's important to distinguish short-run productivity and long-term sustainability. systems need slack. if you take away all the shoulders on all the highways you will get improvements in throughput and cost per trip. and any breakdown will be much worse because responders can't get through to clear it.

layoffs shouldn't be celebrated because they cause pain and they mean someone screwed up.

time will tell whether Musk is putting the business on a sustainable footing or killing a golden goose.
Again, repeated claims that India is siding with Russia proffered with no arguments whatsoever. The whole funding the invasion narrative is complete nonsense. The EU still is the largest importer of Russian crude oil, is the EU siding with Russia too?
That's dependent on the implementation, SBCL is particularly good at it. Others may just let things pass like:

(defun foo () (* 1 "aoeu"))

In SBCL gives me this:

; in: DEFUN FOO
; (* 1 "aoeu")
;
; caught WARNING:
; Constant "aoeu" conflicts with its asserted type NUMBER.
; See also:
; The SBCL Manual, Node "Handling of Types"
;
; compilation unit finished
; caught 1 WARNING condition

But in CCL it gives me no warnings at all and only triggers an error at runtime.
You should write an episode of Seinfeld.

I was a TL on a project and I had two "eng" on the project that would make test with a single method and then 120 lines of Tasmanian Devil test cases. One of those people liked to write 600 line cron jobs to do critical business functions.

This scarred me.
On a smaller scale, we have completed a similar project in my state in Australia, and the benefits for both wildlife and humans is really something I'm finding fascinating. There's a very notable increase in mobility for animals and I'm seeing animals near my house I've not seen anywhere nearby before, especially different species of birds but also bigger marsupials, even Kangaroos, and I live in suburbia.

Couple the nature corridor with native flora in your yard and in the parks for humans and you really do see animals flourishing. Again, birds in particular are absolutely reveling in it. I now hear diverse birdcalls throughout the day and I feel like I'm back in my childhood where I lived in the outback. This nature corridor goes from the coast, through suburbia as revegetation projects, across a low mountain range and into the plains, a fantastic diversity of habitats for wildlife now interconnected.

The default thinking is that cars are what shoes away animals, and it's partly true, but it's really the infrastructure and what we take away to build it that causes issues. You can have cars, roads, and a more symbiotic relationship with nature if you're smart about your infrastructure and make sure to account for nature's use of the land.

Same with your home, if you have a yard don't just flatten it and keep mowed lawn. Native flora is easier to maintain, better for the animals and better for the soil and water runoff. You become part of the nature-corridor.
is there a tl;dr? This is a very long post that doesn't seem to want to get to point by the time you made it halfway through.
Some of the salt might come from experiences using dynamically typed languages that later had some amount of stronger typing added on.

No matter how well that's done, it creates friction somewhere in the process interacting with existing code.

That is, I can agree that an inherently strongly typed language has benefits, while also being skeptical about bolted on additions.
For anyone complaining about the price:

1. Before Covid times and increasing demand, buying new at 40% off the list price was possible, you just had to time it right with new models coming out.

2. RVs lose something like 20-30% of their value in the first year, 50% in the first 4-6 years.

Buy used, it's better that way (all the warranty work has been dealt with; very few brands manage to build them well enough to not need warranty work).
If they speak another language in the office but not with you (you are not part of their conversation), why is it rude? It is like a different channel where you will be less distracted by eavesdropping people.
Yeah, the nesting Viz shouldn't be too hard. Just nested divs in HTML really.

And super/sub scripts are in HTML as well.

Unicode is doing all the symbols these days

Param placement like n=0 under a summation, etc are a little more idiosyncratic
The short answer is absolutely.

While one can dedicate their whole life towards the commonly misattributed quote "If you're the smartest person in the room, then you're in the wrong room". There's just ebbs and flows to life where one day you're on-top of the world and another looking up a cliff.

One of the best books on this phenomena is "Flow: The Psychology of Optimal Experience". Needless to say, the core idea is that you can cycle between states of anxiety and boredom depending on arousal and efficacy of the skills and challenges you have. The sweet spot i.e. Flow state is the "just right" spot in-between where you are challenged enough and uses your skills effectively.

The more you enter the flow state, the more you train your ability for insight.

So when I see posts like this, you are either on one side of anxiety and boredom. What you desire is consistently being in the flow state.
Watts consumed per MIPS is pretty hard to fudge for the layperson.
It's far from a disaster because the best way to deal with a list is still to use a contiguous array.

Allocation isn't free. You have to do it sometime and doing it all in bulk is going to have the same consequences as just one small allocation anyway. If you are mapping new pages into main memory, making system calls or looping through a heap structure, you're not only affecting the data cache but also the TLB while also pointer chasing.

Making a list out of an allocation for every element is performance suicide on modern computers. Even the amortized resizing of an array is done at the speed of memory bandwidth because of the prefetcher. Thinking that is some sort of performance hindrance is absurd because it outweighs the alternative by orders of magnitude. If there really are hard limits on the time every insertion can take, then the solution needs to be links of large chunks of memory to still minimize allocations on every element.
Can confirm. My coffee mugs get washed once every “ok that’s really gross”. I mean, it always holds the same piping hot liquid and only one person ever drinks out of it. So what’s the point of keeping the mug pristinely clean?
I’m waiting for the decentralised self hosting app to be on iOS for my iPhone. Then I’ll join.

I know there are clients enough to use on iOS, but I mean servers to do my own hosting.
Norway has an airport and a tax free shop in Antartica. The commercial airliners from Boeing and Airbus lands on the ice. Many nations has stopped using the Russian airport in Antarctica. This has increased the traffic in Norway’s Troll airport lately.
Zebras of all stripes repel biting flies at close range
> Not at all. For the same reason that heart surgery isn’t. Or black belt karate isn’t. Some human activities just have high skill floors. Science (at the levels we are talking about here - groundbreaking hard to understand complex stuff) is one of them.

Are you saying that anyone publicly discussing science on the internet should be subjected to secretive removals because publishing groundbreaking science is complex stuff? If so I strongly disagree and I find it hard to square that with your following statement,

> Just to clarify: I think science MUST be open for anyone and I think divulging it is critical.

Those two paragraphs are in direct conflict. You're saying science should be open but not everyone should be able to discuss it online without having their commentary secretly removed.???

Nobody is born a heart surgeon or karate expert. Every single one of today's experts got there by beginning somewhere near the bottom and working their way up. Some may have found their way easier than others, but that doesn't change where they began, or the general direction they had to take. Left foot, right foot, we all march, and those who had a harder time of it may be better off for making it through that (not that I want this to happen, I'm just saying it can be a result of enduring hardship).

Not to mention, science is meant to be disseminated. If you just put it up to be read rather than discussed, nobody is going to understand it. It's okay if people misinterpret things, that is part of how we learn.
That was my high school programming fun - implement linked lists and other data structures in TurboPascal. Pascal is a language that does not come with dynamic lists, only fixed size arrays and memory allocations. I had to build linked lists just to have a decent list primitive.

A few years later I discovered Perl that comes with dynamic size lists, dictionaries and strings. Whoa, that was a treat, so very nice to use and efficient. To this day I prefer constructs made of lists and dicts 10x more than defining classes.
Iran claims successful launch of satellite-carrying rocket
Grothendieck stacks in QFT, did not know about it.

This is wild stuff:

https://people.math.umass.edu/~mirkovic/0.SEMINARS/1.QFT/C.C...

funny names: a Leonard Cohen writing about an Costello
(but Kevin Costello not Elvis Costello)
You’re right. On re-read, there’s a clear distinction.
A step by step backpropagation example (2015)
Is there a word to describe the +/- signal behavior of rs232? It's like a differential signal, but with a pesky common ground, bother.
Highest ever volcanic plume might have warmed Earth's climate
We don't know of a single NP-hard problem where quantum computers would show any exponential speed-up (there may be some speed-up by using the O(sqrt(n)) brute search quantum algorithm instead of the classical O(n) search algo, but that will be quickly drowned out by the exponential factors).

Even worse, there is no reason to think that there will ever be - as far as we know, QCs only show an exponential advantage on problems with very very specific structures, while the whole problem of NP-hard problems is that they have no structure in general.
I'm confused. Isn't Hacker News centralized & non-federated?
How about defining you own PlotTheme and setting $PlotTheme in init.m? It’s been supported since version 10, I believe.
Obsidian is my go-to note taking. I understand the flexibility of asciidoc, I don't see I'm going to adopt anything other than markdown, as a simply want one document formatting. Simple is better.