skysight-inc/HackerNews huggingface dataset:
> One does not need to learn anything about the foundations of mathematics to read and understand Lurie's work.

By foundations here, I didnt mean foundations of mathematics, rather the amount of material a student needs to read to become familiar with the basic definitions of what a space means. We can teach topology to undergrads, can we teach higher categorical notions of space? Even schemes themselves had a daunting reputation some time back, now we have derived stacks which involve infinite categories.

> You can just pick up Higher Topos Theory and start reading

Yes, but my point, as illustrated in SDG example, was that definitions can be easy or hard depending on which foundations you use. You havent mentioned whether you disagree with this and if you see Kock's book, I think you will agree.

When dealing with higher categories, a foundations which uses '=' symbol in a different way, with an equivalence relation(modelled on homotopy equivalence) playing a much more prominent role could make the theory much more natural.

Note, that I am not even emphasizing sets vs type theory here, but excluded middle and a good notion of equivalence(and equivalence between equivalences... like in homotopy theory) in the foundations.

Maybe a lot of this debate will get dissolved if we just use two different words for 'examining consistency of axioms' and 'naturality of theory as encoded in a given system' instead of using the same word - foundations - for both of them.

At the very least if discussions begin with an awareness of this distinct usage, there would be lot less talking past each other.

Urs Schreiber makes the same point about naturality here - https://golem.ph.utexas.edu/category/2016/03/foundations_of_...
That's one of my dreams still, to build a post-and-beam house from scratch. But I'm getting older and it may well be that such ambitious projects are now out of reach for me.
OpenStreetMap data is probably the best geographic data you’ll find all around the world. Which region are you speaking about?
> I'm confused now, if I eat at a restaurant and they bring me the bill - is that not a private debt?

Its simple.

You chose to enter that restaurant, nobody forced you to go there.

That restaurant is perfectly entitled to set its own conditions that apply to its service to you (within reason, of course).

Hence that restaurant is perfectly entitled to say on its menu or signage or website or orally "sure we'll feed you, but we don't take cash, only cards".

If you don't like that condition, you are free to get up and leave before ordering. Just like you are free to get up before ordering if you don't like the menu, the prices or that noisy kid on the next-door table.

If you proceed to order and eat, then you have entered into a 'contract'.

The restaurant has offered you an alternative means of payment which you have accepted by proceeding to eat. Card payment was made a condition of contract.
I have a big directory here too (100s of thousands of files) however I am enrolled in the beta program. Perhaps the super large versions of the directory is only for the beta program but the non beta participates have the small version.
Yeah, this seems like trying to drive your users into a paradigm that is contrary to how people are actually using it. The central problem with any social network is discoverability, which is hard on a decentralized platform. For me, the process is/was finding an instance that was congruent to my interests, and the only way to determine that is by watching the instance timeline.
I think there is a difference between what you (as the creator) seem to see as a search vs what a user would understand a search to be.
Did remarkable ever add the MAC address information to their control panel? Or do you still have to collect it from your DHCP server logs?
I see a lot of recommendations for self hosted alternatives, either at home or a VPS/Rented server. While the HN crowd is probably better suited than most people, running a server connected to the internet is no small taks, and people should seriously consider other alternatives before doing so.

For some of the services, your own privacy measures may not matter one bit. Take email for example, you may self host it, or use a privacy oriented provider, but it doesn't help one bit if you recipient is on gmail or outlook, so one could argue that attempting to privacy secure email is in vain. You can of course use GPG, but that requires the receiver to publish keys, which not very many people do.

I've self hosted for a couple of decades, but some years ago i decided i no longer wanted to be our resident sysadm, and instead moved everything to the cloud. I went from a proxmox cluster and a couple of NAS boxes spinning at home, to nothing spinning, and no open ports in the firewall.

