skysight-inc/HackerNews huggingface dataset:
> Probably "one" and "six"

You missed infinitely many numbers between those two. For example "one thousand" and "one dot/comma three".

Once you've worked that all out, can you now tell me which natural number you assigned to "six" in your lexicographical order?

Edit: Ah. Took me a moment to realize you are ordering by number of characters first.

> They are uncountable because we accept the view that there can be real numbers that are not and cannot be expressible in language, which is a platonist view that is open to philosophical critique.

So similar to R \ Q? Or the same?
Going back through history to find where a bug was introduced usually happens on the commit level (e.g. git-bisect only operates on commits, naturally). Once you find the commit that introduced the bug in question, it will be immensely easier to hunt down the bug within the commit if the commit is 10 or 50 lines long instead of 500 or 1000.
Enzyme-Based Plastics Recycling More Efficient, Better for Environment
Carl Sagan in 1978: Star Wars Is Too White
> the secret suffering

You packed a lot of insight and wisdom into your comment.

Regarding secret suffering, I know someone who is so good at it that they make it easy to forget on a conscious level that they suffer from depression. It's insidious.

The past year or so has really illuminated the "it doesn't matter until it affects me personally mentality (or I don't understand it until it does)." Seems like that can be applied to depression. I posit lack of understanding about depression is exacerbated about our nascent understanding of how our minds even work. Combined this makes me think we, as a species, are not very educated about depression.

What do you think and/or what do you think we could do better so we don't continue to have an "absolute incomprehension, the continued downplaying of issues like depression"?
And making it clear that the PC platform is still alive and thriving from being free.
Greg Bear's novels Forge of God (1987) and Anvil of Stars (1993) explore the same idea. They feel a little dated now but the first one in particular is still well worth a read imo.
Sure. But the way you framed it makes it sound as if the legislation is a net bad thing. But when I get a GDPR block warning I’m actually happy because it means that company can’t operate without mishandling or selling my data. — sure the cost for them is higher, but it’s not unreasonable. I think a lot of people unduly criticise the GDPR because there is an industry building that requires fear mongering to get its way.
The US would block that acquisition. No way they'd let Intel go to a foreign country.
>And if we suggested ten years ago that your burgers would be plant-based

Ten years ago? I'll still say it now and in 50 years.
What makes the dark forest hypothesis not so conving to me is that it has the presupposition that it is indeed possible to hide. An advanced civilization close to us that is surveying the sky for signs of life would have very likely identified earth as a very promissing candidate due to the presence of methane and oxygen in its atmosphere at the same time. So our star system would have long been under surveillance, before we had the chance to develop a technology that would reliable disguise our presence.

If such a technology is possible at all, only the very first advanced civilization had the ability to hide from all others. And only if they were able to develop it before any other civilization had been able to track them.

To some extent it might nevertheless be a reasonable strategy to keep as quiet as possible. But this strategy is less and less useful for the latecomers. If they were already tracked by a multitude of other advanced civilization they would hardly benefit from keeping quiet. Unless they (wrongly) think that they are an early advanced civilization.

However, if a couple of these civilizations start to openly seek contact to others, what can the hidden ones do? If a hidden civilization starts to fight one of these latecomers, it would need to leave its cover and make itself known to all other civilizations in its vicinity. If it follows the dark forst hypothesis, it could only do so, when it is sure that it is the only dangerous civilization in its forest.

This leaves me with the following alternatives:

- The forest is dark, because there is only one civilization out there that is very capable in hiding and has the ability to exterminate any latecomer efficiently and without traces.

- The forest appears dark, because it is thinly populated and we just have not looked enough for the others.

- We are the only ones in our cosmic vicinity.
>people were struggling just to get Smalltalk to perform at reasonable speeds on microcomputer class hardware

I've heard this before, but it confuses me as apparently the majority of the systems at Xerox Parc (Window manager, word processor, etc. ) were written in Smalltalk. So how could these sophisticated GUI apps perform there but not on other platforms, was the hardware really so different?
Insulin has no patents anymore though. But making insulin reliably at the right quality is no easy feat. Thats why you dont have millions of insulin suppliers worldwide.
yeah once i started doing the trick for 3's the whole thing got boringly easy
They became cost effective in a few years. The average price per integrated circuit dropped from $50 in 1962 to $2 in 1967. By then Moore's Law was established. At the end of the decade we had hundreds of transistors on a chip. At the early 70s we already had general-purpose microprocessors with thousands of transistors.

Quantum computing is being researched since the 1980s without a theoretical understanding whether they can be built at a practical scale.
Unit Tests don’t count against the byte limit. ;-)
I have a theory that intelligence isn't particularly rare however the rate of development may be.
It has long been alluded to in Sci-Fi that humanity's rate of development is fast (Humans vs Vulcans, Halo universe, etc).
I imagine that one of the great barriers is that a civilisation with a lower rate of development may stuck in an industrial type era unable to progress before doing irreparable damage to their environment/eco-structure.
Does anyone know if this theory has a name?
Good point. I think the rust hype threw me off incase it's going to replace C++ but I do agree with GP in that it's probably going to be more like a C/C++ split.

