skysight-inc/HackerNews huggingface dataset:
I am often faced with a dilemma when trying to decide whether to vote on a particular post or comment. There are times when it is very informative, well written, and you can tell a lot of thought went into it; but I happen to disagree with the author's point of view. The same occurs when I agree with the author's sentiment, but the comment itself is poorly written and not well argued.

There is only a single up/down vote. You can't upvote a thoughtful comment for its quality, while also downvoting its conclusion. Sometimes I have strong opinions about something; but I also try to educate myself with the other side of the issue by reading thoughtful articles and/or comments from people with different points of view.

It would be nice if you could choose between two different 'modes' in the interface. One where the highest quality comments are near the top. The other where the most popular viewpoints are prioritized.
I think you’re speaking too broadly and applying it to all of Americans. America has the capacity for shocking levels of poverty and economic entrapment.

Additionally, just from a cursory google, it looks like addiction is also on an alarming rise in Bangladesh, especially in the youth. I don’t see evidence addiction is isolated to “the West”.
Never Give Money to Charity
Are bike manufacturers going to pay for bike lanes? Or is it going to be a regressive transfer?

What about Big Walking Shoe, are they going to pay for these sidewalks or are we going to continue to subsidize their profits?
Those people want the capsule hotel in some other city - or at least on the other side of their city.
> Ideally I can build some giant container of sand with some cinderblock, run some copper through the sand, and heat both using the wood being burned. Then, I could pump water through the copper which is being passively heated from the sand into my existing hot water baseboard, but it's unlikely to be hot enough - oh well.

Is that a similar idea to the sand battery in Finland? It was on HN last year.

https://news.ycombinator.com/item?id=32006791
FWIW, I just had a heat pump installed, and the installer brazed all copper fittings. Are flared fittings often used for these installs?
That's basically what these cars do in SF, apparently. They get themselves into a situation with no way to figure out a way forward and they shut down.
> Back to reality: such effects smell like trickle down economics to me

These feel like scaling down costs rather than trickle down economics. Almost every home good or vehicle, electronic devices, computer parts were super expensive when they came out. The initial presumably rich people fund the factories that eventually mass produced them by buying these super expensive goods which lowered the prices to where the middle class can afford them. It also allows companies to iron out initial issues with production and usability before mass producing items.

Government subsidies and incentives drive this process faster and make it more likely to not die out by trying to ensure that the companies can survive when upfront costs are very high before the first few goods can even ship to the few people that can afford them. Trickle down economics is something quite different.
I was going to write an agreeing comment but I've changed my mind. My wife avoided soft cheese during pregnancy for the listeria risk. I've looked at the numbers for where we live and it seems there's no real evidence of risk at all: the % of cases over 20 years has remained stable despite food safety messaging.

However, my wife yakked up pretty much everything during pregnancy. She had such awful morning sickness that she couldn't really operate properly. So 9 months of constricted eating isn't a big deal on top of that.

Risk aversion with your kids is just a natural reaction. Some take it further than others. I would say we've taken it too far as a society but maybe we've just focused on the wrong risks, ie we kept them indoors and then social media made them sad.
CBC won't show low ferritin. You can feel awful if your hemoglobin is OK but your ferritin is low.
No, it's not a good argument for that. Hell yes my ownership of my house deprives others of access to it. Obviously. That's by design and absolutely how things are supposed to be. And you'd have to be a literal communist to believe otherwise. People cannot have my house because I'm living in it, and my family will get my house in the future when I die because they will also be living in it.

Because land is real property. Unlike the made up BS that is intellectual property which is just like trying to own numbers.
You’re not wrong on the facts, but if you’re implying that we should not feel good about this story, I disagree.