We now use regular cloud services (Google Drive, OneDrive, iCloud, etc), and instead use Cryptomator (https://cryptomator.org/) to encrypt everything before sending it to the cloud.

For specific apps we use

- Joplin for notes (or just ios notes)

- Signal for messaging (though in reality we use quite a few clients, as it highly depends on what your recipient uses)

- MXRoute for mail / contacts

- DuckDuckGo for searching.

- Cryptomator on top of whatever cloud storage the individual prefers.

- Photos, here we chose the easy path, and simply use the integration offered by our phones, which in our case means iPhones, so iCloud.
Don't phones use a combination of various global positioning systems these days, including glonass and galileo?

Actually how much detailed GPS information can phones access? Most 'common' apps will use the wider 'location services', which combine GNSS data with things like known wifi points and 3/4/5g radio towers to provide better accuracy.
I suspect our laws say that they just have to be given access to the grid at the same terms as any other company.

And we're having to transition to green energy, and having great difficulty doing so, as you know. So a new thing that adds 10% extra national electricity usage isn't exactly welcome right now, imo.
Yeah, I do use the odd service, email is just because I've always done that and I still like the flexibility
that fiendish. I can see why govt would do this but heck, what a terrible experience for citizen!
Tangentially related, I just now learned that this page on that site has existed since at least 1999. It looked much the same actually.

https://web.archive.org/web/19991012063300/https://erowid.or...

I had no idea that the site erowid.org itself had existed for so long even.

Also, the archived version of the page from 1999 was using a black background. Dark mode before it was cool :)
> If your domain registar bans you, you’ll lose your email all the same.

Maybe? I would hope that you could raise the issue with the dowmain registry or ultimately ICANN if the registrar does not let you move the domain elsewhere after banning you. Registrars do not have the same platform ownership over domains that Google has over gmail accounts, they are just middlemen.
As a motorcyclist, I'm well versed in not relying on drivers. SMIDSY all day. My point is that it should be safe; if it isn't, something is wrong with the system.
Those programs weren't "willfully wrong". That status quo is that whatever you wrote would be potentially mixed into the pool, but not counted as adding any kind of unpredictability unless the ioctl() was used to specifically indicate this.
Google Custom Search is finds webpages for the person searching.

This new service searches products via an API for the web server.
It's mostly for speed, if the tasks are defined separately then a smart CI system can cache the results and avoid rerunning some of them.
Sigh. You're putting your processing power to work for a wealthy corporation in the hopes they will give you scraps in return, and / or that those scraps will become worth more in the future.

Crypto idealism is long dead, it's all about making money now.
Indeed. He deservedly get to the homepage here regularly these days. His coverage of the M1s has been very useful.
Do explain how you think this is a joke. Genuinely curious.
Right -- a decent quality football might cost £5-10, an official 2022/23 Champion's League replica ball costs £25.
Show HN: M3O Prices – Global prices index
The awful python 2 sync server still works for the most part, with storage bits and auth - it is a chore to setup and it sucks a little but eh, nobody else has bothered to make sync useful enough like the alternatives that do support custom sync need command line args which is not ideal and also rules out mobile devices entirely whereas Firefox on android has the ability to configure custom sync server for example
Explaining the architecture in the abstract and explaining the architecture while changing something to the application are very different things. Both for the explainer and for the person trying to understand and process the explanation.
What Is a Supercritical Fluid?
Yes, it's perfectly legal and done according to law.

There are some oversights. Under the Emergencies Act, the Parliament and the Senate get to confirm the use of the act. What surprised people were the fact that the action of voting down the use of the act will trigger an election, and parties didn't want an election. [1]

[1]: https://windsorstar.com/news/canada/mps-to-vote-tonight-on-w...
interesting that you equate “fragility” with the opposite of “morally superior” - “Fragile” seems like a fairly accurate description of the described phenomenon, you are the one who seems to be ascribing moral value on the basis of that description. Why is that? Why should we care if someone else describes us as “fragile”?
It could also well be the daemon not cleaning up after itself properly in some obscure circumstances. These things happen way too often.
Hmm, that's an interesting idea, though I think the format looks too cumbersome. Still, that's mostly what I meant, thanks for the link!
> This is a stunning, sustainable and high-quality Official Match Ball from adidas

