skysight-inc/HackerNews huggingface dataset:
It is offset at all by all the workers who are forced to sit their entire shifts? It's probably better on our bodies to stand than to sit for 6 hours at a time, but it starts in schools and ends at desk work. Standing desks are nice, and can help, but not everyone has access to them.

One of the nice things about working from home is that it allows people to escape that kind of environment to a point, but it just enables other types of obsessive micromanagement like "Why hasn't your mouse moved for 15 minutes!" or keeping cameras pointed at you all day long.

What we really need is less micromanaging and an expectation that not everyone is going to be at their desk every minute of the day, but that's a very hard sell in some environments.
Reminiscent of the fact that "Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo." is a grammatically correct sentence.

https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffal...
Residential requires a higher level of fire safety than commercial and additional separation between uses for occupant comfort (f.ex. sound). Additionally, there is usually parking and that also requires a lot of separation.
What better options than electron can we hope for?

Writing UIs in TypeScript with React is amazingly productive. A huge amount of effort has been invested into making that entire stack fast and it’s still a lot slower than I‘d want it to be. I’ve written some websites in Yew (react-like rust library), but either Rust or Yew seems to really suck for UI stuff. I feel like we’re missing some kind of nice middle-of-the-road language that’s both reasonably productive and results in reasonably performant apps. OCaml is the only language I know of that’s in that sweet spot, but there’s no UI libraries for it unless you go the ReasonML/react route, but then you’re just compiling to JS again.
Why The Commodore 16 was great
If I had the money I'd be working on it
Indigenous Americans ruled democratically long before the U.S. did
Actual founders are maybe 0.1% of the HN reader base. Most everyone else are tech workers not looking to disrupt anything.
Not to be pedantic, but do you have reliable sources you can link to verify this?
I can still cut off their revenue stream (canceling my service) and fight back without stealing.
I took more as "bitwarden is now involved with VC so watch the news for changes". We all know what happens when VC take over a private company. Customer focus often suffers as the bean counters start making the company thing in terms of quarters as issue #1
Ah, riffing it I see.
Do you not realize that the US is the only reason Russia doesn't steamroll all of Europe?
> I hope they simply start paying CS TAs better.

Impossible. Students definitely don't pay more than $50 per credit hour in tuition, so there's nowhere for the university to get the additional funds from.

Edit: This was sarcastic
Debugging: Indispensable Rules for Finding Even the Most Elusive Problems
If my tax dollars go anywhere, I would rather encourage students study multiple high-demand majors than provide loan forgiveness to societally unproductive majors (gender studies, literature, etc.). I don’t see why we should use tax money to prop up anything other than proven productive fields of study. Society should get something back, and I’d rather get back a smart physics/econ double major.
Lots of comments here jumping at impossible/perpetual motion machine etc

Think of it as mining the air/water for heat energy and turning it to electricity. No one said energy is being made from nothing. This is not being touted as a solution to climate change.

To rephrase the idea, is the following equation possible:

heat pump running costs <= heat extracted x electricity generation efficiency

At a single human scale there is near infinite air/water heat energy to run through the device. But could you do it efficiently enough?

This is the closest thing I could find on short notice:
https://www.pv-magazine.com/2021/08/19/the-worlds-hottest-he...
I just gave up.

I juice my own lemons, limes and grapefruit and mix each with seltzer water for really tasty beverages. Bananas, apricots, and home made trail mix cover the snacks. If you use a nutrition site and work with what you might have in bulk in a nearby store, you can make some very balanced snacks, and you're entirely in control of the portions.

This all takes very little time. I'm honestly mad it took me 40 years to just do this instead of buying "premade" anything.
At the end of the day engineers and programmers receive dollars for hours worked and can often be ambivalent about whether that is good or bad for customers because they no longer are valued by management as input to features and the future direction of the company.
this book is a very good discussion about debugging, "Debugging: The 9 Indispensable Rules for Finding Even the Most Elusive Software and Hardware Problems", https://embeddedartistry.com/blog/2017/09/06/debugging-9-ind...
Almost all of those 'correctness flaws' are bugs in packages that weren't interfacing with each-other correctly. Everything has bugs and correctness problems, but it may be that Julia users run into them more often because they compose packages in novel ways very often.

