skysight-inc/HackerNews huggingface dataset:
I was talking about exactitude in general, as a requirement for a physical interpretation of the integers.

> I think it is not impossible for us to prove that the universe was created by a god, if we found some hidden message in subatomic particles or cosmic dust or something.

That's actually a good point, there could be scientific proof of some intelligent creator in principle. The fact that there is no reason a priori to believe that we will find such a proof is a problem, but I don't think it would be enough to deem the theory unscientific. Otherwise, many actually used theories would be unscientific - for example, there is no scientific reason to expect supersimmetry to exist, but that doesn't make the search for supersimmetry unscientific.

> Multiverse theory, on the other hand, would qualify as unscientific by your reasoning.

Yes, multiverse theory is unscientific by my definition. I don't believe speculation about a multiverse can be considered science in any meaningful sense. Just like simulation theory, it is using science-sounding terminology for idle speculation (though the universe being a simulation could similarly be proven by the same kind of evidence as the intelligent creator idea, to be fair).

> These are predictions that we cannot "test" except by looking at the universe and seeing what we find, and even then we are not guaranteed a positive result

But this is exactly the definition of a test. It's true that you can't prove that something doesn't exist in this way, but saying that something is untestable goes beyond that. An untestable hypothesis is one that by definition doesn't make any predictions about the universe. Multiverse theory is in this bucket - whether you believe it to be true or not, you won't expect to see anything different in the world.

> Of course if something was actually infinite, you wouldn't be able to measure it to be so, but if the model (that you have shown to be correct in other case) predicts an actual infinity and you keep counting more and more orders of magnitude, does it not make sense to assume your model is correct?

Of course it's OK to assume your model is correct, and infinity will likely be the simplest assumption in this case. However, any model that predicts an infinity can be replaced with an equivalent model that makes all the same measurable predictions but replaces the infinity with some arbitrarily large but finite number (or arbitrarily small but not infinitesimal). This second model may well be harder to work with and will contain an extra assumption (an explicit upper bound for the infinite quantity), so I wouldn't advocate for its use. But it would have to be accepted that it is not empirically distinguishable from the infinity based model.
That you can be "engrossed in solving a problem" is a luxury. One that I enjoyed when I was responsible only to myself. Once my wife and daughter entered my life, it was gone. And even before, from time to time, I had to make space for other obligations that came before my interest/work.

The problems to solve still interest me, but changing diapers or getting something from the supermarket for my daugher before it closes has become important enough that may they to "disrupt"[1] my life anytime.

[1] in quotes, because I would not want to live without these "disruptions" anymore. The accomplishment of calming my baby daughter in a few seconds dwarves any of the hacks people still know me for.
Well, it does begin to cover it. Do you have to be so strident?
In fact even for a bicycle at the lowest speeds counter-steer is required. Now that people have read this there will be a whole new group of people who on their next bike ride will think "According to theory i must be subconsciously turning the handlebars left in order to perform a right hand turn?"

And then will you notice yourself doing it. It's quite remarkable. All those years you thought you turned the handlebars into the turn. You've actually been turning them the other way subconsciously in order to lean into the turn.
No need, just update ur tags on the web aws console
First, I absolutely do not advocate for ivermectin in place of vaccination. I’m vaccinated, and I don’t take that drug, but…

I am troubled when I see media reports refer to ivermectin as a livestock drug and omit the fact that it absolutely is used in human anti-parasitics.

It would be the equivalent of writing about someone taking Pepto Bismol, and saying “the man took a substance used in the production of rubber. It’s biased and misleading.
I worked for years studying how to use microcontrollers and after a lot of determination now I have a $750,000 grant to build solar systems that are fireproof so you can install them anywhere. It will be a few years of work to get something suitable made but I have full confidence it can be done.

I am also spending much time lately in the SF kink community to build a fundamental understanding of the biases people have experienced in life with respect to their gender identity, and am strongly considering HRT so I can live life on the other side and experience the prejudice first hand.
Double bagging encryption is not a bad option in this case.
Something like Tidbyt?

https://www.kickstarter.com/projects/tidbyt/retro-display
I love hydroelectric power and I want the circuits I design for solar to be capable of utilizing the raw power from a small turbine as well without any hardware modifications.
Was it me??
It’s worse than that - bringing one in just as a tourist could bring heavy consequences and there’s no clear communication about that rule as it is.
Speaking of starting a business, it’s really hard to find reliable information on how to do this in Canada from a paperwork, legal, and accounting point of view. It’s a real chore sorting out all your requirements and responsibilities
this more like a tool suggestion request, because I haven't been able to find a solution in Google.

I'm looking for a more advanced duplicate files finder in Linux, specially one that can handle folders.