One crab has managed to climb out of the bucket. The rest of us should celebrate for a minute and then redouble our efforts to get everyone to the same place, leveraging the lessons he’s passed on. Upwards!
The real world performance is with one of the units malfunctioning for weeks.
This makes sense for straightforward tests, but static_assert is not all you need in general, because some things has be executed in runtime, after series of steps or after some timeframe. Good luck reproducing or testing these in compile-time.
Thanks, I wasn’t aware. Although that seems to be restricted to core language UB and not include standard-library UB: https://stackoverflow.com/a/72494688/623763
Language is really the ideal use case, you cannot stop and look up words every few seconds when talking to someone. And doing it while reading or watching TV spoils the enjoyment somewhat. You need to frontload a ton of data into your mind and flashcards are the best way to do it.

Another good use case is country flags, because you can't easily look those up (other than pulling up an image of ALL the country flags)
Ah, the great American tradition of having the public play guinea pigs for those looking to make money.
The Isabelle/HOL theorem prover assigns 0 to x/0 for all x, without contradiction.
You are talking about exporting app more precisely, which outputs a bunch of HTML files (vs using SSG for only some pages).
You can keep the Image tag around very easily, there is an option to treat it as normal img tag, so no it doesn't block exporting, and I've tested it to confirm. Use an environment variable to enable or disable exporting.
Edit to add reference: https://nextjs.org/docs/api-reference/next/image#unoptimized
All of that and also a lack of a compelling mass market story. I bought a couple of them and enjoyed playing with them, but they weren’t better-enough to change my habits.
> interestingly, scores in spatial reasoning went up

Wild guess: video games. More Americans play or used to play video games than ever. And 3D games require players to understand an environment to navigate it.
I’ve been using this technique as well, but I found that debugging static_asserts is quite hard. I often fall back to calling the failing test at runtime and stepping through. Any suggestions for a different workflow?
I wouldn't really call it changing consciousness but rather just escapism. A lot of people will do drugs because they are trying to escape their lives. Once addicted they are then trying to escape withdrawal.
> There’s people creating drugs that turn people into zombies

Because there is no safe, above-ground supply chain for those drugs with actual quality control and penalties for contaminated supply.

> there’s people taking drugs where they don’t even know what’s in the drugs

It's not like those addicts have a choice of walking into a pharmacy and being able to buy a safe drug manufactured by a reputable pharma company with a datasheet of exactly what's in it.

Both of these problems are caused by the stupid "war on drugs".
Because you can just hire the CEO to take the blame and continue running the company from another position. Unlike with lawyers, engineers and auditors this arrangement would be much hard to prove.

Also CEO are liable when they engage in criminal behavior just like everyone else.

And where are talking about auditors there are very specific and procedures which define they duties and responsibilities. How could you replicate that for CEOs?

> I really dislike this attitude

I'm just trying to be rational...
>Some day a a mere mortal might be able to play a facsimile of a dozen slightly-different hand-made Dumbles.

Fractal's AxeFx has been able to do that for a long time. It has a couple different Dumbles and you can tweak the modeled circuitry in a myriad of ways because it is not a profiler, but rather it models the audio impact of each component that makes up the amp.
You've failed to show how that 'shift' leads to them no longer serving that function. Besides elitist "they now provide things I don't deem to be of a certain quality" that is. Your post just falls into a long list of "things were better in the past" rants. All of them bullshit.
Yes, I'm using for language learning. Usually via tool `https://github.com/sigoden/aichat` with different roles that I've created. For example for grammar ChatGPT generates bunch of examples for specific grammar rules, which I memorize.
Ah yes I can see that it makes sense.

But I guess I was under the impression what was meant was a small area of southern Spain and its language was more heavily affected that loanwords. Perhaps structure too not just using words for items that didn't exist in the Old World.
didn't say federal income tax. I said tax. Federal, state, municipality taxes. Now adding other things like rent tax etc.. Your steak is now 50% more expensive. If not more
Ask yourself if the cost of having to look it up at a potentially inconvenient time (e.g. in the middle of a busy work day) is greater than the cost of memorizing it during scheduled less busy times (e.g. doing flashcards while eating dinner or during a bus commute).
Gwern's classic monograph[1] addresses this:

>The most difficult task, beyond that of just persisting until the benefits become clear, is deciding what’s valuable enough to add in. In a 3 year period, one can expect to spend “30–40 seconds” on any given item. The long run theoretical predictions are a little hairier. Given a single item, the formula for daily time spent on it is Time = 1⁄500 × nthYear−1.5 + 1⁄30000. During our 20th year, we would spend t = 1⁄500 × 20−1.5 + 1⁄3000, or 3.557e-4 minutes a day. This is the average daily time, so to recover the annual time spent, we simply multiply by 365. Suppose we were interested in how much time a flashcard would cost us over 20 years. The average daily time changes every year (the graph looks like an exponential decay, remember), so we have to run the formula for each year and sum them all; in Haskell:

sum $ map (\year -> ((1/500 * year**(-(1.5))) + 1/30000) * 365.25) [1..20]
# 1.8291

>Which evaluates to 1.8 minutes. (This may seem too small, but one doesn’t spend much time in the first year and the time drops off quickly55.) Anki user muflax’s statistics put his per-card time at 71s, for example. But maybe Piotr Woźniak was being optimistic or we’re bad at writing flashcards, so we’ll double it to 5 minutes. That’s our key rule of thumb that lets us decide what to learn and what to forget: if, over your lifetime, you will spend more than 5 minutes looking something up or will lose more than 5 minutes as a result of not knowing something, then it’s worthwhile to memorize it with spaced repetition. 5 minutes is the line that divides trivia from useful data.56

[1] https://gwern.net/spaced-repetition
I recommend the one I usually read: https://www.ratherlabs.com/blog
Sorry for the late response.

Do you check every setting on your phone/tv/pc after you boot it up? It seems very impractical to me.

As a user, I assume that unless I explicitly changed something, my setup remains the same. I used to be able to trust that manufacturers won't try anything too stupid, but at that time the cost in performance, gear and PR was sufficient and incentive to sell information on you was not as prevalent.
>a personal AI assistant to act as a second brain, and help me prioritize and remember things with human intuition

Everyone wants this, but this is not the product.

The current AI offerings are information in --> information out.

It is not meant to keep state long term, and it is not meant to be your friend. It is meant to answer questions with the information available to it.

You can even see in the example screenshot they showcase the fact that it is not designed to be asked follow-up questions.
The market can never be big enough for plumbers to absorb even a tiny bit of knowledge workers. There is not enough plumbing to be done. Also if a lot of people do try to become plumbers, the wages will plummet similar to other jobs where availability of labour is high. Your statement will hold true if 2x more people wanted to enter plumbing, not 20x or 200x.
The fan of a furnace takes little power. It can be run off of a small generator, which ~every homeowner in New England has.

A heat pump cannot run off a small generator.
Dueling over Platforms
My deck has 10,000 hand-made cards and I know for sure they stick in my brain easier than cards from a premade deck that I have no connection with. I suspect it depends how you make the deck. I intentionally use sentences and images that I care about.

It only matters for the first few reviews though, even a premade card can be forced into my mind with enough effort.
GPT4 is so much better than 3.5 at virtually everything that I don't think it's worth trying to figure out which ones 3.5 is almost adequate enough for.

Also, the pricing is per token, so even with 4 it is close to negligible unless you are loading in a lot of context or your conversation gets very long.
I was personally somewhat hoping the boot-time portion in this article somehow hijacked a UEFI runtime services[1] function called by the OS to draw to the frame buffer set up by the firmware, since this has some provisions for the OS being in charge of the MMU:

> An OS may choose to execute in a virtual addressing mode and, as a result, may prefer to call firmware services provided by UEFI Runtime Drivers in a virtual addressing mode. A UEFI Runtime Driver must not make any assumptions about the type of operating system to be booted, so the driver must always be able to switch from using physical addresses to using virtual addresses if the operating system calls SetVirtualAddressMap().