But we also have very rigorous testing infrastructure and a community that cares deeply about these things and moves very fast to fix them. You'll notice that every legitimate issue in that post is now closed and fixed, and the remaining ones are about the users misusing in place functions in the presence of aliasing.
Lobbying American reps has the highest ROI of any investment in human history.

Ted Cruz would probably cosign a bill to 'throw all puppies off a mountain' for an all inclusive trip to Tulum
So I can say stuff like I was yak shaving and bike shedding this one time... and only devs would know what I mean. Very amusing.
I agree open source hardware would be great but SiFive is a closed source vendor like many others.

It's RISC-V itself that has a permissive license, allowing anyone to make an implementation open or closed source.
8 in 10 europeans agree on european leadership in current situation agains rashist ruzzia according to the newest poll. Don't waste your time. Slava Ukraini!
Actually the video I watched directly talks about this being a major problem for Germany specifically.

Transcript: http://backreaction.blogspot.com/2022/08/no-sun-no-wind-now-...
This is why the majority of homeschool parents do it. It’s borderline control freak behaviour if not over the line most of the time. Usually to force some kind of religious beliefs on their kids and keep them away from any kids with other opinions.
University of Washington does a full on application with nearly all engineering majors, including Computer Science and Engineering, which is weirdly split between college engineering and college of arts and sciences. It is awful for everyone who experienced it. Hopefully it is different now, it really limited peoples choices.

Tangent rant - Some time ago I was rejected 4 times from CSE, ended up getting admitted to EE. Which hilariously, now has changed its name to… ECE, electrical and computer engineering. They offer an different Computer Engineering degree now!!! The buildings are literally linked floor by floor and they won’t work together, haha. Got a great education in computer engineering even without the name.
Then demand won’t drop, and energy will run out.
We used a 49 slide deck to decide our company's future
He even mentions hard drive space separately, as something comparable to removable storage:

You could back up your whole hard drive on a floppy diskette

You're the biggest joke on the Internet

I can only conclude that he did understand the distinction between RAM and hard drive space. The song is full of jokes that show a deep understanding of the topic. Indeed I don't find any nits to pick.
Agreed. This is the worst possible way to address whatever problem the university thinks they have.
In principle I agree that there's issues with ligature fonts, but I tried using one for a few months a while back and found that in practice I didn't find myself having to think more about what the underlying text actually was, and it was occasionally delightful to look at the pretty symbols.

On the whole I think they're nice.
password-store is another solution if you're CLI and scripting inclined. It also has browser plugins. KeepassXC + a cloud "dropbox", make sure that it is set to save after every change to the password database. It also has plugin for popular browsers. Vaultwarden is another option and the one I am likely to switch over to after this announcement.
If only nuclear energy weren't so unpopular. Certainly it's unpopular in the states, though I can't speak to the UK.
Thank you so much for this information
Ain't that true brother
Hydrogen production from the air
Yes, but modern humidity controls are able to regulate moisture levels while also reclaiming heat. That is, if you open all the windows your warm/cool air will flow out while fresh air flows in; an energy recovery ventilator will partially precondition the fresh air as it flows into the house, using the outgoing air as the source.

https://en.wikipedia.org/wiki/Energy_recovery_ventilation
But still way above "normal", which is about $1000-$1500/TEU from China to Los Angeles.
I was trying to highlight why NASA has largely ignored Venus since Magellan. I'm glad NASA is heading back to Venus, it's just been a gravity assist target for thirty years.
Your situation sounds awesome, and I don't think your preference sounds weird at all. Congrats on the success!

