skysight-inc/HackerNews huggingface dataset:
They don’t keep logs and if you don’t trust that, they accept crypto.

Also, do you really think google doesn’t know who you are?

One would have to go to extraordinary lengths to hide your real name nowadays from even a talented curious searcher never mind google itself.

Even Ross Ulnricht couldn’t do it. And that boy had a LOT to lose.
If most people shifted to other forms of transit instead of putting such demand on the roads

I'd say this is an example of putting the cart before the horse. Why would you expect people to shift to other forms of transit before the road network supports these other forms of transit?
What Happens If You Destroy a Black Hole?
I'd like to think that Canada has a clean enough reputation as decent global citizens that they've earned the benefit of the doubt on this one.

India aspires to be a global superpower, and since there's few decent role models for how to do that they've decided that "reckless impunity and belligerence" is how it's done.
Does anyone use Matrix/Element for a serious workplace, instead of something like Slack?
“inevitable”? hardly. how many first-year Leafs are out there on the original battery? a lot, i’d reckon most. how many dead Leafs are out there which were totalled because of needing a new battery? certainly less than those which were totalled due to rust, collision, etc., ie the things that kill gas cars too.
Relevant Worf:

https://m.youtube.com/watch?v=kPtcN2rU_EM
I wish every website I visited had comments of this quality…
If you put 10 passengers in one fancy business railcar, it will cost 50c/km and reduce greenhouse emissions relative to flying by half rather than by a factor of ten.

Night/hotel trains only make sense with decent density.
Apple couldn't build a modem chip better than Qualcomm.

The top comment should always be a one line summary of the click bait title.
When I need to install some random program, I can't just create a container and build it. Instead, I need to install a pile of random dependencies, and then homebrew, macports and xcode all fight with each other.

Also, the MacOS window manager is objectively terrible. "Move window to right of screen" involves a keypress, trackpad hover, and menu selection. "Maximize window" doesn't exist. "Minimize window" makes the window inaccessible with command-tab and option-tab. Neither of those keyboard shortcuts function properly if there is more than one monitor plugged in.

Fractional scaling breakages still exist.

The font renderer is de-featured (vs the open source ones) because it is working around some expired patents involving true type hints.

It can no longer open postscript files.

I could go on for a long time.

MacOS makes a passible dumb terminal for accessing remote development environments though. It also integrates in well with iOS, etc.
I thought is-even/is-odd were satirical? Granted, satire echoing these same points... but, you know, just for-the-record.
All that. And also, the environmental cost of producing batteries is terrible. That cost is hidden (in the mining and making of batteries, and probs the disposal) as opposed to during the lifetime in the fuel that is burnt. This is to say, it's that the environment justification doesn't hold either.

So why are governments committing to these non-sensical goals?
It isn't necessary to know theory for these visualisations to be useful, both Traf and Paperproof (and sequence calculus trees!) should, ideally, just reflect what's already happening in your mental image while you're writing a Lean/Coq/on-paper mathematical proof.
But I agree it warrants a tutorial/explanation, got to write it.
I think it might be particularly unclear what's happening if you're just looking at the full tree of the already-proved-theorem. As we're writing the proof, hypothesis nodes (green, what we have) move down; and goal nodes (red, what we want to have) move up. So it kind of goes from both sides to the center, and you should read it "from both sides to the center", takes getting used to. Here is a video of what's happening in Paperproof as we're writing the proof e.g.: https://www.youtube.com/watch?v=0dVj4ITAF1o.
Can't change the head when they are protected and protect some French interests. Some people definitely find kakistocratic regimes advantageous. How can one do business then?
Some foreign investors even have to leave some countries because it's impossible to do proper business. That's a shame.
I've been using android phones since 2009 and am highly considering a switch to Apple for the next one.

Along with the reasons you state, the ecosystem is really messy. I've bought Nexus/Pixel phones for the last 10 years and continue to be bummed by their performance.

