skysight-inc/HackerNews huggingface dataset:
I understand that companies like Taylor benefit from income streams being predictable. But as per the video it seems that their revenue model was predicated on having as many incidents as possible, each billed separately.
We stopped beside the trailer. My grandfather looked at me, and after a bit of silence, he gently and calmly said, “Jeff, one day you’ll understand that it’s harder to be kind than clever.”

What I want to talk to you about today is the difference between gifts and choices. Cleverness is a gift, kindness is a choice.
Bitcoin is fractional reserve. There isn't $982B in currency backing it. If everyone tries to sell at the same time it'll collapse after $10B or so leaves. Prior collapses have been from small enough heights that individual Billionnaires like Jack Ma have been able to rescue it. At some point its going to hit a crash where a billion here or there won't be enough to bail it out when it goes down.
Unfortunately, it is hard to get those numbers correctly. COVID patients die because of multiple organ failure and unless the deceased was already tested and verified for it, you can't attribute the death to COVID officially. A lot of people pass away without showing visible symptoms or without realizing they need immediate medical attention for COVID.

It would be good to have that attribution and that will require testing the deceased, but given the load on the system, everybody can extrapolate the scale and act accordingly.
Do you have any explanation why this is purely a McDonald's problem, and other fast food places who use essentially the same ice cream maker have much, much less down time?
I didn’t find HzD voice acting to be atrocious

Does anyone have a side by side comparison of good vs bad voice acting in video games, I know plenty of example of universally bad voice acting but when it comes to flagship or AAA titles the criticisms seem arbitrary

This is analogous to someone telling me Red Dead Redemption has bad voice acting or Detroit Become Human was the worst due to that reason

I cant really tell the difference and I’m pretty content with that, but curious about what other people are judging
In my case, it did involved reading binary files from ArrayBuffers where some attributes were stored as int64. I've been using DataView to read BigInt64s and then used those frequently. Was terribly slow. I've then reverted to alternatives wherever possible, e.g. immediately converting the BigInt64s to Numbers/Doubles where 53 bit integers were sufficient, or splitting down to two 32 bit integers and do some more involved bit magic on them. Much faster, but overall I wasn't happy with the whole process and complexity. I'd rather have native 64bit integer values in JS.
My really old Lenovo Thinkpad started insisting to reboot after shutdown a while ago, and after a hard drop that left the battery dislodged, it froze after being powered on.

I had to force it to power off, but that apparently broke it, it won't light up the screen and respond to inputs despite blowing the fan. I disassembled the screen and replugged the data cable, pressed power button in various ways to no avail.

I was about to give up before reading a forum post describing a similar laptop, and emptyed the RAM slots and found it beeped when powered up, so the CPU is OK.

I then unplugged the battery and CMOS battery and pressed power button for a while, put RAMs and batteries back on, and it just revived.

Removing RAMs made the difference, it's done if RAMs were soldered on.

It happened again a few days ago after it was left with no power, and I had to do those thing again, otherwise it has no issues. I think the CMOS battery is probably dead.
That rule was only implemented this year, so there is no data on that yet.
If you're fit to drive a car, you're fit to ride an electric tricycle at least in mild weather. Obviously we need options for people who can't drive anymore, and frailer people in bad weather, too. But that doesn't mean that bicycles can't play a _much_ larger role in last mile transportation than they do today.
haha ok I'm staying with Rails
Does TDD here mean ‘Type Driven Development’ a la Idris or, as I assume (and seems more likely) does it mean Test Driven Development?

If you mean test driven, I don’t think I have heard Casie discuss anything remotely close to the standard presentation of TDD strategies. I would imagine, based on watching a large amount of Casie streaming, both alone and with Blow, that he would view testing (as in TDD) as unproductive for his particular style of development and his goals as a programmer. But, since it’s in my brain now I will ask him next time I catch a live stream just to satisfy my curiosity.