Disappointingly, it's just a 'plain' case of SMM (which is also, funnily, the main target for ACPI callouts to more 'complex' methods, and on ARM has the very fun equivalent called 'SMC/HVC callouts to EL3/EL2 firmware' although that's supposedly a bit better-defined than Intel SMM) and nothing too clever either - an ACPI method hijacking something to then write to the framebuffer?

Other than that, the writing style here feels almost.. presumptuous and might've been written for the original audience on the site it's posted on, for example I was left wondering things like 'if the author or their friends have access to a machine with this software on it, why don't they dump the firmware flash storage and decompile the actual images, wherever they might be', though it may be they indeed didn't have access to any such hardware or firmware downloads and are just piecing random puzzle parts together, and the post eventually devolved into a general rant against OEM cleverness that I somewhat skipped.

(I'm also mildly torn between 'wow, clever hack' and 'oh lord this would be terrible to diagnose OS boot issues on as you really can't trust OEMs with side effects or long-term maintenance' in this regard)

[1]: https://edk2-docs.gitbook.io/edk-ii-uefi-driver-writer-s-gui...
Basically trying to do exactly the same thing, do you have any recommendations on decks or are you maintaining your own?
I am not as well-versed in the specifics of ARM's TrustZone as I am with Intel CSME and AMD ST, but I understand many of the people uncomfortable with the latter two are uncomfortable with the former as well. I do not believe it comes with the same capabilities as CSME or ST (PSP), but I do know that earlier versions of PSP were implemented using an ARM TrustZone core. That said, I need to do a lot more reading and research on it before forming more substantial positions on it.
Everybody I know is keeping their M1 because it's so good they just don't have any reason to upgrade to M2 or M3. I expect my M1 to last at least another 5 years (as opposed to my previous schedule of new computer every 2-3 years).
What a great example of how not to respond to your partner. Gross.
twitter doesn't exactly have a stellar UX as well, to the point that 3rd party websites are used just to read threads...
Probably this one : Augmenting Long-term Memory http://augmentingcognition.com/ltm.html
I'm not a pilot, but from my understanding, small Cesna type planes haven't changed much over the last few decades. Contrast with the rapid churn of front end development.
Inside Google's Plan to Kill the Cookie
They say scores in spatial reasoning went up while analogies, vocabulary, and numerical reasoning declined.

Hmmm I wonder if an increase use of videogames paired with a decrease in the amount of time parents can spend communicating with their children might be related.

Note that over the last 30 years it's vastly transitioned from one parent staying home raising children to both parents working.
> I think women like the author, who are frustrated by how their lives are constricted by pregnancy, should own the very large degree to which they are doing this to themselves. If they want to change it, they need to start with what's going on in their own heads.

> The extreme risk aversion some mothers exhibit, and the way it constricts their lives, emphatically does not end at birth, and after birth it begins to constrict the child's freedom as well.

The argument being made is that risk aversion didn't develop on its own. Women have been bombarded for decades with guilt/panic inducing guidelines, based on studies which often don't/can't go deeper than corellation of data. A whole industry profits from the situation.