Pixel 1 XL was fantastic, but after about 2 years the camera kept failing. 3+ seconds to load, and it would commonly crash. Ultimately the battery life degraded, and the replacement battery degraded within a couple months, so I moved on.

The 3a fell out of my pocket and broke 2 months prior to the end of security updates. That was a decent phone overall, but not supported by Google as long as I would have liked.

Pixel 6 Pro has been fine so far, but my wife has been having issues with her Pixel 5. Slow performance, unreliable cellular connectivity, etc.

"Don't buy Pixel phones" could be the lesson here, but alternatives are arguably more of a security nightmare. My experience with Galaxy phones has been that they're preloaded with an incredible amount of junk that needs to be un-installed. With Pixel it's exclusively Google apps, most of which can be removed. That gives a smaller privacy and security concern than having 30 different companies with their apps pre-loaded (and possibly not removable).

> Apple's no angel either IMO, but I feel like it's worth a shot inside the walled garden for a bit.

I've hated on Apple a lot over the years and am disappointed that switching platforms seems like the best move after all these years.
I'd be concerned if a neighborhood block's electrical infrastructure is fragile enough where even 12kW shared across multiple chargers poses a hazard.

I don't like how these concerns only get raised about EVs and are seldom raised over appliances that utilize far greater power over longer periods of time like individual air conditioning units
Thanks for your reply Kevin.

just to share what I was thinking while out walking this morning.

I doubt very much we'd see much come out of ML in the capacity of
exhaustive search or pattern seeking vis a vis "large models", because
maths is to language as intergalactic space is to a teacup.

Doesn't feel like there's a generative potential for stumbling upon
"proofy-like" things the way it works with natural language.

But I imagine AI in a few years being able to train on a great corpus
of known proofs. We show it how to do constructive, deconstructive,
contradiction, induction, equivalence...

And hopefully what it gives us is a meta insight into the nature of
proofs themselves, perhaps by finding new techniques, or revealing
refutations... that sort of thing.

Those would be tools useful to mathematicians, but I think the BIG
finds will still be by made humans who think for 10,000 hours about a
problem.
To be skeptical is a good trait. But in this case, I trust that this exec, who has intimate knowledge of the program and the challenges it faced over its whole lifespan, knows broadly what went wrong.

As discussed in the document, they did thorough market research and spent a lot of money on making this work. I too don't believe everything I read, so I will dismiss your explanation of the program's failure ("Google as an org... has a superiority complex") as a prejudiced and irrelevant assertion.
'ineffective' and 'effective' do not have very strict definitions. Something could be ineffective compared to how effective it was presented as being, such as the recent COVID vaccine. Here is one example of Joe Biden spreading vaccine misinformation: https://www.newsweek.com/joe-biden-2021-video-saying-vaccina...

"[COVID] vaccines are ineffective" is a fair assertion if the standard of something being 'effective' is preventing getting infected at all.

A better way to challenge the validity of that assertion is to make more effective COVID vaccines. In my view, bypassing the stage of creation of spike proteins and more directly getting the cells able to produce the relevant antibodies when needed would be a better vaccine, possibly more effective. It would also likely be safer (as the spike protein itself is dangerous, and the immune response to it can also be dangerous, by the sounds of it when the vaccine has not stayed localised in the arm but moved to the heart), so a vaccine that has solved that issue would do better when looked at in terms of a risk / reward ratio.

"[COVID] vaccines are effective [enough to be worth the risk of side-effects]" is something that would be better addressed through improving the vaccines themselves, possibly through improved public messaging, but I don't think as yet the data is there that supports that in an unequivocal way, and improved vaccines with greatly improved efficacy and safety which are then accurately described would be the best way to get the message accross.
Your earlier comment made it sound it like it was a fair trial for the 329 victims(including 82 children) on board the Air India flight and their families.

Did the presumably new information change your mind? Or do you still think it was a standard part of a liberal democracy?

Here's the then Canadian PM's apology after 25 years. https://nationalpost.com/news/canada/stephen-harpers-apology...
Prenatal screening helps fetus with Cystic Fibrosis to be born healthy
Keep it fun. Annual competitive bouts for the title.