I can’t speak to any discussions specifically about TypeDD. But would bet Casie would be wholly uninterested and consider it theoretical academic fluff that pulls away from the fundamental data transformation work of development.
Huh, that sounds exactly like product engineers interfacing with business :P
> I wish Twitter would put up a better fight on this

India banned TikTok last year after the app was determined to be "prejudicial to sovereignty and integrity of India, defence of India, security of state and public order". Twitter doesn't want to be next.
This network would actually bring MORE moderation. People could subscribe to moderation filters similar way as in adblock. Antinazi, antiantifa, antilgbtq, anti-jehowa-witness... No extremism, just nice business and technical discussion. If some filter curator fails, you just replace its filter with another one.
It appears that roughly the point of the
OP (original post) is that in math there
are two cultures (1) people who want to
develop new fields of math with
definitions, theorems, and proofs and (2)
people who want to use math, all or nearly
all old, to solve problems usually from
outside math.

Apparently the OP is from the UK (United
Kingdom). Here I attempt to provide a
view and explanation of those two cultures
from and for the US.

Math got taken very seriously due heavily
to WWII and The Bomb. There The Bomb was
seen as heavily from Einstein's E = mc^2.
So, suddenly the US (especially Congress)
concluded that for US national security
the US had to lead in science and math.
Over the years after WWII, various events,
e.g., Sputnik, reinforced this conclusion.

One result was that the US NSF had funds
for math research for culture (1) in the
US research universities. The emphasis
was on what was really new; that is, if
there was to be another E = mc^2 result
from math and science, then the US wanted
to be the first to discover that result.

But the NSF was not much interested in
funding math in culture (2).

Then there was some irony: For US
national security, the NSF was funding
math in culture (1) while also for US
national security, especially the Cold War
and the Space Race, the US DoD and NASA
were heavily funding applications of math
via culture (2). In those years, there
were good culture (2) careers, especially
near DC, for people with comparatively
good backgrounds in math and computing.

But in the profit seeking, practical,
commercial US, away from the motivation of
the Cold War and the Space Race, math from
either culture was ignored, laughed at, or
in rare but overwhelming cases terribly
feared.

The there was and is help for culture (2):
The US research universities also commonly
have schools of engineering, and there are
journals eager to publish applications of
math.

E.g., the usual criteria for publication
are "new, correct, and significant", and
an application of some math that is a new
and correct solution for a significant
practical problem can be seen to satisfy
these criteria and qualify for
publication.

So, net, currently, an application of math
-- maybe all or nearly all old math --
that is powerful and valuable in practice
-- i.e., some secret sauce -- can count
on little or no competition.
Sure, I just hacked something together as I wanted it to fit around my existing workflow. I’ve been using Instapaper since forever, and I wanted something built around that instead of “every URL I visit”, as most shit you read has a low signal:noise ratio.

I wrote some Python to drive Selenium to get the URLs (not the full text) from Instapaper, then pass those URLs to newspaper3k, where a lot of the downloading and parsing work is done. I then save the output to SQLite. From there I was previously having ES build indexes but recently just switched to hosted Algolia, which seems to be basically free for my use case and has some nice libraries for building real-time search front ends too. I’ll be trying lmgrep as a substitution though.

The key thing about searching the text of articles you’ve read is that you want an intelligent ranking of all articles that bear on a subject, in order of relevance. That’s not something you can get with grep/ripgrep. ES is pretty good at it out of the box. But it’s also a pain to set up and run - you’ll probably end up needing something like Docker.

There are a thousand different ways you could do something like this - this is just the way I do it.
All this is built on the terrible assumption that Social Media is critical to solving complex problems of society.

All they do is dump waste amounts of shit on the plates of decision makers and then crucify them for problems no one can solve or have capacities to solve only badly.

