logifail

58 ms·

901.
by logifail 4y ago
> Just make the AI also generate a proof that its code meets the spec. How would one tell if the AI-created "proof" is both accurate and adequate?
902.
by logifail 4y ago
> Dell R650's that draw 384W Umm, I'm not sure I can afford the electricity to run kit like that :) I'm currently awaiting delivery of an Asus PN41 (w/ Celeron N5100) to use as yet another home server, after a recomme
903.
by logifail 4y ago
> The 1U server is however likely to use more than 200 Watts of power Q: Why would a 1U server need more than 200W if you're doing nothing more than basic network services? I have mini tower servers that draw a fraction of that at i
904.
by logifail 4y ago
Airlines don't have to honour mistake fares, and this was definitely one of those. FWIW, I got away with it. If you miss a flight and the airline determines you booked it (typically as a return or hidden city leg) without ever intendi
905.
by logifail 4y ago
> This may happen once in a while due to some algorithm weirdness, but it is absolutely not "often" the case It's completely predictable, in fact I checked this claim at Google Flights before posting. Say you want to fly f
906.
by logifail 4y ago
> Airlines also do it to prevent people from "gaming" the system. People buy multi leg tickets and miss parts of the flights purposely in order to get higher airline status and points, or just to get to one city cheaper. Someti
907.
by logifail 4y ago
> it's just a quick courtesy call to the airline to let them know you're an international fugitive from justice For the return leg, you check in online, download your boarding pass, and ignore it. You "had a flat tyre on t
908.
by logifail 4y ago
It does depend on what kind of ticket you're travelling on, and what restrictions apply to it. Full disclosure: I have a bit of a history of flying on what some call "mistake fares". Back in 2013 I flew "from Europe to
909.
by logifail 4y ago
> This is a result of a strange pricing algorithm mistakes, right? Surely this doesn't maximize profit. The Saturday night stay rule is alive and well in certain markets. Business travellers like to be safely back home before the
910.
by logifail 4y ago
> Pro tip: Always buy a round-trip ticket when you plan to flee fraud. It looks better in court Another pro tip: round-trip tickets are often cheaper than one-way tickets, even if you don't plan to return! The "return" can
911.
by logifail 4y ago
> Someone who the US deems a danger Someone who is apparently so bad they can't be allowed through airport security into an aircraft, but only if that aircraft is travelling to or within the US? Yet someone who is apparently so inno
912.
by logifail 4y ago
> downloading the no fly list and offering to share (This is a genuine question) but where's the actual value in having this list? I'm afraid I regard it as yet another piece of security theatre. Full disclosure: my passport al
913.
by logifail 4y ago
As they say on Wall Street, "Nobody rings a bell at the top or the bottom of a market". Timing their exit to lock in $1.8bn of paper gains does look great ... with the benefit of hindsight. If the valuations had gone in the othe
914.
by logifail 4y ago
> Key costs like hosting are way cheaper, back then you probably had to rack server in a data center, now you can deploy a free/cheap PaaS with a free/cheap database while you find PMF. Back in the day I have delivered several
915.
by logifail 4y ago
> Some startups do, some don't I'm not sold on pivoting, and I'm not the only one. See: Too Many Pivots, Too Little Passion https://hbr.org/2012/09/too-many-pivots-too-little-passion
916.
by logifail 4y ago
> If, however, you have substantial savings to deploy so that you can get far enough to afford to pivot 1-2 times until you find product-market fit, then PG is right and taking the plunge is the right thing, regardless of business enviro
917.
by logifail 4y ago
> states that tend to regard international law as optional I know HN isn't supposed to be about politics, and not wishing to get into specifics and thus provoke an detailed argument, but many of us know of plenty of other "frie
918.
by logifail 4y ago
> Wrong decisions are never made, they're always justified by current circumstances or hypothetical future circumstances. There are plenty of examples of managers who are simply bad at making good decisions. Full disclosure: I'
919.
by logifail 4y ago
> It’s more likely that the AI would free up public defendants from things like having to answer their clients’ questions, as they could just ask the AI, allowing them to be more effective Public defenders would be more effective if they
920.
by logifail 4y ago
> You're basically betting that the crypto market will collapse By coincidence, my wife was watching The Big Short (2015) with our eldest two kids tonight, it really is worth watching [again] if you've not seen it [recently]. &
921.
by logifail 4y ago
> Who says personalised ads are better performing? I deliberately made my comment more generic, this isn't just about ads. Any senior manager worth his or her salt knows that staying on the right side of the law is significantly m
922.
by logifail 4y ago
Surely no CEO would actually struggle to choose between legal and poorly-performing vs illegal and better-performing?
923.
by logifail 4y ago
> The process is stupid-simple and takes a matter of hours, any idiot could do it, and the difference it makes in effects (racemic vs optically-pure D-Amphetamine vs D-Methamphetamine) is obscene (My organic chemistry is very rusty, and
924.
by logifail 4y ago
This is another click-baity title submission which doesn't remotely match the title of the source ("How Transportation Technologies Shaped Empires") :(
925.
by logifail 4y ago
> Why does said 10 year old child have unfettered access to the internet? Q: Of the kids in my 13 year-old's class, what % would you guess have WhatsApp on their phone? Spoiler: "If you live in a country in the European Economi
926.
by logifail 4y ago
> the next moves for countries that have phased out ICE for EV, such as Norway "Phasing", perhaps. "Phased", not yet... Approximately 19% of passenger cars in use in Norway are (pure) EV, with 7% plug-in hybrid and 5
927.
by logifail 4y ago
> There's a huge amount of story, and then at the tail end there's the recipe. It's all for engagement, but I'm never engaged. It's not about engagement, it's about copyright. Recipes - in the form of lists
928.
by logifail 4y ago
> That actually seems like a great use case for AI; identify all videos about (topic), differentiate between high and low quality ones (as preferred by you or people similar to you), abstract the information into conceptual videos or sch
929.
by logifail 4y ago
> Clearly he meant https://www.ic3.gov/ but tagged a wrong account I use Twitter solely for moaning at service providers who respond [far!] faster on Twitter than they do by phone or email, but .. umm ... doesn't th
930.
by logifail 4y ago
Could it be that some parts of the mainstream media sees Musk as a partial replacement for Trump, a great source of over-done outrage stories, clicks and ads?

More ›