Option one: The winner becomes <dad|mom> Prime.

Option two: The loser gets to live with not <dad|mom> for a year. Or runner-up.
The US is not going to war with India for Canada over this.
Yeah, I use DDG by default now, and only use Google for hard searches – and even then, I'm continually surprised by the frequency of terrible search results on Google these days.
I think the point is having stable recurring revenue. Giving you unlimited usage means on average you'll be paying more than you use, but, unless you're seriously abusing it, you can technically cost them more than you pay.

Just like you can go to the gym every day - if everyone with the membership did that they would not be able to function. But it doesn't mean you can't.
How is npm a version control system?

npm is a fairly standard package manager, much like many others, pretty good even.

I don't know of anyone who says that package managers and source control solve the same problems. They both happen to use the word and concept of "version" but to mean different things. Yes, some projects vendor in their dependencies into their source control system, but they must either manually verify package version compatibility or use a package manager like npm to help them do it. And vendoring doesn't work for actual packages published to the package repo. If they vendored dependencies then every dependency would be duplicated always, defeating the very purpose of a package manager!
> Was the Google self-driving car thing vapourware? It never went anywhere.

Well, it goes somewhere: people are actually being driven around Pheonix, Arizona [0] using those cars. It's just that it is not named "Google self-driving cars" any more: it was spun into its own company, Waymo [1].

[0]: https://waymo.com/waymo-one-phoenix/

[1]: https://waymo.com/
When will Android phones get video output on their USB-C port?
No. He bought 260 options, which translate into the right, but not the obligation to purchase 26k shares at a certain price.

260 options is WSB lotto territory. At $4 each, that’s a thousand dollar bet. We’re not exactly talking big money here.
A rewrite of a webp decoder into Rust already exists (image-rs has a decoder for webp). I'm sure there is some polishing needed but it's nothing a company the size of Google can't afford.
> I don't see who this harms

Every trade has a counterpart.
Spirited Away 2: Rise of the Bathhouse
Do you mean PEX-Al-PEX? It’s mostly obsolete now, in favor of “oxygen barrier” PEX. The latter is generally approved for potable use, but there’s no reason to use it. It’s intended for closed-loop heating or cooling systems that contain non-stainless iron alloys, and the idea is that any oxygen initially in the water will be rapidly depleted, and deoxygenated water is not corrosive.
You mean calcium reduces lead absorption?

Edit: Ah, vitamin D helps calcium absorption, which then reduces lead absorption.
Not any more. SQLite received support for RIGHT and FULL OUTER joins in 3.39.0, released over a year ago.
> There are probably a bit too few customer and worker protections, but on the whole, airline deregulation shows just how bad command economies are at planning and allocating resources.

I would say that it demonstrates that, where competition exists, deregulation can achieve some pretty good results. It's worth noting that consumers can choose which airline to fly every time they fly and the cost of switching is non-existent (absent loyalty programs which is why they're called loyalty programs).

