skysight-inc/HackerNews huggingface dataset:
Except you do. If you go from 10 to 15, would have 50% more. The math: (15 - 10)/10. If you go from 0 to 1: (1-0)/0. Well, that is not gonna work, but it tends towards infinity as your starting number gets closer and closer to zero.
This culture is not just the US. But sure they probably love to "deplatform" people from ever having decent life again and keep them into that slave low pay factory.
Hi! Is there a plan for a Firefox version?
Sweden is more hermetic and not that open to inflow of American, Arab, and Chinese cash into their real estate market. For European rich their real estate market is not that attractive. My hypothesis is that the situation is intentionally designed to be stuffy.
in this case the drone is so fragile that the only way to get 10mins of flight from it without breaking it, is to hover
Stapling normal sheets from a corner doesn't have a net disadvantage when compared to booklet printing (when reading papers). Booklet allows saving paper by printing in a easily manageable format (you don't need to cut papers in half to read them properly) in a smaller form factor.

So, printing in booklet is just a convenient way to automatically downscale documents, nothing more, at least in this context.
Somehow 60 million bison wandered the prairie for millenia without the world ending... shall we kill all of the wild ungulats? Cap the volcanoes? At what point should humans just commit mass self sacrifice in the interest of saving the earth?
Which are shipped by the same companies as the 3D APIs, on the same OS SDK, where are the Khronos utility libraries?

The attempt to create an OpenGL SDK repository was a joke, and the best Vulkan SDK can offer is a tool to avoid loading all the layers by hand, as it reached the same extension spaghetti as any Khronos API.
What do you think the world will gain from indemnification of China? My money is on another frozen fish theory, or flying monkeys if lucky
Isn't this something almost all brokerages do?

https://efipm.medium.com/zero-commission-brokers-selling-ord...
The more methods one studies, the better one understands. There is no one true method.
2GB here, Chromium under OpenBSD with cwm(1).

my ~/.config/chromium-flags.conf file:

--ignore-gpu-blocklist
--enable-gpu-rasterization
#--enable-zero-copy
--disable-sync-preferences
--disable-reading-from-canvas
--disable-smooth-scrolling
--wm-window-animations-disabled
--enable-low-end-device-mode
When it was sugar all along?

Er no, people were told to stop eating fat but of course they didn't and average calorie intake went up in all categories. Sugar intake in the US peaked years ago but Americans are fatter than ever. Chicken and cheese consumption is through the roof.

Like the article says, being overweight is very unhealthy and almost any diet that keeps you from gaining weight is going to reduce your risks of a lot of illness.

The advantage of a plant based diet is that it's a lot kinder to the earth and to our animal cousins while also helping you avoid obesity.
> It costs money to produce, so it should also cost money to consume.