This post has convinced me to look at C++ again. Last time I used it I got put off by the lack of dependency manager so linking things like Boost sucked. Any tips on a modern tool chain?
>because it assumes that projecting power over interstellar distances is easier than defending yourself

This seems really obviously true to me. Accelerating a rock to relativistic speeds is pretty easy, defending against a rock potentially coming from anywhere in space traveling at relativistic speeds is extremely difficult.
Supposedly the factorization of 15 is controversial. It is claimed that the process implicitly assumed the correct result.

Not even a single logical qubit has been achieved to date, even with error correction, so it might be a bit soon to talk of factoring anything.
Depends where.
Highly unlikely. Because the Steam Deck is not a mobile gaming device in the classical sense. And they definitely want to make HL3 accessible to regular PCs as well.
Businesses provide the means to the ends people desire.

At heart, people (in general) don't desire leaded gasoline. People desire smooth engine operation. There's nothing wrong with that desire.

Companies see that desire and substitute a solution that seem cheap only because the costs are external: leaded gasoline. That is a problematic means to an innocent end.

This is how business in general operates: it sees an innocent desire, comes up with a concrete solution, and sometimes that solution has great external costs attached to it, but business proceeds to ignore that.

In all of that process, the external costs are very rarely attached to the desire, and almost always specific to the solution provided by the business.
Why social media design makes it hard to have constructive disagreements online
Did they mention in what way it's not as good?
If you allow yourself the infinite set of the natural numbers, you can pretty easily get an infinite set of sets. For instance, for every natural N, take the set of naturals less than N. Or greater than N, if you'd like an infinite set of infinite sets.

As the article notes, these particular infinite families are easy to produce a choice function for: just take the least element of each set. But not all infinite families have enough determined structure for that kind of rule.

If we tried to make it impossible to construct an infinite family of sets, we'd have to disallow relatively reasonable families like the ones I described above. Those are pretty useful, though, so it makes sense to address the problem further downstream.

(I suppose another avenue is to try to isolate the features that make the above families "reasonable" and others unreasonable, so that only reasonable families can be constructed. That seems somewhat fraught, though.)
Even if it was 'unwanted stuff' - the alternative would be that Canada sells the vaccines to other countries? Or would you prefer it if Canada would destroy the vaccines?
This isn’t going to produce any insulin. You need equipment and a sterile fill line.
I have been working on many mobile apps that would share a C++ model between iOS and Android, and use platform-specific code for views.
I was really excited for a moment, because I thought this was cjdns https://github.com/cjdelisle/cjdns.
Oh, of course. Lisp is maybe a more natural analogue.

I guess Clojure takes things a step further. It goes from "everything is a list" to something slightly broader with Vectors/Maps/Sets/etc. - all through language primitives. (the algorithmic layer is cleverly done through the sequence abstraction)

Coming from C++, in effect having your STL containers/algos baked into the language is a breath of fresh air :)
If you can find a way to take a representative sample of their stores, you can front-run their quarterly earnings report and make a guaranteed profit off them.
There still are trailers which, even though they still are unasked for advertising, don’t annoy me much (except for the occasional pseudo-horror gruesome jump-scare movie trailer now and then. Seriously, being at a showing of a movie for people over 13 doesn’t mean we want to deal with that).

But there’s also, before those, ~20 minutes of "regular" ads. Ads for M&Ms. Ads for cars. Ads for some pseudo-luxury perfumes. Ads, ads, ads… even ads for the company that places the ads in movie theatres!
I sincerely doubt the US Government would allow such an acquisition. The only way I could see it happening would be a monumental failure of communication between DoD and the FTC. DoD absolutely requires a source of chips designed and fabbed on US soil. As long as they are aware of anything going on, they'll fight tooth-and-nail to keep Intel independent.

This is such a big deal that it presents problems for vendors working on even completely open, non-sensitive systems. Like my company. We are a foreign language instruction company that serves primarily DoD. Some of our customers are being super reluctant to approve a specific project of ours because it is nearly impossible to buy appropriate hardware that is not manufactured in China. We have to settle for a hardware vendor that is not our favorite choice because at least the design company is US owned.

It's not technically correct. It should be fine to use these systems for non-sensitive purposes, but you try negotiating a contract with a CO who won't explain themselves/refuses to clarify with his own command that this is OK.
I switched to C# after a decade of writing C++. My productivity went up and bug count went down. The main thing I found was when looking at any particular problem I need to spend less of my mental energy reasoning about the language so can spend more on the problem at hand.