It's also worth noting that since airlines are pretty critical infrastructure, when there's an economic downturn and the government bails them out, the government is essentially subsidising the discounts of the previous 10 years and generally doesn't do it for the very small airlines that aren't too big to fail so it's also still a bit government-ish.
Just poking around matrix.org, it's not clear exactly how one would "route [some] $[s] to support development" other than paying someone else for a hosted server. Our open-source project just switched to using Matrix from IRC; we're not really big enough to warrant hosting our own Matrix server, so most of us are just using matrix.org. We have some industry funding, and try to support other open source projects when we can; but not on the order of $250/mo (which if I'm reading it right, looks like the cheapest product on element.io -- $5/user/mo, min 50 users). If matrix.org accepts donations, it's not at all clear from your website.
CSRF Vulnerability Leads to Account Takeover in Casdoor IdP
So airline points are basically a CBDC. Neat.
So where would one go where there are lots of things to do?
> AdBlue is a massive pain in the ass and I'm glad not to have to deal with it.

What are you talking about? I have a diesel and you really only need to top off DEF about as often as you change oil. Your service people will top it off for you, and just about any place that sells diesel in America sells DEF too.
> Strong type systems can give provably correct code.

In theory, perhaps. In practice, the compiler / runtime will have bugs. So you still need a sandboxing layer. Best to do both.

(The sandbox will have bugs too. But if you have two layers, hopefully it's hard for attackers to get ahold of zero days for both at the same time...)
I've been a Kagi customer since the beta, I'm still happy to pay for the privacy and for certain UX improvements they have, for instance being able to give higher or lower weight to different websites in search results. I do not think the quality of their search is any better than DDG or Google. If I am being honest, it's actually worse for a lot of things, if you don't factor in that you can block bad websites without a plugin.

Even paying for Kagi, I still go back to Google for any really open-ended searches where the search engine's ML can actually be helpful. For known-item searches ("fandango showtimes Seattle"), or simple searches ("pumpkin bread recipe") which are fully 90%+ of what I search for, Kagi is just fine, and they aren't after my identity (just my money).
Crossrail has just been an incredibly success in terms of public infrastructure. But outside of London its true. There are cities that are huge from a European perspective without even a basic S-Bahn tunnel.

The UK is the perfect place for High Speed rail, and part of the problem with it is the idiotic bending over backwords for NIMBYs and the generally terrible rail planning practices. Not having built this in like the 80s is insanely dumb.

If we are talking about poor people then bus reduction in bus service is actually by far the biggest deal.
> The sooner governments are forced to stop making infrastructure decisions that further siphon money out of the pockets of individuals and into the pockets of big automakers and oil companies, the better.

I'm afraid it's not going to be anytime soon. What you are doing is government acting in service harder for the benefit of big corporations.
I do think Kagi adds features that improve on what Google offered in its heyday and saying meh there's nothing new doesn't capture the full picture, but I generally understand your vibe.
By preventing malicious links from taking over your web browser?

That being said, I'm still puzzled why email programs don't differentiate mail from your bank vs. mail from yourbank.phishing.site.
> I still vividly remember being at nodecamp in 2012 or something listening to someone tell me how great it would be if the entire OS was written in javascript.

That reminds me of Gary Bernhardt's "The Birth & Death of JavaScript" talk[0], which one of the best comedy programming talks. Despite the comedy, it's also a half-decent idea.

[0] https://www.destroyallsoftware.com/talks/the-birth-and-death...
Bill Gurley’s recent talk is worth a watch https://youtu.be/F9cO3-MLHOM
btw: Tesla navigation system is very likely based on OpenStreetMap data and not on Google (even though the map shown is a Google map)
Show HN: brane, a tool to log and query your thoughts with the power of AI
Ok, if you’ve got thousands of players in the game then you’re doing _something_ right, even if the raycasts aren’t helping :)
Isn't Google Analytics blocked by pretty much any ad blocker?
You can also do more granular backups with software like iMazing

https://imazing.com/
Show HN: Nbagent – A Nullboard backup agent for Unix systems
To solve your dillema as a Greek. Both the continent and the planet have the same name. Europeans it is.
It is closer to $15k from Tesla :lol

But my comment was about third party options with lower range. $6-10k depending on the range selected, IIRC. For a car with high mileage already, that'd be a good way to turn it into a commuter.

In practice, I'm not seeing a significant difference between the way the 3 is being treated and the way similarly sized vehicles are treated.
Much like youtube, I'm fine paying $10/yr, but $10/mo is pretty steep.
T-54/55 can shoot while moving, but the accuracy is bad. The real question is whether that matter.

If the T-54/55 is going against tanks, it has already losing because those should have been taken out with ATGMs and HEAT drones. If it's going up against trenches, inaccurate fire while moving doesn't matter because the tank will be getting super-close anyway. If it's firing at APCs, then stopping really doesn't put it in any danger and they're in for a very bad day.

Until we can work out the point defense issue vs drones, cheaper "disposable" tanks aren't a terrible idea. That new tank design could probably outperform the T-54/55, but the tank you already have that is good enough to support infantry assaults is better than having to make another and leave it to rot.
Show HN: GrabbrApp – Securely Grab Certs and Malware from Sketchy Infrastructure
I've been in the information security industry for quite some time now and at every company I worked at, I always ran into the problem of grabbing malware samples, certificate information and port scan information from malicious or sketchy infrastructure. There were hacked together solutions, but they were bad, and they didn't scale.

So, I built GrabbrApp, a SaaS platform that uses short-lived VPS infrastructure to grab malware and certificates before detonating, leaving no trace of your research.

GrabbrApp has been live for several months now with over 200 users and a ton of requests. I'd love to get HN's feedback, though if it's about the UI, I know, it's not pretty ;)
native console support does not just mean compiling to console architectures
> Regulation routinely reduces cost.

