skysight-inc/HackerNews huggingface dataset:
IMO zoom is plenty good for that. What are you missing that you aren't getting from zooming with someone face to face at this point? I just don't get it. It's way easier to just schedule a zoom meeting and fire off an email with a link and share a screen, than it is for me to haul myself all the way to where someone else is sitting and take turns poking fingers at eachothers laptop screens in an awkward huddle, hoping we don't disturb others.
I know of no OSes that are resilient to CPU cores producing wrong results (or incorrect mem results: I consider ECC a lower level concern that is not part of the OS), whereas a lot of distributed consensus algorithms have this built into their requirements. EDIT: I have heard through the grapevine that something like this might be done for aerospace, but I have no personal experience with that.

I agree with parent. The major reason why programming on a single computer is easier than a distributed system is that we assume total resilience of various components that we cannot for a distributed system.

From the article:

> This offers hope that it is possible to some day abstract away the distributed nature of larger-scale systems.

To do this is not a question of software abstractions, but hardware resilience. If we have a network which we can reasonably assume to have 100% uptime and absolutely no corruption between all its components then we can program distributed systems as single computers.
> You also shouldn't treat exact floating point values as if they are approximate—floating point is not approximate, some floating point operations are (conditionally) approximate.

Depending on your domain, they usually are. Perhaps your floating point number represents a reading from a sensor which has much less precision than your floating point type.

It would be more correct to model all of your approximate variables with error bars (and perhaps even error distributions) but in practice, treating the closest floating point number as a point estimate and doing all your comparisons to within some reasonable tolerance may be an acceptable approach.
Is it a replacement for ansible-vault too? What are the advantages of a solution involving a server?
Levo-methamphetamine is a legal decongestant BTW
That $2M is basically "unopposed" though, because it's tough to organize well-funded coalitions against something that slightly affects a large number of people.
Just checking out the repo, is there a summary of whats new in V2? Recent releases have release notes, but the 2.0.0[1] didn't.

The phrase "build pack" is a bit loaded in the container space - currently that can refer to either Heroku's Buildpacks (v2a), Cloudfoundry's Buildpacks (v2b), or the new Cloud Native Buildpack[2] initiative (v3). Might be good to rename your feature there (or maybe integrate with CNB?) to reduce any confusion.

What do you use for your routing? Seems like haproxy (with some custom generated config), which I think is a great option, though maybe less so for configurability.

Overall seems pretty neat. Might be good to add screenshots of functionality to your docs to make it clearer what is supported/what isn't.

- [1] https://github.com/coollabsio/coolify/releases/tag/v2.0.0
- [2] https://buildpacks.io/
> we care about how bad...compared to Y amount of sugar intake

Microplastic pollution has an effect on the entire biosphere of the planet. It's just another factor contributing to the accelerating global extinction event we've set in motion.
I've used a couple of DBs written in Go before and they were great. Loved using InfluxDB it was robust and performant.
A1 headline right there. Not clickbait, but right to the point
I don’t believe just about any platform we have now is really sufficiently secure for secrets management. Just as a compromised browser plugin can do a lot of damage, so too can a compromised desktop application (including its dependencies). The industry as a whole is not in a great place when it comes to protecting the integrity of our machines, especially developer workstations.

(And yes I know you probably know this better than most as a Sandstorm dev :)
I have another problem with ==. I have some code that needs to know if two (nested) tuples of Any are equivalent. I'd like to test (tupleA == tupleB), but that doesn't work if NaN appears anywhere in tuples because (NaN != NaN).

This is because == is an overloaded concept. Python has chosen to define == in the way that makes the most mathematical sense in the case of NaN.

Maybe there's a metaprogramming way to override how == in interpreted for floats?

with float_equality_test( math.isclose):
assert (0.1 + 0.2) == 0.3