Most tool just return a list of duplicate files, but what I need is to also know is if whole folders are duplicate, or subset of others and have it presented in an elegant way t o resolve conflict. ofc everything is in a big folder and everything is a mess, bit of a hoarding collection of files that got accumulated over the years.

I could probably code some stupid script myself, if I ever got the time (spoiler I probably won't) but I have no idea on how to present the result elegantly. So it would be nice if such tool already existed.
Not dynamic. Randomised. Once created, it doesn't change/

I have yet to see a torrent client that doesn't let you specify the public port it's listening on.
I thought the same thing back in 2015 considering the way GPUs supposedly handle branches with warps. However, my stock trading simulator ran way better on 3 GTX Titans rather than the Intel "Knights Many Cores" Phi preview I had exclusively been able to obtain. I was excited because it had something like 100 pentium 4 cores on it, and was supposed to be much faster than a GPU for logical code. Dissapointment set in when the GPU stomped it performance wise. I still don't even understand why but I do know now that the whole "GPUs can't handle branching performantly" is a bit overstated. Intel discontinued their Phi which I can only gander was due to its lack of competitiveness.
I agree it's fake, there is phones on the market that has phone and internet via satellite but you need a subscription and it's expensive. The average Joe don't have that. I think this is a PR-trick to suggest Apple is relevant and innovative, Apple after Jobs is safe and predictable and not exciting like this
And dangerous. Driving is the most dangerous activity we do all-day. There are people alive who would otherwise be dead, all because of WFH.
With Amazon and Google you’re paying half in monthly fees and half with your mineable data. This service seems geared towards people who don’t want that.

Rolling your own on top of a cloud storage provider is great too but for an incremental $100-$200/year some people would pay for something that “just works”.
This looks cool.

It’s like Excel but instead of a spreadsheet you have a document. Some numbers in the document can be adjusted and other numbers get recalculated from them.

It could also work as a template for e.g. legal documents, where you fill in some text and the rest is boilerplate. And some of the text which is numbers e.g. finances gets automatically calculated from what you input.
This seems like a strange calculation... you think the scrutiny from being identified as talented enough to find this is bad enough to not be worth $40k + the reputation bump for your CV?

That seems overly paranoid.
You should just encrypt your data yourself before it gets to your provider. It takes an extra step and is annoying but then you can store the data anywhere that’s cheap and convenient
It is dead, because nearly no one wants to come in given choice. We could agree on whole team coming in and we discussed it a bit. Initially half our team came for few days and then it gradually dropped. Convenience of being at home won.

There is no wish to come in.
Conclusion disregarding radicalized political zealots as bored seems a bit dismissive. There's been a lot of effort put into selling them a story that they've been duped. Tribalism the call of which they were heeding

"Don't feed the trolls" falls short once you've got trolls feeding trolls. Trolling doesn't have to be intentional
If he had "extremely anti-user values" don't ya think there might be less..ahem... users of Apple products?

Have you considered the possibility that your opinion is that of a minority.
A defunct computer shop: Untouched seemingly since 2000
Your inreach could likely survive being dropped or submerged or being left on for more than 10 hours better than your phone. Inreach mini if it’s too big!
I don't know if that's enough.

Understanding the difference between declarative and imperative programming is rather hard with all the abstractions we have today.

People always say, declarative programming is defining what you want, not doing the steps needed to get it. But today no imperative interface requires you to do all the steps either, plus, most programming languages use both paradigms at the same time.
A combination of "all categories are fuzzy" and "all models are wrong but some are useful"? I too doubt the effectiveness of a symbolic AI approach. Although I studied that and other approaches in the field, you may note that my background is in biologically plausible methods for pursuing artificial intelligence.

I think the direct human input method is given too much focus although it and related interactions have their place. The fallible sensors directly reporting readings from reality already has sufficient noise related issues. I suspect more richly informing people will yield better results.

I am inspired by stories such as the fish farm pollution problem [0]. Consider how a reality based game theoretic analysis of agent choices might guide your selection of future work mates (or lakes) and facilitate a different friction in finding your next contribution to the world.

[0] search "3. the fish" on https://www.lesswrong.com/posts/TxcRbCYHaeL59aY7E/meditation...
The workflow for slime/sly and swank/slynk described at the end of the article is standard if you are in the Emacs world.

Sometimes I work in an Org file, sometimes in a lisp file directly. In both cases I will C-x C-e (eval-last-sexp) or run blocks, or the whole file (depending on Org vs lisp file). It is copy and paste on steroids (same for slime-eval-defun were you can be working deep inside some large function and update the whole without changing your view).

There are some examples of developing in the debugger in [0] around 55 minutes (linked). This video also has great examples of other crazy interactive development workflows and is worth watching in its entirety if you are interested in this kind of thing.

0. https://youtu.be/bl8jQ2wRh6k?t=3299
Why would this feature , that is also apart of Photos, make you reconsider ?
Are you required to use PNG or could you save the files in an alternative lossless format like TIFF [1]? If you're stuck with PNG, mtpng [2] mentioned earlier seems to be significantly faster with multithreading (>40% reduction in encoding times). If you're publishing for web, TIFF or cwebp might also be possibilities with -mt (multithreading) and -q 25 (lower compression and larger filesize but faster) flags, or an experimental GPU implementation [3].

[1] https://blender.stackexchange.com/questions/148231/what-imag...

[2] https://github.com/brion/mtpng

[3] https://emmaliu.info/15418-Final-Project/
Options 2 and 3 pose a moral and physical risk. Money isn't the only factor.
Should we let go of this ideal as "old fashioned"?

No, although "old fashioned* was a very brief, 30 to 50 year period in US history.

Instead, I think that buying massive mansions (as per how people in the 50s may think of it), could be part of the problem.

Buying huge houses, means more people need mortgages. That saving for a down payment means less. That means higher monthly payments.

Outside of huge cities, a 1500 sq foot house and land just isn't that expensive. The problem is due to more than one source, it's also about trying to have a house, in some of the most expensive areas for real estate on the planet.

And other factors, cell phone, cable, internet, tablet, laptop, gaming system, monthly fees can run hundreds in some households, with hardware costs amortized, even a thousand per month for a family!

Do you think people in the 50s had all that? Even middle class families often didn't have a TV!

Do you know how many people I've seen with maxxed out credit cards, yet they have all those toys above?

How'd they get those toys?

Many people didn't even have medical insurance in the 50s. Why? I provided one possible reason prior.

But I agree, then isn't now. I don't know what to do about medical care, but I do know my grandparents couldn't believe all the things my parents were buying, when I was a kid.

I wonder what they'd say, every time I use credit to buy coffee, dinner, an electronic gizmo, or a paid service.

I wonder what they'd say, when they also saw me paying 2x, or 3x for it, after years of paying credit card compound interest?

More than anything, credit is the big problem.
Easy if you have an APL keyboard :) (Hint, it's on the 8)
https://www.dyalog.com/uploads/images/Business/products/us_r...
One thing is for sure, putting its astronomical revenue growth on the side, which presumably involves some fuzzy math... Azure is definitely the worst of the big three cloud providers
They didn't entirely replace Google Ads, etc. They proxy it stripping out the user identification:

> Like Google’s product, the new system is automated. When a user visits an NPO page, a signal automatically goes out to advertisers inviting them to bid to show that user their ad. But there’s a crucial difference: With Google and most other ad servers, advertisers are bidding on the user. With Ster’s new ad server, advertisers are blind—they receive no information on the user. Instead, they get information about what the user is looking at. Pages and videos are tagged based on their content. Instead of targeting a certain type of customer, advertisers target customers reading a certain type of article or watching a certain type of show.
Looks like you are shadow-banned...
The Beauty of Bezier Curves [video]
Read the article. It's about ML workloads which scale well across many cores. It's also being compared to GPUs. The whole point of what they're doing to is to be able to pack more cores versus a CPU but with a larger instruction set than a GPU core.
An easier way to wireframe, design and build digital products
What's even more disturbing is the fact that a lot of the justification of discrimination against asians, requiring higher test scores etc. is from none other than Ashkenazi Jews. Imagine the outcry if they were limited to be closer to their population percentage. If people actually cared about racism and being logically consistent, their first concern should be this massive overrepresentation of Jews. They don't.
That problem can be solved with other means

That's what they always say --- so how about solving that problem first, before thrusting ourselves head-first into advocating for full authoritarianism?

But I am now at the mercy of every single criminal or oppressive state that wants to use that exploit to harm me.

Good. That means power is not centralised. You can defend yourself instead. Besides, do you really want to be "at the mercy of the company that made the device" ? As we have seen multiple times, they do not really act in your interest.

There's also plenty of dystopian sci-fi to show us what attempts at making a "perfect" society in any way will turn out. This applies to making software "perfectly secure" too.
Design, build and fly a drone from scratch with a RaspberryPi and some physics
What I mean is if you pick different transformation groups you can get different spaces where the "paradox" occurs. Likewise you can get rid of the paradox in 3-space by picking a different group.
If you have multiple experiences of crashes with cyclists, the common variable is you. Most of us never crashed a car with cyclist.
Yes, and in fact one of the things I like about Viewstamped Replication is that it does not describe replication in terms of RPC, but rather in terms of message passing, which I believe maps better to the domain of consensus, and which nudges people in the right direction when they start to think about their messaging protocol.

Thanks, hope to see you at the live launch event in September! All the details are in the repo linked above.

Beyond some of these new techniques, what I'm really most excited about for the live launch event in September is the back-to-back interviews with Brian Oki (Viewstamped Replication 1988) and James Cowling (Viewstamped Replication Revisited 2012). It's going to be a special moment, celebrating the pioneering consensus and replication protocol and the people behind it.
Personally I'd find the pure storage and basic categories suitable. I dislike almost all the algorithms. Especially "memories" and shit like that.

Simple and reliable backup and reasonably speedy browsing is what I need.
As if everyone talking here were from the US. The US currently being in shambles doesn't justify any of China's human rights violations, imperialistic policies or genocides.
The wheels also have to have the right size to not get resonance. This have been a problem in Norway when the train reach 200km/h, because they forgot (?) to factor this in.

This feels like a really bumpy road at high speed, and stop if the train driver reduce the speed just a little bit.
> The issue with the cloud is scale

I’d argue the issue with cloud is less about scale, more about how easy it is to get started. My mother could quite easily click through the account creation on a cloud provider and setup something insecure, but not a chance is she going to get a DC built with equipment racked or even a basic setup at a colo facility.
> at installation time, a 2048 bit pub/priv key pair is generated on your laptop, and the private key is transmitted through HTTPS. The priv key is NEVER written to disk on your system,it is then thrown away after transmission. The public key can be found on your local system here on a Windows PC

yes, that does answer my questions
If the new phones can deliver near global coverage for SMS/iMesssage texts and findMy services then that is a huge selling point. Tapping into the rescue device market for hikers and backpackers is a huge business opportunity.
> I don't think the Western world has quite figured out how to transition people to a successful adulthood.

That's what college is for.
Air Independent Propulsion Could Create Silent Killer Submarines
What's your cost matrix? How much does a false positive hurt? False negative?

I built a commercial system like that for Thermo Fisher, except their descriptions were encoded as natural language text on input, not vectors (for an extra complication).

Some observations:

1. Crude methods based on vector embeddings, cosine similarity, Levenshtein, etc – don't work, if you care at all about false positives.

I see sibling comments recommend this, but it's clear this cannot work if you think about it. Values like "black" and "white", or "I" and "II" (part numbers), "with" and "without", are typically close together in such crude representations, but may lead to products that are not interchangeable.

2. A hybrid approach worked. The SW produced suggestions for which products might be duplicates (along with a soft confidence score), then let a human domain expert accept / reject these suggestions. It also learned from these expert decisions as it went, to save human time.

What I quickly learned is that even as a human (programmer with a PhD in ML), I could not look at two product descriptions and make the decision myself. Are these the same product or not? One word, even one letter, could be absolutely vital. Or absolutely irrelevant. Sometimes even the same attribute / word, depending on the product category.

Hence the final interactive solution with a domain expert in the middle. It worked well and saved time, rather clever, but not in the "hooray NN training" way. A lot of work went into normalizing the surface features intelligently based on context: units, hyphens / tokenization, typos…, because that's a mess in product sheets. The "fancy" downstream ML and clustering part was relatively simple by comparison.

But YMMV, the Thermo Fisher products were fairly specialized and sophisticated (in their millions).
Nah, a couple gigs of free storage is Google's killer feature. Photo organization is braindead simple and barely requires more than S3.
I takes days/weeks to pick up the core of SQL:

- create tables, update the schema, insert rows, add an index

- select, filters, joins, order by, limit, inner queries

It takes forever to be comfortable with:

- anything that involves summarizing, grouping, having, min, max, windows
Isn't the baseband a separate chip which would have to be cracked separately? A phone already needs to enforce many RF restrictions, one more doesn't sound like a big deal.
The default should be to show one comment at a time, because that's convenient and quick to get into, but also with an option (maybe just a scroll down) to view all comments. One, that helps the reviewer get an overall idea of what kind of things the submitter is looking for, if they want that, and two, some submitters are inevitably gonna screw up, posting at the wrong times or asking overall summary questions that should be asked at the end right at the beginning or somesuch. So an All Questions button or similar should be there as an escape hatch, but not the primary UI.
By "fracking", did you mean "fucking", or did I miss something?
Because it's an irrelevant comment. If the topic is not what you expected, keep scrolling. No need to let everyone know.
That is a good observation. I am the primary care-giver for a sick spouse, so I have also seen the luxury of time spent on programming diminish.

I am glad you pointed this out. Now that I am older, and perhaps wiser, I can look back at some of the unhealthy attitudes that I had about co-workers who had to balance the much more important demands of life against completing a certain feature or getting a demo ready by a certain date.

When I look at my younger self, I can see how this attitude can lead to ageism and the lack of respect and support some employees see in organizations that only value how much code you can crank out.