An awfully strange perspective from a business-oriented news organization.
This is just set theory, not category theory.
To infer causality you need interventions. Although there are some methods to infer causal relationships from observational data (e.g. see Pearl or Spirtes' work, which is ignored by most epidemiologists).

I think the biggest problem is that they are not measuring low level molecular variables like metabolites, or abundances of gut bacteria. Hence, it's pretty hard to infer a causal chain. And since controlling for covariates is so hard, inferring something useful is difficult.
Have a Google on this. Its broadly accepted that stimulus measures are driving the inflation we've seen in risk asset prices over the last 12 months.

This extends to retail as well. E.g there was even some research on RobinHood which showed a sharp uptick in trading the day after the stimulus checks landed.
There are a few niche embedded targets that Rust might not have a toolchain for, but the vast majority are actually well covered. MIPS, PowerPC, the relevant flavours of ARM, MSP430, RISC-V.
Agree: mine as well.

Maybe I should simplify my question. If my alarm starts ringing at 7:00:00 and this is an instance where that stimulus will be incorporated into a dream which started slightly earlier, can the dream be 4 hours long in dream time, ending with the alarm stimulus, if the dream started at 6:58? Or is there a much smaller (or larger) time dilation possible?

Does the brain speed up to quickly get to a scenario where that alarm sound is plausibly part of the dream world? If I started dreaming 1 second before the alarm, what’s the most complex dream I could experience that ended with an alarm sound?

The brain and dreams are fascinating to me, which is pleasingly meta.
I assume “we” refers to the aforementioned community on Discord. I would hardly call that a claim to authority; it’s closer to, “my friends and I think this is bunk.”

That’s not to be dismissive of their opinion, but I don’t think it’s accurate to call it a claim to authority. It’s the same as saying “a channel on IRC” or “a group on WhatsApp.”
Same in Poland; all information you need is on label and AFAIK is sorted by amount of components and that also applies for variety of packaged food.
>what are you really gaining over a 3rd world diet of rice and beans/lentils.

The working class doesn't want to eat beans/lentils they want to eat McDonalds and Taco Bell. This way we can swap out the meat and force them to eat meat substitute for the supposed greater good and eventually save money and the environment while we do it.

They're already being sold turkey meat when they order pork in some stores (Subway in particular does this) so what does it matter if it's just all switched out for artificial meat.
2GB of RAM user here, done that with clang as it uses far less memory than GCC.
Yeah I don't think they are the same. You can of course also have 2 cm * 3, which still fits with the repeated addition idea, as long as you frame it as 2 cm + 2 cm + 2 cm. I'm not an educator by any stretch, but that seems like an intuitive way to introduce units without causing confusion about previous number teachings.
No, it's a $1.4T advertising cult.
Right now our desktop app is chrome only, but we'll expand to other browsers post YC.

Our cloud supports any browser, we let you build a bot using a virtual one, like browserstack.com. As this costs us hosting bills to run, we do ask people to fill in this form, and we can set you up with cloud access: https://axiom.ai/bot-building-service
I did it twice ages ago, I noticed I was in a dream after realising things that didn't make sense, I was on a bus to school when in reality it was the holidays.

At the time I was also staying at someone else's house so I had that weird feeling of sleeping under a different roof.

Also the whole time I was on the verge of waking up, I could feel my body and had to be careful not to move it while moving in my dream.
There are all sorts of things that are meant to happen during sleep, around learning and similar, that are unlikely to be feasible while you're lucid dreaming, so it might impede learning skills, for example.

When I did extensive lucid dreaming I found my brain was making my dreams more and more boring, I'd guess to reduce the chances of me noticing that I was dreaming.

Nowadays, I retain an awareness of when I'm dreaming, and I interrupt dreams when I'm especially fascinated by something in them or don't like them, but I otherwise let them run their course and don't take control.
> We built Axiom on a pretty popular framework, Puppeteer, which requires desktop binaries to run. This means you need an Electron app, too.

I thought it was Playwright that depends on patched browser binaries and that Puppeteer works with stock Chrome and does not need Electron. Can you clarify, just trying to learn here.
> What I'm saying is that each "estimated minute" is more likely to have a gaussian distribution

If that were your actual assumption, you should measure the variance of the difference between your estimate and the actual time taken, use that to determine a confidence interval (e.g. 95% of the time, the additional delay is less than x) and then add it to your estimate.
> Also, they didn't notice before? Not like internet people should have never heard of his name.

One of the craziest things about the internet to me is that everyone treats their experience of “the internet” as THE experience of “THE internet” like it’s one singular conception that we all enjoy. But, the internet is huge and diverse and full of distinct niches such that no two “internets” (as conceived of as an individual’s experience of it) are almost ever close to the same. The idea that surely the good people at ICANN would know this guy (I certainly didn’t) is so striking to me as derivative of this.
What would we do with Tibetans, Chinese, Pakistanis and other meat eating cultures?

Oh, there are other factors?
Freeports: What are they and will they make the UK money?
>> In Comments

>> Please respond to the strongest plausible interpretation of what someone says, not a weaker one that's easier to criticize. Assume good faith.

https://news.ycombinator.com/newsguidelines.html

I stand by my comment. It is a good response to what they said. I cited multiple examples of the same thing happening commonly in food naming to prove how their argument thta this is some PR narrative is wrong.
I'm more amazed that people reach the correct conclusion without thinking too much. Snarky people don't have any right to be this "smart".

If you start off with the stupid explanations of Bitcoin HODLers then it requires a lot of deep thinking to debunk all of it and ultimately reach the same conclusion as those snarky people.
Neat! I feel like I have a reasonably good idea of what this does, but I'd love to see an example to make it really come to life.

I see on the website you have a gif where you're setting up an automation.

I'd love a similar gif (or set of gifs) where you have a before (ugh I have to do this manually), the middle (your current gif), and an after (axiom doing it automatically).
12+Home+Remedies+for+Flu+Symptoms+|+Health+Lines
> No you are rested as if it were a normal dream.

Given the sibling comments, this is clearly not a fact. It's best to avoid stating opinion/experience as fact.
Which is why the word 'incremental' is key here. They didn't rewrite the whole of cURL - they rewrote a key component.

Yes, ideally the whole program would be rewritten but security is not about absolutes. For a manageable amount of effort they have reduced the attack surface significantly.
But don't you have a bunch of non-STEM graduates working as baristas like in USA?
Bold move from ACM but good for them!
Food surveys and food diaries are hilariously bad[1]. I'm surprised any studies based on them are still getting published.

There was literally a reality TV show in England based around how terribly inaccurate food diaries are. It's on YouTube[2].

[1] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4527547/figure/...

[2] https://www.youtube.com/results?search_query=secret+eaters
That would be illegal in many countries.
I don't know but I'm pretty sure my first Google result for that conflates source and sink: https://www.standardcarbon.com/2008/06/do-you-really-need-to...
I wanted to post the same links, you can find the same articles and others about that subject by googling "Keith Devlin addition multiplication"
They're available as SVGs. They link to the GitHub repo at the top of the page, and if you select any icon, there's a download SVG button.
Oh yeah, the cut list is exactly what the app does now :) It can export XML, EDL, or a ScreenFlow project. That was the first feature I built, and the main thing I wanted. I think the video example demos better, but to me, the cut list is way more useful.
China has no such concerns, and them banning it would be more than enough to tank BTC overnight.
Well some companies are starting to look more and more like the government. Besides corporations are protected by the government from certain things. The populace should be protected from their actions as well. Existence of big corporation always affects life of many people so it is only fair that those corps should be restricted in what their can do.