Yet, you propose as a "solution" that individual pregnant women should personally stand against these imposed norms, ignore the scoff of their social circle and society, and risk living their life with guilt if things turn the wrong way? This is borderline victim blaming.
Microsoft finally fixes 5 year old Windows Defender bug on Mozilla Firefox
(I'm a front end engineer at Culture Amp, and have been involved in hiring)

Perhaps the wording in the blog post is too strong, because people in this thread seem to be interpreting it as a hard rule. The wording was:

> When someone tells us in an interview they’re excited about working here because they like functional programming (say), we count that as an indication they might not be a good fit.

When we do interviewers each person fills out a scorecard for the candidate with several criteria: things like technical skills, communication, UX thinking, interest in the company product/mission, etc.

Under "technical skills" I would usually have counted interest in Elm as a positive, as long as they weren't expecting to only write it. As I mentioned elsewhere in the thread, they'd also be likely to be contributing to Ruby on Rails codebases... so they better be open to, and maybe even excited by, different paradigms, because that's going to be part of the job.
Agree. We very much should be happy for him. And thankful that open source granted him access to understanding these machines.

And in addition to that, it would be great if we could improve access for people who are less fortunate.
0.99*10 = 90%. Why do you need to work just to keep your wealth at the same level? Isn't that a big red flag?
I believe you but that’s kind of mind blowing. How do they avoid the seemingly-obvious corollary that 0*0 = X, for all values of X? That is, just multiplying both sides of “x/0 = 0” by zero.
https://en.wikipedia.org/wiki/Multiple_time_dimensions#Physi...

https://arxiv.org/abs/hep-th/9109030
"_____ is not defined anywhere in math"

is a kind of sentence that is almost never true, and even if it were, it would be impossible to prove that someone hadn't jotted a valid definition on a napkin somewhere. In this case it is certainly not true (as others have mentioned: https://en.wikipedia.org/wiki/Riemann_sphere ). Now, specifying a definition for division by zero does require you to be careful about how the other operations extend to this new number, but there are perfectly consistent (and useful!) ways to do so.
They should. At least here they do. I know this is how we detected my mom's hemochromatosis.
CIA appears to have wiretapped South Korea’s National Security Office
Constexpr at compile times gives that guarantee, not constexpr in general. Hence static assert to force comptime evaluation
I'm 20 and I have already grey hair.
Square roots of negative numbers came up when solving cubic equations, even if the final solutions were all real. This meant the square root of a negative number was not something nonsensical the way you might claim for x^2 = -1, but actually...real in some sense.
I hope there’s also some text in the standard prohibiting implementations from allowing any other expressions as a constant expression (which they otherwise could as a language extension), and thus requires compilation failure for such expressions?
Do you have any more specific information? I'm not finding any controversy about it. 42 of 48 states ratified it, so even if one or two got overturned it wouldn't make a difference. Which states are contested and why? Which court case concerned it?
Brownberger seems to miss the key fact that you can't run a gas heating system on renewable energy.

Just as in switching to an EV isn't going to make things significantly better, switching your heating to heat pump isn't either:

Some basic tips from a fellow Bay Stater:

1. Any new or replacement mechanicals should be use heat pumps (water heater too)

2. Make sure your house is well-insulated to get the best bang for the buck

3. The grid has the ability to use greener energy as time goes on, and you can also opt in to renewable suppliers (in MA, at least)

4. Add a solar array and with net metering it becomes a no brainer.
> What if the government can get better capability out of a SaaS product paid for by private capital than they can out of something they build themselves?

That’s fine as long as the parts developed and paid for with taxes are open sourced.

> Are we saying government's should just be locked into single-build custom software for all eternity?

Not sure I follow. There’s no reason why software cannot be developed and supported by multiple for-profit entities. As long as the output is open source.

> A single piece of software can be used by multiple different governments... In which case no one government has "paid for it".

As a taxpayer, that’s not my problem. It is the problem of company behind the software.

> In that scenario, how is a government any different to any other B2B customer?

It’s different because the money the government operates on comes from taxes.

The government should put the money back in the local economy and finance the development of the open source software. I understand that this is a very loaded statement.
I think my comment has been read as being "pro self-driving", whereas I intended it to be anti.

Self-driving cars have already killed many more people than 1/100mill -- it's about 1 in 1 mil iirc.

My comment was to frame the saftey of driving in the relevant units: amount of driving. When scaled by the right factor, "human driving" is incredibly safe by comparison.
I love vite-plugin-ssr. Thanks for making it.
I highly recommend this article: https://www.ratherlabs.com/post/how-to-make-the-perfect-pitc...

It answers your question and also gives interesting ideas if you want to start your startup!
I've used this for both a print server and for pi-hole. It's lightweight and I love the ease of setup/configuration/updating. Really enjoy the TUI interface
Coursera, Team Treehouse, YouTube.