This is just plain wrong. Outside of monopolies (very few cases) regulations increase cost.

Now, there are things more important than cost but that is a different argument
I agree that profiling is the ultimate arbiter.
Some searching found http://logitext.mit.edu/tutorial . It tries to explain sequent calculus with an interactive gui prover. Not sure how approachable it is... I've gotten too used to these things to know how to explain them properly.
Yeah, I'm strictly talking about search results. That's the main thing I care about. No ads is nice, but if I can't find information I need then that's not very useful to me.
brane is a very simple and somewhat naive tool to write down quick notes during the day and get insights about your life, with the power of GPT.

The tool made my therapy sessions more productive and richer in details, and I hope it can help others too :)
> a fascinating world with a salty, subsurface ocean of liquid water—possibly twice as much as in all of Earth’s oceans combined.

If we brought water back a container of water from Europa would this be the largest amount of new water entering the earth since planets struck it billions of years ago?

I briefly googled it (I dont know much about this stuff tbh):

> The water on our Earth today is the same water that’s been here for nearly 5 billion years. So far, we haven’t managed to create any new water, and just a tiny fraction of our water has managed to escape out into space. The only thing that changes is the form that water takes as it travels through the water cycle.

Anyway interesting thought experiment.
The subsequent evidence is so strong that I don't think it's appropriate to call it faulty. In the paper "Life After Lead" they study a boundary effect of children who were just above and just below treatment thresholds for blood lead levels and the outcomes in terms of crime, school success, etc are stark. Figure 4(F) particularly.

https://www.aeaweb.org/articles?id=10.1257/app.20160056
> realistically new greenfield projects started today will likely take 10+ years to become widely used, if they do at all.

I'm pretty sure that even now a lot speaks against using rust for greenfield projects precisely for that reason: few people want to integrate Rust into their build chain. You basically always have to have a compiler that's 1 release old or otherwise you cannot compile new Rust software like the very widely used time crate.

If you are a new and unproven format, do you really want to bear that hit? You could make two implementations, one in C and one in Rust, but that will mean you spread your probably quite scarce engineers over two projects.
Some platforms actually do account for this by having special "developing countries" discounts, or some other euphemism like that. IIRC Gumroad is one that supports this.
Encouraging societal contributions is valid, but let's remember that poverty often results from systemic issues. Compassion and kindness are key.

Having a job doesn't guarantee a positive contribution, even with a significant income.

- Fossil fuel work worsens climate change and health issues.

- Fast fashion exploits labor and creates pollution.

- Tobacco jobs strain healthcare systems.

- Planned obsolescence generates electronic waste.

- Arms manufacturing can lead to conflicts.

etc. etc.

Your viewpoint appears to stem from a place of privilege and lacks consideration for the broader social and ethical responsibilities we all in the "civilized society" should share to be really civilized.
You are buying the tesla for what like maybe $10k or so used lets say. Are you really going to pump $6-10k into a car that's only worth $10k? I mean people walk away from cars when they get a $2000 quote for a transmission.
It’s Terrible nonetheless
Well this is a healthy dose of propaganda.
You might want to look at rigging something up with their API. To use their API, you pre-pay for credits – 25$ for 1000 searches via the API.