You can find more like minded folks in the Indie Hacker community, if you haven't run across it yet.

See https://www.indiehackers.com/
I don't have a credit card, which is pretty typical here, so I always travel with just cash and debit cards (I have a couple of accounts). But if what you describe is standard - i.e. you get very good service in an emergency - a credit card does sound like a good idea
Where have I heard this kind of reasoning before? Oh yes, I remember:

There is no direct evidence for god not existing. Given that there are only two possible hypothesis, that he exists and that he doesn’t, we need to teach both sides to children, and the case for a 4000 year old planet with dinosaur bones buried to confuse scientists must be taught at equal level!
I can't shake the feeling the experience just isn't optimised for what we want as users. For quite a while Google Play had fantastic organic discovery based on previous likes, but then it just got taken... elsewhere.
I tend to think of yak shaving as the annoying but _necessary_ activity of fixing things you need to fix to close your bug. Not frivolous refactors. More like adding decent logging to a complex system, cause otherwise, how will you know why your feature doesn’t work?
1. What's your own probability estimate that you'll be back to Lisp by, say, 2024?

2. Can you elaborate more on "they are very awkward to work with and only offer a subset of the abilities of the Emacs plugin" for vim? What did you find lacking about either slimv or vlime that you absolutely couldn't stand such that you forced yourself to use emacs? I'm most familiar with slimv and am aware of some quirks (and one bad still-open issue related to errors in threads which is annoying to deal with when it bites) and some limitations, but I'm fortunate to be mostly unbothered by them or in one case so far submitting a patch to fix one annoyance. At least, I'm not bothered to the level of abandoning vim -- I'll probably try the VS Code plugin before trying emacs again, or shell out for a LW license. Specifically it's things I see emacs users do like clicking a printed object's memory address to open the thing in the inspector, or having a slightly less ghetto code stepper. I'd rather have other things I miss from my Java life that as far as I know aren't even in emacs for CL.

3. Did you seek out any downer takes when evaluating Julia? What did you think of any of them? Some specific examples include https://yuri.is/not-julia/ or http://danluu.com/julialang/ where Yuri's post is linked at the bottom as a sort of update. If you read anything like that, have you been concerned? Any good "excuse" articles you found that address any downer points?

Anyway, thanks for your work in Lisp Land, both in code and IRC messages.
We Are Changing the License for Akka
That’s why we can’t let go of cash-
Good art (regardless of medium) is fundamentally about communication. It allows us to communicate ideas and emotions in abstract ways bypassing the limitations of language. Computer generated art can’t accomplish that. I don’t see any real threat here to artists.

Granted, computers can certainly generate something that looks cool or just pleasing to the eye. Something you might want to hang up on your wall or something to add a splash of colour to the room. In that respect I suppose there’s some limited threat.
Both suspected to be sophisticated Russian backed propaganda. Who benefits from this energy protest? What’s the fastest solution to fix the energy cost issue?
Isn’t this the exact same thing that happened with Robinhood/GameStop?
Mein Kraft. K-Populism. Beware the pipelines.
Note that this isn't a problem in wood frame buildings built with proper sound insulation, so it's more that regulations in many municipalities allow weak sound insulation, and developers build to the cheapest spec possible if there's no compelling reason not to.
This mindset is exactly why we all have to suffer with slugish electron apps and bloated websites instead of using fast, native apps written in something like Qt.
https://en.wikipedia.org/wiki/Aspartame: “Aspartame is an artificial non-saccharide sweetener 200 times sweeter than sucrose”

⇒ I expect they would like to see something like “39 REAL”, respectively “40 ARTIFICIAL” on the label.