People think this is a great way to take out buffons like Modi or Trump. But the truth is such systems will take out anyone propped up especially dealing with complex problems.
Someone in India can perhaps shed more light but from what I read it is legal because the misinformation in the blocked tweets can be considered to be disturbing the tranquility by inducing panic (https://www.indiatoday.in/india/story/nrc-protests-caa-prote...). It seems somewhat like the “yelling fire in a crowded theater” situation, although I understand in the US that ruling was clarified later to be more nuanced.
GitHub recently changed its policy to not allow CI runs on first time contributor PRs until approval, and to flag PR maker instead of the repo owner on potential abuse.
more end of the internet, from 2002 https://www.youtube.com/watch?v=_uXtWIg_A7M
While uncommon, this happens from time to time when a lot of people try to withdraw money from a bank: in times of crises, when there are rumours of troubles at a bank etc.

And no, not even banks have that kind of money backed up by real assets (that's why there's usually a government-mandated minimum insurance on all deposits).

And you want me to believe that some scammers with no accountability have 11 billion dollars in assets backing up their claims? Just because they have the magical word "crypto"?
I find it insane someone from corporate doesn't think 10-20% downtime on a product they make heavy profits from isn't a big deal. And yes I know McDonald's is a real estate company and the franchise owners are the ones losing money etc. but still.
Those are minor growing pains, and irrelevant when compared to the nightmare of navigating fifty independent slack instances or convincing an entire group to move their communication onto a private solution. For me matrix has been absolutely transformative. It's letting us grow our project's realtime communication without bounds. Because it's open and federated, without the political baggage of tools like Signal or the ancient cruft of IRC, we can convince anyone to meet us there. There are almost no impediments to it's use. The clunkiness is very minor. Although they may lack some subtle UI polish, the tools don't crash and work more than well enough. I'm looking forward to when the world meets on matrix.
I forget where I saw it, but someone did a study which showed that bike ridership was strongly correlated with the quality and maintenance of the biking infrastructure and either only weakly correlated or not correlated at all with the weather.
My expectation isn't that a US tech company would break local law. It's that it would get out of market where it would otherwise be forced to do things that doesn't agree with some fundamental values of the company.
I thought for a second it wouldn't work like that, but it does!

You are increasing the length of one of the sides by 33%, but decreasing by 25% to get to roughly-a-cube. The product of ratios is 3/4 * 5/4 = 15/16, or about 6% underestimate.

Of course, this is already pretty close, and the third side being 107 and not 100 corrects for that.

In the end, that's because (1-x)(1+x) = 1-x^2, so if if the amount we're doing this with is under 20%, our error is under %4 (i.e. pretty good for rough estimates).
> To me, C++ is an absolute train wreck of a language and choosing it for a new project borders on malpractice.

Personnally I tend to think exactly the opposite. And choosing a brand new hype language because "it's shiny and fun" on new projects that will have to be there for 20 years is just a sign of being immature and a malpractice.

There is no guarantee your shiny language will be alive nor even supported on my next gen platform. When for sure, the good old safe set: C++, C, JS, python, Java will be there and alive, even in 20 years from now.

And the result you will probably struggle and spend more time to get your nice shinny Rust code running correctly on iPhone/Android 20/NG-Cloud than you will ever to debug a damn core file in C++.

To comment ironically on your post. It is more to "zealots" and "evangelist" like you that I personnally refuse to talk. These people are often more interested with playing with the last fancy tech available than producing anything useful and sustainable in their work.
What a brilliant and intelligent expose. I look forward to hearing the collective response of the 16000 US McDonald Franchisees owners :)

Afterthought: since franchisees are locked into the C602's I wonder if they could do anything about this even if they tried. Sigh.
But what exactly was the problem you were trying to solve?
From my experience, among academic computer science professors, the attitude is that computer science is about the "fundamentals" of computing.

E.g., once I was talking with such a computer science professor and listing features I wanted in a better programming language, and immediately his reaction was that for a professor developing such a language would be "academic suicide".
I moved away from full C++ development in 2006, yet C++ still is the tool I reach for in native code, because many libraries are only available in C++ or C, and I definitly will not be writing C unless obliged to do so.

Microsoft had a project to move Windows mostly into .NET, sabotaged by their Windows team, which a decade later rebooted the ideas using COM instead, an idea that has been a commercial failure, while everyone just keeps migrating to .NET.