# This still allows (+0.0 == -0.0):
def my_float_eq( a :float, b :float) ->bool:
return (math.isnan( a) and math.isnan( b)) or (a == b)
with float_equality_test( my_float_eq):
assert (1, 2.0, math.nan) == (1, 2.0, math.nan)
I think in New Zealand (probably plenty of other places too), if you're a normal person earning a wage or salary and maybe some interest but nothing special going on, you don't need to file a tax return at all.

After all, a tax return is basically a means of correction at the end of the year. If everything is withheld correctly throughout the year, there is nothing to correct.
It is worth noting that all parties involved agreed to keep it secret, complicating the issue.

I wonder what the differences are between this and less extreme methods of maintaining anonymity.
Also Oregon will probably just ban autonomous vehicles in the name of protecting jobs, like they do with gas pumps.
Can you elaborate on how this "virtual worker" works in practice? I'd love to learn more.
>You should not generally be looking for exact equality of floating point values except in the case where you have a justified reason to believe that a floating point computation would arrive at an exact result.

I mean, yes, but there are plenty of cases where a result would be equal from an analytic perspective, but the implementation never realizes this due to floating point arithmetic.

>You also shouldn't treat exact floating point values as if they are approximate—floating point is not approximate, some floating point operations are (conditionally) approximate. A value of exactly 1.0, say from the result of min(1.0, f), is not going to arbitrarily change to a different value.

You're not wrong, but I think you also need to be careful here in how you communicate this. I've encountered plenty of situations where low-level details of floating point arithmetic mattered because it was only (in a sense) approximate, and I've even gotten non-deterministic behavior out of what should have been a deterministic program due to floating point issues.
A local e-tailer affiliate program. It’s was a tech blog in Portuguese, so the audience was a pretty much match.
He may be insured against defamation cases. My umbrella policy explicitly covers me is someone sues me for libel or slander
I want visually distinct colors!
Ask HN: How do you sell DIY hardware to non-DIY audience?
The issue with productivity timers is that it has to be manually started, The issue with getting immersed with work before a computer is that it easily leads to sedentary lifestyle; To address these two problems I made https://buttmover.com where the task timer gets automatically triggered when we sit on the chair and we're reminded to take a walk when it completes. The break timer begins automatically when we get up.

The Butt Trigger is a simple ESP8266 button-switch which is DIY as its just off the shelf parts, Because I cannot build it at scale due to my disability and even if I do, shipping such niche products from my country is a nightmare.

But my audience aren't necessarily DIY enthusiasts and so to address this my plan is to enable those who could build the Butt Tigger and list them as sellers for their region on Butt Mover(All profit from sale of Butt Trigger is theirs).

To make things easier, The firmware flashing and communication happens through Butt Mover website via web-serial and so they have nothing to do with the code.

But how do I go about finding such DIFO (Do It For Others) builders? Has anyone attempted such a strategy for selling DIY products? Is there a better alternative?
And the countries that did not create it don't have a tech industry. Look at Europe - how many tech success stories are there?
And thank god for that. Karl's video is ridiculously drawn out and should've been a tenth the length.
If it helps, substitute "flat earthers" for "QAnon".
> Early C++ was famous for code bloat and (apparently) hasn't shaken that outdated impression.

It's not an outdated impression. C++ generics can and do interact very poorly with inlining and other language features to cause extremely large binary sizes, especially if you do anything complex inside them. They also harm compilation performance since each copy of the generic code needs to be optimized.

Generics in C++ are reasonably efficient when there is relatively little code generated per generic, but when this is not true, they can be a problem.
> Dongarra led the field in persuading hardware vendors to optimize these methods, and software developers to target his open-source libraries in their work

I’ve got the gut feeling that this work might be 90% harder and longer than the whole math.

Also wondering how much work was indeed made within a team rather than particular contributions.
There are very fast DB written in Go so this comment is irrelevant, what is the equivalent of https://github.com/VictoriaMetrics/VictoriaMetrics in an other language?
They will lose their jobs and will have to find new sources of incomes.
Startup focusing on employee retention lands $1.9M from Valley, Triangle backers
Large programs require memory management.