The only thing about this whole tournament which is sustainable I guess...
Foundry – Ethereum application development written in Rust
The opposite could be true: the fewer people reading, the more additional adverts needed to maintain the page.
Don't Offer Me a Job That Requires Me to Relocate
I think for email it makes sense to have an offline IMAP setup (i.e. a copy of all mail is downloaded) on at least one device (e.g. your desktop) so that you can still access things if you are abruptly cut off from the provider. This can come in handy even for temporary outages.
Thanks for Hack, it's what I'm currently using!
Well I mean, at the end of Shulgin's life he had heart valve damage requiring surgery (psychs cause 5-HT2B agonism which can cause heart valvulopathy), advanced dementia, and liver cancer, all three of which are likely consequences of taking psychedelics frequently. It isn't to say that there aren't benefits to taking these drugs in moderation, but if you're looking for a "Why Not", that's definitely something to think about.
Makes Will.i.am's Xupermask look absolutely practical and well thought out!

https://www.independent.co.uk/life-style/gadgets-and-tech/wi...
Sadly, Ubuntu is moving Firefox to snap in the upcoming 22.04 release. I think I'll be switching to either Manjaro or plain Arch before 21.10 becomes unsupported.
Is this really a trend? I'm getting very strong neumorphism vibes from it: A contrived trend that never really worked, looked outdated from the start, and never got main stream.

The real vs Dribbble ratio of the examples in this post points in the same direction.

I do think the 3d graphics are a trend, which fair enough have often a sort of clayish aesthetic, but I am very skeptical that will become a popular all encompassing UI style.
Colloquial language is the worst. When I hear people say systems language I imagine that they dropped the "operating" before "systems language", meaning a language that can be used to build an operating system with commonly expected performance characteristics and low resource intensity.
I also think that doctors tend to dumb-down and downplay the actual truth of the effectiveness of treatments. Partly because for the majority of patients, being told that a treatment is realllyyy good can actually make it more effective, by the placebo effect. It also makes the patient happier and more confident in the abilities of the doctor.

I noticed that since I got "Dr." put in front of my name on my medical records, doctors tend to firstly ask what I'm a "Dr." in, and secondly tell it to me straight.
I don't think anyone say racism disappeared. I only said there has been a general consensus that human races do not exist. That do not means people suddently like people of a different color, accept other cultures or want to see them express their due freedom of religion.

And I think most of the racism was kind of hidden as something people would keep for themselves or in close circles. Trump has recently acted as some kind of enabler and we see a resurgence of far-right people in many european countries not being afraid of plainly expressing their hatred and politician and writers not being afraid of getting fined.

I would say the future is kind of cloudy in many european countries right now and probably all over the world in that regard. We are kind of back in the 1930's, just with better tech.
I am not familiar with the set theory field, or whatever it's called more exactly. The language in the article, from a layman point, is vague, and I think also uses many words that have somewhat a different meaning to their mainstream one that it makes it pretty much impossible to read for me.

Maybe this is where a science journalist could do a good job! I'm thinking Vi Hart for example.
Mandatory Feynman explanation:

https://m.youtube.com/watch?v=y7h4OtFDnYE
Neat theme :) Is the theme available for download?
Folks looking for a solution to storing Prometheus metrics from multiple places, definitely consider exploring Victoriametrics.

I'm running a single Victoriametrics instance which has 230bn metrics, consuming ~4GB of memory and barely 200m of CPU utilization (only spikes to ~1.5cores when it flushes these datapoints from RAM to disk). I've previously[1] shared my experience of setting up Victoriametrics for long term Prometheus storage back in 2020 and since then this product has just kept getting better.