For one thing those corps main duty is to make money. If they engage in morality setting instead they should have their business license revoked.
Sonifying the Coronavirus Pandemic
I was curious about how `Deno.permissions` prevents things like "requesting the permissions, then clearing the screen and asking to press 'g'". Apparently, `Deno.permissions.request()` just stops program execution waiting for user response, so it's impossible to do anything after this call.
It also seems to reset text color, so it's impossible to make text invisible.
iTerm custom escape sequences allows program to change color profile on the fly. Setting bg and fg to the same value hides Deno messages and allows someone to conceal which permissions are being granted.
You can form your opinion based on anything you want...

But if you do it based on an unsubstantiated semi-incoherent one-sided account, I think we can safely say you don't care about the truth of the matter.
I design websites that are to be used with primarily desktop screens. If you want to use an unsupported configuration such as a tiny screen or with no screen then it is not my fault if it does not work well.

Similarly, if I make a VR game I am not going to design it in a way that makes creating a pancake version of the game easier to use. If someone does create a pancake mod for the game, they should not complain about how weird the controls are or how they can only use one hand. They should take those issues up with the pancake mom developer and not with me. If people find it hard to use my website through a screen reader then they should complain to the screen reader developer to improve it. It's not my fault if there software sucks at what it is trying to do.
I haven't heard anyone complain about mining energy usage for anything except ETH and BTC.
this is just nonsense
Google had it coming when they supported autonomous warfare AI
Of course that's up for the developer to decide. You can't force a developer to make a website accessible to all people regarding of their capabilities.