Are you writing an application where Go's garbage collector will perform poorly relative to rolling your own memory management?

Maybe, those applications exist, but maybe not, it shouldn't be presumed.

I'm more open to the argument from definition, which might be what you mean by 'inherently': there isn't an RFC we can point to for interpreting what a systems language is, and it could be useful to have a consensus that manual memory management is a necessary property of anything we call a systems language.

No such consensus exists, and arguing that Go is a poor choice for $thing isn't a great way to establish whether it is or is not a systems language.

Go users certainly seem to think so, and it's not a molehill I wish to die upon.
Actually a lot of them didn't, hence the protests. Innovation can take away your job in a span of ten years while not creating new jobs for generations to come.
Sequoia backs Skiff, a privacy-first, end-to-end encrypted workspace
Why People Are Acting So Weird
Tanks can survive against cheap, shoulder-fired missiles
What an unfortunate name collision:

https://github.com/google/dagger

Is it some weird SEO niche-squatting technique? IMHO we see it happen way too often
Do you apply this logic to all companies not in the US? Do you worry that the American Honda Motor Company is a sleeper cell for Japanese state interests?
With copious sensor data and individual wheel control, I bet one could devise a more elegant solution.
Dokku maintainer here.

Dokku does scale past a single node - you can use our kubernetes or nomad plugin for that.

Regarding "it randomly go down multiple times", I am quite curious as to what the causes here were. Instance reboots cause containers to lose IP addresses (thats a docker limitation) and upgrades of Docker Engine do the same. Outside of that, unless your app crashed due to memory constraints or bugs in code, Dokku shouldn't really touch them. It merely starts containers and lets the docker daemon keep them up. If you have any info on the issues, I'd be happy to investigate.
> C and C++ dont really have package management to speak of

I hear this complaint often, but I consider it a feature of C. You end up with much less third party dependencies, and the libraries you do end up using have been battle tested for decades. I much prefer that to having to install hundreds of packages just to check if a number is even, like in JS.
Excited to announce!
I like the simplicity. No React or Angular, just vanilla javascript.
the concorde reference: https://www.math.uwaterloo.ca/tsp/concorde/DOC/index.html
Humans are the weakest link.

Either the human clicking, or the person who designed the system that allowed them to click.
> It takes like 5 minutes for most

Average tax preparation time in the US is 175 minutes.

> Tax filing really isn't painful in the U.S. for the vast majority of people

You're probably referring to the fact that 36% of people itemized deductions in 2007, and only 10% itemized in 2020.

But even taking the standard deduction, the process is still much more complex than it needs to be, and there are plenty of other factors that add additional complexity (e.g. gig work, home ownership, stock sales, etc.)
I've found Go to be much simpler than Rust, especially syntax wise. However, in Rust you can use the ? operator which propagates errors. In Go you have to check err != nil.
You can change time zones too. I went skiing recently and ran into some people who wfh in the east coast. They were living right in breckenridge for the season, working in the mornings, then by quitting time east coast time hit they still had a few hours every single day to go out and ski in mountain time.
In programming, in general, the single most valuable concept is the invariant.
If you get the chance, go read all of his (Derek Lowe) blog posts about things he refuses to work with. Highly entertaining read.
You don't even need to know how to use regex well. If you know what to look for, tools like regexr.com practically create the regex for you.

I have often found that the ability to identify : "hey I can use regex here", is more useful than actually knowing how to use regex.
The US is. NSF plus DOE Office of Science plus NIH is over 50 billion dollars, of which easily a third is going for training internationals PhDs and postdocs.
> Schmooey's actions are explainable purely as a way for an otherwise amazing competitor to get their "edge" by cheating "just a little".

Playing slower and then playing a sped-up video to pretend it is live is the epitome of cheating, not "just a little" cheating to get an "edge."

