News for hackers. Stuff that matters.
Re:What Is miniKanren? by scotty79 on Thursday January 02, 2025 @12:13PM (#42576290)
What was the last time that you got served tampered webpage over http?
Re:What Is miniKanren? by simonw on Thursday January 02, 2025 @12:21PM (#42576363)
Happened to my startup back in ~2012.

We had built an iPhone app that retrieved HTML pages from a server, but then scanned for extra metadata that was embedded in HTML comments for things like what navigation options should be displayed to accompany that page.

We got a bug report from a user that the app broke when they used it on the free WiFi on the London Underground.

It turned out there was some weird proxy running on that WiFi network that stripped HTML comments and injected extra tracking code into pages!

Switching to https fixed the bug. I haven't shipped anything that uses plaintext HTTP since then.

Re:What Is miniKanren? by will_byrd on Thursday January 02, 2025 @02:08PM (#42577618)
Thank you all for your comments! We are working on a new version of the website, with a new layout, better examples up front, and HTTPS.
Re:What Is miniKanren? by kazinator on Thursday January 02, 2025 @02:01PM (#42577528)
I believe I'm being served tampered content every single time I access HTTP, so the last time that happened coincides with the last time I used a HTTP URL.

Here are two hurdles:

1. Can you prove me wrong?

2. Next, given 1, can you rationally justify not rolling out HTTPS everywhere.

In other words, is it actually a valid argument that "often, nothing bad happens when you use HTTP, so it is okay".

Tampering of content has nothing to do with your privacy; it's a security matter. A nefarious man-in-the-middle could insert content which attacks your browser or redirects it to a malicious site, etc.

That attacker could be on a network close to you, or a network close to the site. It's not a matter of trusting or not trusting the original site that serves the HTTP.

Therefore it doesn't matter that you're just accessing the site as an anonymous visitor without an authenticated account, just viewing public content.

Re:What Is miniKanren? by mcmcmc on Thursday January 02, 2025 @06:19PM (#42580142)
Fair enough. All depends on your threat model and risk appetite
Re:What Is miniKanren? by will_byrd on Thursday January 02, 2025 @06:43PM (#42580353)
Thanks. We're working on an improved site with HTTPS. Coming very soon, I hope!
Re:What Is miniKanren? by scotty79 on Thursday January 02, 2025 @09:20PM (#42581542)
I just mostly mourn all the caching and sharing potential along the way gone in the world where everyone totally needs a private secure tunnel to the very server containing most mundane, public and irrelevant information.
Re:What Is miniKanren? by rixed on Thursday January 02, 2025 @10:28PM (#42582043)
My caching proxy disagrees with that. My threat models are bad 4g connections and greedy telcos.
Re:What Is miniKanren? by avmich on Friday January 03, 2025 @12:33AM (#42582816)
> Tampering of content has nothing to do with your privacy; it's a security matter. A nefarious man-in-the-middle could insert content which attacks your browser or redirects it to a malicious site, etc.

Curious, why that doesn't happen when I access https://verybadguy.tld/this_page_absolutely_doesnt_have_harm... for the first time? Isn't it the browser's job to handle harmful content?

Re:What Is miniKanren? by kazinator on Friday January 03, 2025 @01:19PM (#42588103)
Browsers are indeed supposed to make it safe to connect to anything; it is their job. They have not had a perfect track record, though.
Re:What Is miniKanren? by awwaiid on Monday January 06, 2025 @10:27AM (#42611337)
Not sure if you heard, but recently more net neutrality rules were struck down and that is expected to continue -- so ISPs (who have already done this) are allowed to inject / replace ads with their own ads, as an example. (https://thenextweb.com/news/comcast-continues-to-inject-its-... was the first article I hit in the googles)