Of course there’s a can of worms in that there are multiple ‘real’ sugars (https://en.wikipedia.org/wiki/Sugar) and producers will try to talk down that 200, but I think that’s solvable.

What’s less solvable is that producers will talk down the unit size used to compute the amount of sugar, just as they do with the unit size used to compute the number of calories.

Alternatively, this could be shown as a sweetness rating with “x% artificial” added, or just as a sweetness rating alongside the existing ‘calories’ rating.
That's a good example of why I'm reluctant to read and rarely read such articles, the WSJ, or the MSM (mainstream media).

Also a good example of why, for such a topic, I want to see well done graphs over time. And the graphs should be as good as needed for, say, lab reports in freshman college physics.

And I want quality at least up to that of common high school standards for term papers, e.g., references to credible, hopefully primary, sources. As in a popular high school literature short story, I want to be able to "look it up".

The Internet is permitting new sources including some with some good reporting.

For the WSJ and MSM, for me, on paper they can't compete with Charmin and on the Internet are useless for wrapping dead fish heads. They want to grab me, by the heart, the gut, and below the belt, always below the shoulders, and as soon as I start reading their work I feel their fingers on me.

I do care, a lot, about the economy and news about business, but this WSJ article is a good example of why, still, I won't read the WSJ.
How big the roof needs to be to house solar panels enough to supply 50 families? Not everybody leaves in single-family housing in suburbs, some people live in dense highrises.

From what I can see, average EU consumption is 6000 kWh per capita per year, or 500 kWh per month. As far as I found, solar panels can provide about 200 W per square meter. According to https://climatebiz.com/average-peak-sun-hours-united-kingdom..., this requires - in London - 28 square meters per person to cover their electricity needs. For a multi-family house housing 100 people that'd be 2800 square meters. That seems to be a bit too big to fit on a roof (and we haven't accounted for distribution losses, needing to space them out to be able to actually get to them and service them, etc). Now take houses like these: https://en.wikipedia.org/wiki/Apartment#/media/File:St_James... and there would be likely more than 100 people per house...
Can you point to a compiler without correctness flaws[1]? If you use Fortran, or C++ your compiler will also have correctness flaws. Is the claim that bugs are more prevalent or fixed more slowly than with other compilers? Yuri kind of implied that in the article you link, but we would have to take his word for it.

1: http://compcert.inria.fr/ is the only non-toy one I'm aware of to be formally proven.
This is obviously a quick and dirty hack. It only splits the header by commas. Postgres has its own read in logic you can adjust by passing arguments to \copy or copy. If you have anything more complex you need to handle it by parsing the header more intelligently than splitting on commas and adding appropriate arguments to copy or \copy
I mean for sure. I’m not going to make any predictions about the future when the field is so young. It’s only related to the current generation. Honestly though, art isn’t the field to look at for seeing when the jump is coming. It’s in AI actually being able to recognize relationships between things. Basic stuff like looking at enough pictures of horses and recognizing what the leg is and how many legs a normal horse will have. Even stable diffusion which has some of the best generation will still give me 5 legs or two legs coming out of the same side. These kinds of images are a boon to artists who will need to do all the final corrections.

Relationships between things is complicated. Someone resting their face on a fence is going to have a huge number of effects on the deformations of the face, especially the eyes and hair depending on how they are resting. It’s not enough for AI to have seen enough pictures of faces on fences to be able to apply that in an image. It needs to understand what pressure and gravity is doing to the underlying structures. That’s how human artists study at least. It’s why they can take that lesson and apply it to learnings about how skin behaves depending on the age of a person. They aren’t copying. They are solving problems by thinking about muscles underneath and how they change depending on any number of factors.

None of this even touches on lighting and colours.

If there’s one prediction of the future I’m willing to make, it’s that until research progresses on teaching computers to apply actual knowledge, AI within the creative space will remain assistive instead of replacing.
2021 is the last year that idea had any leg. A "steamrolling" into Poland, even with a fully withdrawn US army, would be an harder feat than one into Ukraine...
Yes, I agree. I think mass timber is only used in fancy commercial or institutional buildings, though? So it seemed worth pointing out the more common, ordinary kind.

It seems doubtful that "future cities" will be primarily skyscrapers when quite high densities can be achieved with buildings that don't go above five stories or so and are cheaper to build.
Artifacts – C'mon Wit Da Git Down

https://www.youtube.com/watch?v=XimyEvDJWzA
Why job punishes a sitting worker for standing momentarily within a shift? And what do you mean by one cruelty offsetting another?
There's a great deal of missing information in that accounting. With what they've provided, it's not clear that they need to pay TAs more.
If you don’t run an ASIC, your hash rate is so minuscule that it won’t matter (in the case of BTC).

Cost of an ASIC is around the same ballpark if not more.
Venus has very strong winds even at high altitude. I’m not sure that staying on the sunlit side is technically feasible.
This was a long time coming. I graduated in 2021, and while the UC Berkeley computer science program is still absolutely stellar, it was starting to collapse under its own weight. While it scaled admirably, there are limits. I TA’ed operating systems (CS162) my last two semesters, and the office hours queue would fill up immediately upon starting, and due to an ever-shrinking number of course staff due to budget limitations, we were never able to get to everyone who wanted help. We’re talking several hundred students with less than a dozen TAs. This situation was not uncommon across other courses. The absolute smallest non-graduate-level CS course I took had around 100-150 students.
Regardless of your feelings about tax dollars, I hate to break it to you, but the UC system hasn’t being subsidized by California in decades. Something like 15-20% comes from the state.

Maybe that’s part of the problem.
Human labor is making less and less money and , we need ways for common man to earn a basic living out of tech. If money is not the right way to earn equity then we should figure out how can we distribute equity better.

The tech world is controlled by just a fraction of the world population. we need to find a way the majority makes money , else the inequality just kills
I wish Julia moved away from using abstract types and concrete types and moved away from "inheritance", and instead decided to tackle traits full on. Traits in Julia are SO powerful but currently are hacky or third party enabled with weird odd syntax. The built in abstract type system should really just be deprecated in favor of a generic trait system, because otherwise people will learn that way of programming which is (imho) a less expressive way to represent the same problem.

What are the chances of that happening for Julia 2.0? It feels unlikely. Julia is SO close to being an objectively perfect programming language. With more and more things being compiled ahead of time, it'll replace all my needs for Go. I still might use Rust though :)
From the author's twitter, here are links to a download of the network and to a site that lets you view the network architecture as a flow chart: https://twitter.com/madebyollin/status/1566886407117107200?s...
Loab: The first cryptid of the latent space
After moving from Idaho (no liquor tax) to Washington (heavy liquor tax), the higher taxes certainly discourage my consumption, at least slightly
A zygote is most certainly independent of the mother in the sense that the child and the mother are distinct members of the species. The child is not a part of the mother, but an independent (distinct) entity. The mother and child are distinguishable by biologists, by information theorists, by Thomistic philosophers, and by nutritionists in the south of France.

The child is most certainly dependent on the mother in the sense that this distinct, independent member of the species Homo sapiens cannot survive without constant support from the environment (another living person) that the child finds themselves dependent on. They are, as you point out, inseparable. But even birth won't solve this problem. From a societal perspective, even adulthood won't solve this problem for 99.999% of the human race.
> But for SARS/MERS this was established relatively quickly.

And for HIV or took close to a decade, so let’s see where we are in 2030. The argument “we haven’t found it after 2 years so it must not exist” borders conspiracy theory.
The strange thing is I as a SWE interviewer generally find an engineering degree to not be indicative of engineering talent, over say, a masters in underwater basket weaving. I’m not sure dumping money into stem education does anything, or if any field of study is “proven productive.”
Not exactly though.

With POW you need to make a sizeable investment, and hope you'll get a good return eventually.

With POS you can keep your money and do it almost for free (as long as you run a node, not that big of a deal).

So exchanges will completely dominate staking, but they likely not even touch POW mining.