Microsoft Security team pushed a best practices paper that new projects should use:

1. .NET

2. Rust

3. C++ with Core Guidelines, with Visual C++ analysers turned on

4. They also have a security annotations for C and C++ code (SAF)

Google castrates the use of C++ to app developers in Android to writing native libraries to be consumed by Java and Kotlin, is behind the effort to adopt hardware memory tagging alongside ARM, the reason why Linux kernel no longer uses VLAs and the big pusher for Rust on the Linux kernel.

So it is not just simply "they use C++".
I’ve always liked UML, but seen it as a whiteboarding standard, rather than a blueprint for code.
Are you saying the tweets mentioned in the article are false? (from Vindos Das, Kapri, Hansraj etc)
Is the Sun Conscious? [pdf]
How is Twitter going to fight exactly? They can be banned nationwide (and local employees can face charges) with one order from the central government, and no court can help them. Same happened to TikTok last year.
Isn't "mansplaining" nowadays so far gone that, as a word, it has become gender-neutral and is used instead of "condescending".
When I took it, it was early morning Flagstaff (6AM) into Trinidad by later that day (5PM). Going through Navajo lands, then New Mexico, then Colorado coal areas and then beautiful mountains was amazing. It gives you lots of perspective.

They could run them more with more routes and funding. On the way back to Flagstaff it was later so maybe they already have some additional times.

It would be nice to see LA sections during the day. But that is another benefit really, you can sleep easier on a train than you can on a plane or car, especially with a private room/car.
> the granddaddy of OOP languages: Java

I disagree with this statement. Java just happened to become popular due to its C style syntax and various accidents of history.

Smalltalk is the true grand daddy of OOP languages and none of the issues you talk about apply there.
Ahh ok I wasn't aware of this. I used the bridge about 1.5 years ago and dropped it because of its crazy memory use and instability. I didn't realise it had been rewritten. I'll give it another try, thanks!
I'm not sure it is entirely logical, but certainly somewhat logical in the context of nudity being something forbidden.
Because there isn't much else out there which supports e2e group chats.
> That ends up being regressive taxation.

“Regressive taxation” is a term for people paying what something costs. Carbon taxes are also a “regressive taxation” as well as sales tax, alcohol tax, etc.

Public resources are public goods, but they are rivalrous. If you don’t make people pay in a fair manner, you’ve just implemented government rations which incentivize all kinds of stupid shit (illegal taxi services for one).

> and what happens if there is a lot of traffic in their own neighborhood?

If they can’t afford it then they don’t drive. It’s that simple.

The complexity only comes from trying to solve poverty (“oh, but that’s regressive”) at the same time as trying to solve a specific issue. Just give poor people cash stipends for transportation if transporting the poor is the problem you want to tackle. Then they can choose if they want to spend it on bus fares or use it towards ride shares, biking, whatever.

Prescriptive “there shall be 10 taxis for the people and they will enjoy them and no more” laws have basically never had good outcomes. Hedge funds paying millions of dollars to analysts with mountains of data have difficulty predicting market demand trends, there isn’t a chance in hell some bureaucrat is going to correctly balance a market.
So how i can view it to see if those are what the govt claims?
> So why would people care if there were women there? Is it different?

Yes, it's way different, obviously!

> I’ll go a step further and say I think the entire concept of a single-sex changing room may be outdated.