Over time, I switched to `vmagent` and `vmalert` as well which offer some nice little things (like did you know, you can't break up the scrape config of Prometheus into multiple files? `vmagent` does that happily). The whole setup is very easy to manage for an Ops person (as compared to Thanos/Cortex. Yet to checkout Mimir though!) as well. I've barely had to tweak any default configs that come in Victoriametrics and I even increased the retention of metrics from a month to multiple months after gaining confidence in prod.

[1]: https://zerodha.tech/blog/infra-monitoring-at-zerodha/
Ironically, the laborers that have had their passports taken away from them during the construction of this tournament aren't allowed to make "the journey" back to their homes.
You’re associating A/B testing with the practice on the web, where it is often used close to users’ spending decisions.

From what we can tell, This here is not a trial connected to revenue. It’s connected to Siri and other ML-frameworks, but not to, say, the Apple Store or Music applications.
A/B tests suck if you are in the test group and suddenly, completely unannounced, a functionality you have been relying on stops working or gets changed and you are now stuck with the problem.

> None of that applies: both the A and B in A/B tests are software versions, for which there are zero legal requirements.

There should be, that is my point.

All that A/B testing and the constant other changes even in minor patch versions only lead to update hesitancy in people, which in turn leads to security issues because people don't update their software because they don't want to be disrupted in their workflows.

Not to mention that most A/B testing is essentially pseudoscience at best if not outright fraud that's being peddled by people wanting to sell A/B testing "solutions", or the implications on user privacy because of the mandatory phone-home.

FWIW this is what made Microsoft so big in the corporate world: for decades you could expect that nothing major would change, you would not need to re-train your employees or buy new software. That changed with Windows XP (although it was easy to roll back at least the optical changes) and got exponentially worse with the utter crap that is Windows 11.
As a user of Paperless I highly recommend setting it up, it is so incredibly useful as soon as you have to deal with any kind of paperwork-intensive activity (buying a house, getting a mortgage, paying taxes). Take literally everything you get and throw it into Paperless, then when someone asks for all of these documents it will take you minutes instead of hours to track them all down - when you need it, it's magic.
Wow, that’s like a whole separate R party in the senate.
Elektronika MK-61
A lot of the observations at the end are true everywhere. There are more opportunities in cities, but you have to trade off a bunch of quality of life things for that. And the pandemic left a lot of people unwilling to trade them off.
Actually, HTML hasn't changed much for many years now. Which is kindof the problem - everything around it (mostly CSS, and also JS) had to change ad absurdum to exercise HTML into a scene graph for web apps.

It's not like W3C and others hadn't tried to renovate HTML - that's what W3C's XML initiative was about in 1998, with a generic namespacing mechanism in anticipation of a wealth of new vocabularies (of which SVG and MathML, but not XHTML made it).

I'd argue W3C people were so wound up in XML and "enterprise" tech for like ten years that the web stack was unprepared when the iPhone with requirements for mobile sites came around, and W3C became an easy target to take HTML away from.

Mentioning this to warn against inventing new meta "formats" all the time - everything needed for HTML was already in existence before 1986 when SGML (on which HTML is based) was published.

Including markdown and custom shortform syntax. Large parts of markdown can be specified using SGML shortref, yielding a shortform syntax that expands to HTML proper, capturing exactly the way markdown was originally specified.
I think we both agree there are things that Mastodon should never do, even if it increases retention, like highly addictive features.

A line needs to be drawn somewhere, and it is not clear to me that Mastodon did, as a project; because it keeps pushing what I (and other early adopters) consider anti-features in the name of new user retention.

For example, trending toots would have been unthinkable four years ago while trending tags were being designed, but trending tags eventually led to that.
Makes me wonder, if we were able to make a fun puzzle out of training machine learning models by hand, would we soon find better training algorithms?
No love for Precursor?

https://www.bunniestudios.com/blog/?p=5921
The alternative to A/B testing is paying people to test your software and learning from their direct feedback. Alternatively, you can provide people with a choice to test the changes you're considering.

If I pay for a product, I expect to be treated with respect. Being turned into a guinea pig to save on feedback cost isn't being respectful. Doing so without notice or consent is even worse.

There's no law against it, of course, but that doesn't mean it's good or even okay.
> Meta will build this data center somewhere else.

Good.
I mean, at least the article doesn't hide its political agenda, I guess...
Here in the Netherlands, the government has been pushing back against cashless for more or less this reason - that it grinds the poor who are most likely to be unbanked.

One of their papers on the subject basically accepted that a lot of the poorest Dutch residents are using cash in the underground economy, and advised that tampering with it would cause a lot of hardship.
Yeah my mother really likes checking out what is going on with these pesky opensource services. She sometimes goes to Github to read the code, while at it she quite often finds bugs, sometimes even security bugs. I am so glad we have a way to understand what is going on using opensource software.

On the other hand all my blackhat friends have a really bad time with closed source software. This is the primary reason black box security testing is dying.
They didn't. You are responding to someone who is consciously telling an untruth.
> President poopy pants

Helpful red flag from the cyrptobro author saved me wasting time reading this junk.
Neopets has a lot to answer for in our generation :P
> You have to pay…all the paid vacation they may have saved up.

Well, that’s time (or deferred pay) they’ve contractually and morally earned, so that part’s entirely fair.
There is a well documented story of someone loosing his whole firms Google account because a decade before he was privately associated with a developer who years later decided to write scam software. This does not shock me, at all.

But it's really your own fault for not having high reaching contacts into Google's upper tier!
Almost as good as having a crypto miner in your anti-virus software, which is practically a contradiction in terms.
The font they use for their code examples is quite nice. Does anyone happen to know what it is?
I checked mine, and I see lots of mention of "Siri" (TEXT TO SPEECH, FIND MY, etc). Seems most likely this is A/B testing for ML models, such as those for Siri and Photos analysis?

That's my best guess. Since Siri and Photos now processes more locally (especially on M1's dedicated ML cores), all the training improvements and testing probably happen locally as well.