What's refreshing here is the fact that he seems not at all interested in attempting to rationalize his own behavior. The article says he refunded the bounties he collected. Someone who admits to this kind of public mistake like this has a good opportunity to come out the other side a better person.
> they definitely already have this for tractors / farming

As in, a significant % of tractors are without human drivers, or as in, a significant % of tractors with human drivers have GPS-based assistance?

I live in a rural area and see several dozens of tractors every day, and FWIW, I've never seen a tractor without a human driver. Yet.
> I expect the number of cars on the road to go way up because suddenly so many more people can use a car.

With autonomous vehicle adoption, we may see the concept of blockchain "gas" (fees paid with rates based on real-time demand) come full circle as a real-time congestion tax.
One approach that resonates with me is to use the NVC (non-violent communication) framework.

How to express and receive gratitude with NVC:
https://www.youtube.com/watch?v=Smyc5vF6q-M

Marshall talks about jackals and giraffes. In a nutshell, jackal language is what we all use everyday. Giraffe language is the language he is proposing we use to enable human connection.

The full talk on NVC is here:
https://www.youtube.com/watch?v=l7TONauJGfc
My assumption has always been: people know pseudoephedrine works, so that's what they want to buy, but you can no longer sell pseudoephedrine over the counter. However, you can offer phenylephrine, which still lets you reasonably name the drug "Sudafed PE" or whatever. Customer browses the shelves, sees "PE" in the drug name, this triggers a vague impression that it contains pseudoephedrine and thus will actually work well.
You're forgetting VictoriaMetrics that's presumably the best choice for Prometheus long term storage.

Such a solid solution exists and yet another competitor? Not sure why they didn't just buy VictoriaMetrics and possibly rebrand it.
Definitely not. In the general case, you will make things simpler and faster by turning reflection-based code into generic code.

What this article says is that a function that is generic on an interface introduces a tiny bit of reflection (as little as is necessary to figure out if a type conforms to an interface and get an itab out of it), and that tiny bit of reflection is quite expensive. This means two things.

One, if you're not in a position where you're worried about what does or does not get devirtualized and inlined, this isn't a problem for you. If you're using reflection at all, this definitely doesn't apply to you.

Two, reflection is crazy expensive, and the whole point of the article is that the introduction of that tiny bit of reflection can make function calls literally twice as slow. If you are in a position where you care about the performance of function calls, you're never really going to improve upon the situation by piling on even more reflection.
Isn't manual TOTP MFA (using codes generated by Google Authenticator or similar) significantly more secure than those MFA prompts? I don't understand the push for MFA prompts when the previous technology worked just fine and was probably more secure. What's the benefit to MFA prompts other than slightly better UX?
so he cheats at a guitar video game and all of a sudden he isn't chill or cool to hang out with... i mean, ok.
I admit I don't have a lot to compare between, but my company switched from Rackspace mail a couple years ago because of the unrelenting spam and seemingly no way to stop it. I suggested Google because I hardly ever see any spam there in my personal account, so we made the switch.

The difference is night and day. I can look in the spam folder for my work email now and there are hundreds of spam messages there for the last 30 days, and absolutely zero false positives. I have seen a handful of spam messages come through, but it's in the single digits over the last two years.
jeez. thanks for letting me know. i will take a look.
Exactly, I’m surprised this would gain traction. UUIDs are much smaller when packed into bytes.

Notion seems to use UUIDs without hyphens in their links, and it works just fine.
What strikes me, is that everything you listed is under the "Lindy Effect", if it has been around for 30 years, you can expect to be around for the next 30 years.

Among those, I can also recommend:
Relational Databases.
Unix tools for text manipulation, like awk, grep, and sed.
Make.
Architecture patterns.
Scala and scalable always gets me.
Correct, it's pretty great and by design immune to Google-like rug pulls.
The remaining 5% are almost all situations where I take over because I’m underestimating what the car is capable of.

For instance: I don’t like how close it drives to the curb. I don’t drive close to the curb (and bias towards the center of a road) because I only have two eyes, and can’t really see the curb as I’m moving. I have an intuitive sense of how close I am, but that’s it.