But you have to remember the initial goal of why the Internet started as open and what was the initial goal, to make all information accessible to everyone, that's why accessibility standards were there since the beginning.

That was the entire goal of the web, to be open and accessible to EVERYONE.

But if you want to go full head on capitalism and argue it doesn't matter for business, accessibility is literally search engine optimization, which is great for business. Googlebot is blind and doesn't use a mouse to surf the web.

From any perspective Accessibility is a requirements for any website or web application. Of course, nobody can force developers to make websites accessible.

Wait, yeah they can:

* https://www.reuters.com/article/us-usa-court-dominos-pizza/u...
Neither is more foundational than the other. So I think the use of "just" is not justified here.

https://mathoverflow.net/questions/360578/category-theory-an...
>Eliminating the Cantonese language program is inconsistent with values of diversity, equity, and inclusion.

This is such a bad argument. I could make the same case for X language not being taught at Stanford.
I don't think that's the narrative.

The narrative is factory farmed meat & dairy is not good for you, not good for the people working in that industry and it's not good for our biosphere, e.g. deforestation, pollution etc.

And of course it's absolutely bad for the animals involved, but most people don't care about animal welfare or don't even think about it.

If people must eat meat for whatever reason then the healthiest option would be to hunt or raise & kill your animals or buy from people who do, but it also comes with the associated price tag.
Its probably worth pointing out that the system with only multiplication and no addition is also decidable (Skolem arithmetic). Things get interesting when you have both multiplication and addition defined and the reason for that is basically the fundamental theorem of arithmetic which gives you unique prime factorisation and directly the Gödel encoding (writing out statements about integers as integers).

The fundamental theorem of arithmetic says for any non-zero natural number x there is a unique finite sequence of integers a_i such that x = 2^a_0 . 3^a_1 . 5^a_3 ... p_n^a_n and that given x the sequence a_i is computable (similarly given a_i you can easily construct their x).