You're definitely in the minority there. Having been a 13 year old boy myself, and knowing how 13 year old boys behave, there's no way in hell I'd allow a room full of them to be in a room with my 13 year old daughter naked.
Why are they using such a complicated ice cream machine? I worked in food service in the 2010s and ours was pretty simple. One switch at the back for on and off and that was it. It took one person like 10 minutes to break it down and have it cleaned at the end of the night. The hardest part was wiping the exterior down. You basically just put a bucket underneath, ran the ice cream out, then ran hot water through it (forgot if we used some sort of sanitizer here), and hand washed a couple pieces. Other commercial icecream machines I've seen work like this. This mcdonalds machine is blowing my mind. I wonder why they opted not to use the bog standard ice cream machine every other fast food place uses.
It is a beautiful place to go hiking. You probably remember kinuseo Falls and the monkman cascades? The area is now a UNESCO Global Geopark.
It was bound to happen... I've watched everything on youtube, read all the threads here and reddit... obviously I need to get some kind of work to do. ;-)
I enjoy reading their shenanigans nearly daily.
previous submissions
https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
That is the agenda usually pushed by anti-GC crowd, others think differently.

https://www.f-secure.com/en/consulting/foundry/usb-armory

https://www.astrobe.com/

https://dlang.org/

https://www.ptc.com/en/products/developer-tools/perc

https://www.aicas.com/wp/products-services/jamaicavm

http://joeduffyblog.com/2015/11/03/blogging-about-midori/
Yes sorry someone else also pointed this out. It worked with a moved desktop client before which is why I stopped using it. I'll try it again thanks!
It is possible that their aerodynamics are good or even best of all F1, while the motor, the suspension, the tires, etc lag enough to nullify this advantage.
The government believes that hiding data is the answer to the problem.

> “It’s a complete massacre of data,” said Bhramar Mukherjee, an epidemiologist at the University of Michigan who has been following India closely. “From all the modeling we’ve done, we believe the true number of deaths is two to five times what is being reported.” [0]

A related comment [1] on censorship in India.

[0] https://www.nytimes.com/2021/04/24/world/asia/india-coronavi...

[1] https://news.ycombinator.com/item?id=26928462
No, they aren’t. There isn’t enough money from the gas tax to cover all of the roads. https://www.bloomberg.com/opinion/articles/2018-02-15/gas-ta...
Better hold your jaw with both hands while reading this,

https://www.f-secure.com/en/consulting/foundry/usb-armory
> Businesses like to say that taxes are passed on to their customers, but that's not actually true (depending on the elasticity of demand). If Uber could increase revenue by charging more to cover some new tax, they'd already have done it to increase their profit.

This isn't quite true. If Uber charged more to increase profit, they would lose more customers to competitors who didn't increase their prices.

Taxes can increase costs for (some of) those competitors as well. In that scenario, prices could rise to absorb the tax and there would be less relative change between competitors.

This is important for incentivising 'societal values', e.g. reducing pollution, increasing public health, etc.; either directly by discouraging people from choosing single-occupier taxis like Uber in favour of e.g. trains and buses; or indirectly by causing companies to compete on reducing their harm (and thereby avoiding the tax).

I don't have specific examples to hand, but I recall some companies advocating for such taxes (e.g. a carbon tax), since they want to make bigger improvements, but doing so individually would make them uncompetitive.
Thanks, updated it with the correct one.
No, it's just Uber etc.. Which is a completely different meaning than ride-sharing had ten years ago.
'boiled' is AFAIK a misnomer - I believe it is pasteurised ... at 151F - not actual boiling
I mean don’t get me wrong, the infrastructure in this country is awful but it isn’t because it is done by a government. The state is the only institution that can really do infrastructure projects is my point, how and whether it does them is a political decision
That is an interesting take, I don’t really disagree (regarding the high-level semantics/lowest overhead). I do question the use of ‘highest’ as the qualifier for the semantic level, but certainly would support a claim that the goal was some indeterminate high with regards to the semantic level. Even at the inception of C++ as something different than C with classes, there were at least a few languages with a higher semantic level than where C++ is today. Although I do not think there was any then current strategy for making those languages as low overhead as C in practice. So as time has progressed and the cruft and complexity have built up I think they have now decided to find the highest level they can reach, while maintaining backwards compatibility and the low overhead requirements.

I am inclined to agree that a green field language is probably a better bet for achieving the goal, but I am not sold on any of the current contenders. So I still plod along doing my performance sensitive development in stripped down C++ and plug away at my pet language project.