It makes sense it would regularly download updates for ML models. I'm more curious about what data gets uploaded back to Apple...
That’s not really a POC though. That’s not a Spring Application I can run and reproduce on. That’s just a py script.
I'm one of the few humans on the planet that installs his dependencies inside the project folder and uses PYTHONPATH.
OK. I am definitely old...

- I have mostly no joy playing video games anymore these days.

- I found myself refusing some contemporary stuff in favour of stuff "I am used to".

Damn! I was always looking at my dad, not understanding that very same things :) Now I am a dad myself...
You would have thought Meta would have had employed plenty of Dutch resources with local knowledge.
The site guidelines recommend an assumption of good faith. That’s something that may just be advised more broadly these days, and you are failing it quite spectacularly.
I moved from Gmail to Posteo, Gdrive to Nextcloud, and Android to /e/ OS. I self-host Nextcloud and installed the mobile OS myself, but if someone is not inclined, both have ready to use offerings as well.

Nextcloud partnered with providers and they give 2GB instances for free, allegedly. If you need more, you can check https://github.com/nextcloud/providers#providers

Buy an /e/ OS phone: https://esolutions.shop/

There are also third party sellers, like "Liberate your tech", who sell phones with GrapheneOS preinstalled.

Regarding their stability; Posteo is going strong since 2009, Nextcloud as a project 2010. For mobile devices I'd look at 3-5 year periods, and I feel confident that /e/ OS and GrapheneOS will be around for that time. Even if they don't, the situation is not that different from owning an Android that's not updated anymore, and also usually you can sell the phone on the used market and buy a new one that's still supported.
Money is a lagging indicator. The love gave it a lot of value early and that value converted to money several years later. Network effects means it takes a lot of time to switch to a new product, but if they do, it will happen quickly and seemingly suddenly.