This basically gives you a (bijective) mapping between integers and tuples of integers x <-> (a_0, a_1, ... a_n) which lets you build up more complicated structures and eventually construct the sentence you need for an incompleteness theorem (if you're as smart as Gödel).
Casper and LMD GHOST (which is what Eth2 uses) is one of the most mature proof of stake consensus algorithms out there. The other is Tendermint, but that's a practical BFT algorithm, so limited to 100-300 validating nodes, whereas ETH2 has hundreds of thousands of validators.
Here's a starting point for more information:

https://en.wikipedia.org/wiki/Decentralized_finance
Creating your own programming language
I don’t really care what the rules are. Arbitrarily preventing people from buying, but not selling, is market manipulation. Any company that took part in this should be dismantled. If you need to halt trading because of liquidity requirements, halt all trading.
> but as any undergraduate CS student knows, Peano arithmetic is undecidable

We went to very different universities it seems. Neither Peano arithmetic nor decidability were ever mentioned
That film was one big inaccurate extrapolation after another.

One of the authors of a cited study did a rebuttal here - https://ketogenic.com/debunking-the-game-changers/
The bitcoin community would be wrong.
> but is 2 cm × 3 cm the same thing as 2 × 3?

This made me think too, in particular the teacher's example. So; here's what I think it should be calculated.

3 cm + 3 cm = 2 X 3 cm (and not 3 cm + 3 cm = 2 cm X 3 cm).

What you are doing above is adding two objects each of who are 3 cm long. And the way you compute "2 X 3 cm" is "(2 X 3) cm" which then becomes "6cm".

However 3 cm + 3 cm != 2 cm X 3 cm as the author states which is what leads them to wrong conclusion. In other words 2 cm X 3 cm leads to an entirely new thing in geometry which is "area". So while 3 cm + 3 cm is still length (and hence it should be translated to 2 X 3 cm i.e., one scalar unitless number and other number with unit) 2 cm x 3 cm is not length. And the resultant area is correctly written as 6 cm^2; by multiplying units as well as the numbers. Now, how does one multiply numbers (2 X 3)? It's indeed by repeated addition!

The author, however is onto something. Which is when you multiply a something with unit (like 3Kg, 2Cm) with a unitless number that resultant product is still something (that weight, length) that you began with. However when you multiply two things both of which have units the resultant product is something entirely new (i.e., area as opposed to length, pressure as opposed to weight etc.,)
Yep, you're right!

It doesn't need electron specifically, just several node modules that don't run in a browser-only environment.

We use electron to package up the node modules, and use it for auto-updates + other 'nice' things electron can provide.

I do hate how bloated electron apps become, and ours is also chunky. We'd like to slim this down with time, or perhaps move to a better framework.
The original comment was "the Archive is painfully slow", the reply to that was "for me it's always quite fast", so I gave it some actual hard data explaining that 90s is in fact quite slow and maybe even painfully so in 2021. I have absolutely no idea how you got from that discussion to a hypothetical where the Archive doesn't exist. Obviously 90s is better than it not existing. I even said in my comment that it was not unacceptable.

Why did you even make this comment?
>> These studies are quick to point to conclusions. Remember that time where every "scientific" study pointed at fat as the big culprit behind heart problems? When it was sugar all along?

I mean there is just insurmountable evidence that fat is correlated to heart disease. What is so ironic is that some journalists with no medical backgrounds write a book about "The Big Fat Lie" and now it is sugar that is the cause with not much scientific research to back it up. Sugar is bad and inflammatory for sure, but mountains and mountains of research on fat and heart disease are somehow all wrong now?
Now we can do

(a, b, c, d, e, f, g, h) = range(8)
Isn’t + a variable number of succ’s? Why does x break decidability, but + does not? It seems to me you should be able to define a second order Presburger system with + replacing succ, and x replacing + to restore decidability. Or is there some issue with countability or assumption that is broken?
https://archive.is/xyo6T
Were .Skip() and .Take() not implemented?
Possibly lol. I find Rust & Scala to also require far too much boilerplate to get simple stuff done.

I suppose it depends on your intent. If you're writing a bunch of glue code, I seriously doubt Rust will be anywhere near as easy to reason about. Based on my own experience with the language, I can't imagine any coworkers ever grokking the language. Python on the other hand is picked up pretty quick. The beauty of Python is you don't need all that boilerplate nonsense like even having yo know what ADTs are or pattern matching or factory factory class. In Python, you just write code. A lot of people just have a few globals and a bunch of little functions and others use classes.

Maybe your domain is different? I might hate Python as much as you if I had to build a bunch of large backend code bases.
Not yet but that's the way the wind is blowing
Interesting, in the US the right wing has done the most to get rid of the deduction. Though some of it was probably an unexpected side effect - the tax reform of the 1980s (I can't remember the exact year, 84 comes to mind) lowered tax rates and got rid of a number of deductions, but the mortgage deduction remained. Then Trump's tax changes of a couple years ago raised the standard deduction so high that most people don't qualify to take the deduction at all. I expect the deduction to disappear in the near future as most people discover it doesn't apply to them only the rich. Prior to Trumps's changes that tax deduction was an important factor to the majority of the US.
Mozzarella from coconut milk is the new thing /s
It should be feasible, given that mental practice seems to work in general (from both studies and anecdotes). When I've tried practicing piano in lucid dreams, I've found the wrong notes sounding even when I press the right keys to be distracting, but if you can ignore 'dream effects', the practice will probably help.
Thanks, I read it all a few times more and I think I can see what you mean, though it’s quite hard.

No matter how, I keep coming away with GP sounding like they’re humblebragging :) I don’t have issues with the literal content, just with the meaning I read into it.

Either way, thanks. This is the first time I’ve seen a comment on HN flip flop around so much on score.