Also it seemed no matter how well I learned the language there was always something there to trip me up.

Faster build times help as well (one project went from 10 minutes to less than one whilst increasing the feature count).

I still write some C++ but only if I can't avoid it.
EOS related project Bullish to be merged with Tom Farley’s SPAC on New York
Ask HN: VoIP for Podcast App
I'm thinking about an app to create podcasts simply over the phone.

From what I see there's a bunch of interesting tools to make podcasts, but in the end they all require some sort of setup on both sides, or access to a laptop, or else.

Maybe I'm missing something, but why can't there be an app where you simply call your invitee and record the call that will become the podcast itself? Then can be post-produced, but the core would be to simply record the call.

I want to start making podcasts for my DTC brand interviewing founders of burger joints, but, being a tech guy for me it's easy, on the other side a burger joint guy may not be that tech savvy.

Make sense?

I'm interested in discussing ideas, and collaborations with anyone who'd be interested in working on this with me.
> Sequences felt like a good use case for this when we started, [...] We’ve since moved to a different approach which enforces the behaviour we want more explicitly when creating incidents, and we learned something along the way.

The entire article shows that the author has a very good grasp as much of the technical side of development as of the business side. And the conclusion makes a lot of sense.

Sequences are a technical solution for a technical problem, how to uniquely identify new elements in a fast and reliable manner. And it is optimized for such use case. But, in the real world, users have expectations and when their mental model conflicts with the inner working of an application you end creating confusing and lack of trust. Depending on the situation, to educate the user can be the path to follow, but here it seems reasonable to just adapt the inner workings to the mental model of the users. It's faster and scales easier as the number of customers increases.
Oh, I see what the issue is. I wrote "smallest to largest and lexicographically", meaning first from smallest to largest (as measured by the length of the string) and then within each group lexicographically, which is the usual way of giving an enumeration of such expressions as far as I know. Of course you cannot enumerate these expressions if you expect a solely lexicographical ordering. In any case, English was just an example, you can basically pick any Turing-complete language that is recursively enumerable and count its expressions by considering its bit string encodings as natural numbers.

Edit: This is also why the computable numbers are countable, but not computably enumerable (because figuring out which expressions correspond to real numbers is equivalent to the halting problem).
Your small vessels are not grown to tolerate a constant pressure. You get aneurysms, clotting is super dangerous because they generally form and sit rather than getting sucked/pushed into the heart to potentially get broken up. Most importantly, forget your potential organ failure you wont notice until there's a lot of damage, and all the numbness you'll get, it's the brain function affects that bother me. Sluggish, memory problems, et al that accompanies tiny thromboses.

A rotary pump is an endgame-solution. It keeps you alive, at a cost and you die the end anyway (obviously).
When a ressource gets rares, prices go up. This drives big incentives to work on substitutes, recycling, higher efficiency, etc.

Ex: People were predicting Peak Oil is the end of our civilisation. Turns out there is plenty of oil deep in the seabed if you are willing to pay $100 per barrel. In turn, $100 barrel push hard on consumers to use more efficient vehicles.

Market prices are a powerful signal that causes everyone to adapt.
A group collaborating will have better chance of survival than an individual. The upside of working with your neighbors outweighs the benefit of destroying them.
We've tried the no-minimum-wage experiment before.[0] A lack of minimum wage tends to lead to extremely exploitative wages for workers without skills in high demand.

If you agree with the statement "anyone who works full time should be able to afford necessities like safe housing and adequate food," a minimum wage is required.

If you disagree with that statement, I guess you could argue for no minimum wage, but your moral system will be different enough from most people to make you the minority position.

[0] https://www.dol.gov/general/aboutdol/history/flsa1938
Automagically rewriting/removing some files based on path fragments is not universal safety. There is no safe subset of extracting archives, IME. You might fix this particular bug class (where someone implements a poor file extraction routine), but you can introduce tons of other classes of bugs, like, off the top of my head:

a) someone uses this library for validating whether files contained are conforming a given layout, then passes the tarball to tar - differences in behaviour (tar strips leading .., while eg. the Rust module ignores all files with '..', no matter the position in the path) might cause a security issue.

b) silent removal of 'invalid' paths might cause unexpected behavior for when these paths actually are valid and expected (you might not have used ../ in tar, but I have); can imagine one hell of a debugging session coming from that one. I can also imagine codebases that filter tars for malware, and if they happen to skip ../-paths (because of the tar parser silently skipping them), they could let through the tarball unaffected, with some files unscanned, but extractable in GNU tar.

c) silent rewriting of 'invalid' paths might cause inconsistency between the behavior of different tar libraries, or might cause internal inconsistency due to two 'invalid' paths sanitizing to a single valid path; imagine someone relying on ../-stripping behaviour at some point, then that behavior changing due to switching libraries or a rearrangement of the files in the source tarball. Sanitizing is a complex issue, and any kind of universal logic might actually introduce more bugs than it solves.