The car knows exactly how close I am. So it driving in the center of a lame, while it makes me nervous because it’s now how I drive, is perfectly acceptable.

What I wish Tesla would do: set up some closed courses for people to come and experience what FSD is actually capable of. It would help the current FSD users gain confidence in the system, and it would show it off to people who haven’t ever experienced it.

I seriously don’t believe that most of the people who are critical of this thing have spent much time with it. I’ll admit after the first day or so I was skeptical too, in the same way I was skeptical of lane keeping and proximity aware cruise control.

But at this point: I hate driving without these things. They are an almost indescribable upgrade to the driving experience for me.
How can you be certain to say that Americans don't want that. Both parties ( considering political parties are representative of public opinion) are pro immigration during the elections. Post elections, they simply change their stance.
i wonder when cloud services will have fully migrated to serverless and we can finally do away with the datacenters once and for all.
I usually like to read both sides of the editorial lines and as for CBC, both English and French sides as they don't always carry the same news.
Huge Highway Crash in Schuylkill County, Pennsylvania
I basically use vimwiki and a todo list.
What will happen:
- Truckers will go out of work in very large quantities.
- They will go into other trades.
- Many won't. Crime may go up if we don't figure out how to create more jobs for the type of people who chose trucking.
Sometimes inaction can be a form of paralysis, so I like the OODA loop concept for acting based on your best information then re-evaluating as new information comes in.

https://www.techtarget.com/searchcio/definition/OODA-loop
The function combination is too dystopian. The more I think about it, the more bizarre "luxury headphones with noise cancellation and air purification" seems.
There are no true zero cost abstractions under all situations. In the general case they make things faster, but I've personally made C++ code faster by un templating code to relieve I$ pressure, and also allow the compiler to make smarter optimizations when it has less code to deal with. The optimizer passes practically have a finite window they can look at because of the complexity class of a lot of optimizer algorithms.
I think this was my favorite talk at LP 2022. Super interesting to hear about what works and what doesn’t with so many technical constraints.
Its even worse when you have a zoom call with some people in a meeting room on one line, and other people connecting on another line. The people in the meeting room basically have their own discussions since the people on zoom can't get too many words in due to being talked over. Then usually the audio or video is terrible in the meeting room and if you are on the zoom call you can only hear who is standing closest to the AV equipment.
Yes. Actually professional photographic equipment doesn't get obsolete. Lenses are expensive and making them forward and backward compatible makes sure the user stays inside the ecosystem. Also, you want higher end bodies to be dependable, so you don't obsolete them, but supersede them with better capabilities.

I can take my old D70s today and take beautiful photos, even with it's 6MP sensor, however a newer body would be much more flexible.
Thanks for mentioning that use case of a footer with page numbers. I can understand how a RegEx would be powerful there.
The updated version of the law would restrict this only to R1/R2 US universities. No foreign university, even Cambridge/Oxford would be eligible.

See https://foreignaffairs.house.gov/index.cfm?a=Files.Serve&Fil... Page 218, lines 3 to 9:

QUALIFYING INSTITUTIONS .—The term ‘‘qualifying institutions’’ means institutions of higher education that are classified as either very-high research intensive (R1) or high research intensive (R2) status universities by the Carnegie Classification of Academic Institutions.
Thanks for pointing out the author, the headline is not news to me and I would have passed on reading it.
https://skiff.org/blog/series-a
If you read the article, you’ll understand it’s about our computers being networks of smaller computers. The SSD, GPU, NIC, and BMC has its own CPU, memory, and operating system.
Patrick's Parabox
The point here is that apps can be written to be both responsive and functional. They just aren’t, because devs don’t bother.
I hate Google Play. I have been insulted in public chats by Google staff insinuating that I tried to go around Google Play rules when fact is that I have tried to solve the demands Google Play puts in the first place when they removed the apps.

Good luck fighting this as a small company.