d) false sense of security for more complex classes of bugs, like extracting a tarball with a symlink pointing outside of the root of the archive. What should the default behaviour be then, and why? Sometimes symlinking to `/etc` is exactly what the user needs, sometimes it's going to cause a bug further down the line. What about relative symlinks? What about cross-filesystem symlinks? What about the setuid bit? If you make users expect the library to do the right thing, it might cause them to think even less about possible security implications of more tricky situations. Writing user-controlled data to the filesystem is _always_ dangerous and there is no right way to do it, it all depends on the context.

I agree that the default behaviour of an _extraction_ library should probably be to sanitize paths. However, I cannot agree that this should be the default behavior of a thin file parser library, like archive/tar. The only thing Go should do, IMO, is explicitly state in documentation that acting on user-supplied tarballs is dangerous and great consideration should be taken before blindly extracting files to the local filesystem.
I've come to understand quantum computing problems are basically just specific formulations of things where multiple bad paths will just cancel out due to some sort of probability amplitude summing to 0. I suppose this makes sense then that the answer would be associated with some probability rather than a fixed answer.

Is this theoretically likely to give near certain probability to the right answer on large problems or will it be affected by local minimums and what not?

Is that the issue with scale? That noise propagates through the system and renders the uplift in problem solving moot?
I know so many people who are or have been walking around with health conditions they either can't, don't think they can, or are literally afraid to fix because they don't want to ruin their family's financial prospects or go bankrupt.

Most recently, I ran into an old acquaintance with a back problem that sounds like a slipped disc, and this poor dude doesn't have the coverage to get the surgery and treatments needed not to be in constant pain all day.

Hey, maybe he's wrong and its a $300 quick fix, but he's walking around with the free uncomfortable treatment we have in America.

Personally, I think healthcare is worth it. We should just pay for it and reap the incalculable benefits of a more effective society that is much less burdened by disease and chronic injury.
People don't know how to recognize privacy as a class indicator.

If I pay cash for something, or use my non-gmail address, people don't understand it's because I value privacy, but just that I'm "weird".
I like the friction analogy but would have it on an inclined plane to account for the energy produced/consumed once it's started. For example a task which provides its own motivation (once started) would be downhill and may only need an initial push to overcome static friction, then might be self-sustaining. On the other hand, an unrelentingly unpleasant task would be "uphill" and require constant willpower (cf. mechanical power) to finish.
Your answer isn't in weight but I asked how heavy it is, I expect a weight as answer.

Also I just doped a 1KG block of iron on my head from 1mm distance and it didn't hurt me. Then I cold rolled the block of iron into a 4x4m sheet of metal and I was unable to carry it around for more than a few seconds. Your answer is not only useless its also demonstrably wrong.

Maybe just maybe the question is stupid.
Not a fair comparison.

1. You're comparing a branching workflow in Git to a branchless workflow in SVN. The branchless workflow in Git eliminates step 1 and 3.

2. You can remove step 5 by doing `git commit -a` in step 6. Sure, you will have to `git add` new files, but you need to do the same in `svn add`, which your list for SVN conveniently ignores.
Note that the Arecibo message diagram in this article is wrong; the image is flipped left-right from how it’s typically displayed, so when the opening is described as “the numbers 1-10 from left to right”, it’s actually from right to left.
You could take a look at the crown by Neurosity: https://neurosity.co/. I was on the waitlist for ctrl-labs as well.
Show HN: I Made a Scraping Course
Absolutely! It’s the same in France.

Either you get a random seat, perhaps apart from your party, perhaps miss a bit of the movie (although unlikely), and get not to watch ads.

Or you arrive on time, perhaps slightly early, get to pick where you sit, together, and get a shit ton of ads shoved down your eyes and ears for nearly half an tour, in full IMAX & DolbyVision 20.8.

Edit: Oh, and you don’t know at what time the movie actually ends, because they tell you when the ads start, and how long the movie lasts. But you have to factor in the very important ad time.
I wonder how well would things turn out if people were given the choice to opt out of public healthcare. You don't get taxed on it but also cannot use it (except in ER situations obviously).

I'd imagine that most people would stay signed on but it does give people who either distrust public institutions or just don't feel like they would benefit from a public option a choice.

Full disclosure: I am firmly on the side of socialised medicine.
How they spin it as a duke achievement is ridiculously vain. They were not the one inventing the tech nor the first to implant it.
I think the main difference is languages like C# don't have the foot guns that C++ does. You can start using them and write reasonable code straight away. I always felt with C++ you need to know a lot before you write your first line of code.
In the US it’s called “needing a referral.”
The army may last a couple of weeks against an Russian invasion... I wouldn't call it "good defense capabilities". Switzerland has good defense capabilities.