skysight-inc/HackerNews huggingface dataset:
I'm surprised Andrej didn't give a longer answer. He usually does. In a type theory the type system and calculus are the same thing, not really two things glued together (although there are some of those.) Those used for theorem proving and programming (CIC, MLTT, etc) aren't Turing complete by themselves. Different type theories do differ in computational strength. How is this possible? Well think about it, if you couldn't express the type of the Y combinator then you couldn't use it. Schemes like recursion, induction-recursion and induction-induction allow more power to be added to the language.

To answer you more directly, one starts with the most powerful system, the lambda calculus and then one restricts its power using types. Finding the goldilocks zone of the right amount of power is one of the primary things type theory research has been about. Type theories vary in decidability, those that aren't decidable aren't usually used for theorem provers or as substrata for programming languages.
I used to use Google's geocoding API when it was free, really hate it when they make stuff and then when it gets popular start charging $$$

I still haven't found a viable free replacement, unfortunately. I'm just doing this for personal projects, so no big budget.
>I'm hoping there's a future the web can win

With Google owning the web with Chromium, dictating web standards and monopolizing web site discovery trough Google search, that isn't exactly a bright future.

We need open standards, other browser vendors and more rendering engines. MS killed their web engine and Firefox doesn't have a great market share.
Getting a vaccine is not a given. We don't have a SARS, MERS or HIV vaccines, and its been multiple decades for some of those. Having a SARS-CoV2 vaccine in two years is wildly optimistic.
My parents are distant, so they're basically on their own.

My father has a history of irresponsibility, so I'm prepared to the worst outcome.

There's not much I can do.
My PXC 450 still going strong as well, I think 7 years now. I have replaced the cushions once and will have to do it the second time soon, but will most likely continue using these at least for some years as they just don't seem to break. I have looked into wireless options, but so far I haven't really seen enough benefit to switch. And my worry is that once I switch, I need to get new ones every second year do to headphones just breaking or battery dying. I really don't want to do that, for many obvious reasons. I have also a lot of good higher end headphones that so far I have been able to fix every single obe with manufacturer spare parts when they wore down.
Can we compile C Code into PowerPoint?
One thing that really made a massive difference for me was making a proofing box. It's a large EPS container (similar to the ones that market sellers use) with a seedling heating mat inside. I control it with a cheap (like < $10) thermostat from Amazon. It maintains around 26C quite easily and is pretty efficient. I've never bothered to check the accuracy of the thermostat, but I imagine it's within a degree or two. You can also use it for fermentation, Noma have instructions on how to build one. My only suggestion is don't do what I did and go nuts on the size. You can get away with a much smaller box (e.g. I bake 500g loaves mostly, and I use a 4L graduated polycarbonate container - it's dwarfed by the size of the box).

Temperature control makes an enormous difference. I live in a cold house, hence why I built this. To make things worse, my kitchen has marble worktops. So if you use cold or tepid water and then knead, you end up cooling the dough even more on the counter. It's a bit different with Tartine because you don't really knead the dough, but still - yeast is optimally active around 25C or so and if you have to wait for the dough to come up to temperature, that can easily add an hour or two. So you can control this by measuring the temp of your water and using a climate controlled box (which costs about a tenth of one of those pop-up Broder ones).

I do agree about starter refresh cycles though, as well as what hydration you put in, how much you put in, what exactly the flour is. I don't climate control my starter except during the winter when it sits by the boiler.

Most of the time my routine is identical to yours. Feed the starter overnight Friday, make the dough Saturday morning and bulk it during the day. Refrigerate overnight and bake on Sunday.

Strongly recommend watching Chad do it: https://www.youtube.com/watch?v=U4dyWZZVeWI

It answered a lot of questions I had from reading the book.
Yeah, that's true. Sorry, misunderstood the scope of the project.

But I guess it's closer to Common Lisp than what WASM's text format is, so might be helpful for some.
Could you elaborate a little on this please, maybe with an example?
Firebase uses last write wins but they do have a backlog so the user can sync up. There is also a transaction () function for manual conflict handling. Perhaps you can automatically raise an exception in the event of conflicts.

https://stackoverflow.com/questions/19975921/how-does-fireba...

A bit of feedback, the API looks fairly verbose compared to Firebase so a high level wrapper would be nice. Though that could simply be a side effect of Next.js being clunky.
Show HN: We have curated 250+ resources related Covid-19 Pandemic
Thanks! I didn't notice I posted the German version, will double check next time...
Never Forget: https://www.wired.com/2007/08/microsoft-allegedly-bullies-an...
You're right. In the end, it comes down to picking your battles. There's no hard rule for which battles are worth it.

I do my own motorcycle repairs, because I sometimes stray far from the nearest mechanic, and field repairs can be necessary. I also cook a lot, because I have to eat every day and restaurants are expensive.

However, I paid someone to rebuild my forks, and I buy pre-made pie shells. Those things are not worth doing myself. My father rebuilds engines in his garage, but won't change the oil on a slush-covered car. He'll pay someone else to do it.

I guess it depends on how pleasant the job is to you, how often you need it done, and how much it costs to get it done relative to your own salary.
Thanks! Could you provide a few examples from your system?
Or, if you use SourceTree, you don't need to struggle at all.
> The vast majority of sanctions on Venezuelans have been directly related to individual elites and their companies.

I know. Does it seem like I don't know that or how sanctions work. But since you also know, you know your comment is misleading. Any sanction on any official has economy wide repercussions. Trump could place a sanction on Norway's Minister of National Park's grandchild and destroy the Norwegian economy. Sanctions are like stink bombs, it make target one person, but it affect everyone around them. It's a message to every other nation to "stay away" by the only superpower on earth.

> Cuba is another example of an impoverished nation in Latin America that is propped up by Russia. Nicaragua is a third.

You mean nations targeted by the US for destabilization right? If it wasn't for US sanctions/invasions/etc, I suspect cuba and nicaragua would be much better off.

> I am commenting about Venezuela because the submission is a news article about Venezuela.

You are parroting the same pro-regime change propaganda that's all over social media. The exact same nonsense and its getting boring having to correct it.

There's one thing you wrote that I agree with - "I would rather live in Chile than in Nicaragua." So do it. Stop pushing for the invasion and destruction of nations just because you have a financial/political/etc stake.

If you don't like venezuela or bolivia, then don't go there. Why push for coups/invasions/etc which will lead to the deaths and suffering of millions? No country is perfect, let them work things out.
Yes.

Lots of exercise regimes work to produce that kind of minimal level of fitness.

At this level for the general population the challenge is to get people to stick to it, not so much exactly which exercise regime they are doing.

VR games like Beat Saber might offer a reasonable chance to get people moving. Even the original Wii Sports had people get off their couch for a while.
Perhaps slightly off topic, but I have for years admired the cooking schematics on Cooking for Engineers. Here's the recipe for meat lasagne - scroll to the bottom and admire the schematic and the bonus layer diagram:

http://www.cookingforengineers.com/recipe/36/Meat-Lasagna

Edited to add: Oh, and you mentioned shoelaces, so the venerable Ian's Shoelace Site is a must:

https://www.fieggen.com/shoelace/
lignin is wood (or rather it's a polymer in the cell walls of wood/plants)
Mortgage interest and property tax are tax-deductible, so if you're subtracting from after-tax income, it's more like $3-4k/month.
It really ticks me off when people think that 'startup' is different from 'business'. Startup is a new business. The fact that it is most frequently in the IT sector doesn't change it's nature. It's still a business that fall under all business rules.
I listen to music almost all my waking hours as well, but with speakers.

It makes my ears too itchy inside if I wear cupped headphones for more than 3-4 hours straight. My theory is that it build up humidity from my body but it's not ventilated because the headphones' cups are tight.

Anyone else with that problem? How do you avoid itchy ears after wearing headphones for longer times?
To everyone : stop to criticize other people's work about "elegance", both on internet and in real life. This is not NYC nor Paris Fashion Week.

Criticisms about the estheticism of an algorithm do not make sense. We have objective metrics to judge codes and algorithms, such as Big O notation, resource usages, epoch, reproductability, etc. The questions the R&D team try to answer are

a) "Is this possible?", and b) "Is it efficient?".

This has nothing to do with estheticism. Simpleness is not a metric.

Neural networks are not simple to understand nor use. The Deep Mind team shows that they are able to use them as building blocks in different places of a bigger algorithm to solve a goal, iteratively. All of these results required time, effort and ressources to obtain. They are not obligated to share their results with the public, so now just stop to criticize without even suggesting a better solution.
If your app is a hardware intensive game, how is this going to work?

Not everything can and should be an web app. And I say this as a web developer, having worked in the past on games, mobile apps and desktop software.
It will probably not be all or nothing.

They'll probably find a few people who will give it a go. The result will probably be delays and failure. Business as usual.
Thank you for that link, first time I saw it!
> JCL is just another scripting language

One feature of JCL which I think is cool, is that whereas on Unix processes inherit file descriptors which are numeric only (and hence few applications know what to do with anything other than FDs 0-2), in JCL you instead have DDNAMEs which are 1 to 8 characters. I think, if Unix had alphabetic names for inherited streams rather than just numbers, you might see more Unix programs supporting more than three inherited streams.

Another feature I think is cool is catalogs. A database mapping dataset names (file paths basically) to the filesystem volume (disk or tape) on which the file lives. You can move a file to another disk or to tape without changing its name/path.

(Strictly speaking both of these are features of the MVS operating system as a whole, not just JCL per se, but JCL is one of the main interfaces to them.)
Android Corona tracking app for my country made using processing as a base
You can find a picture of an arrow online and copy-paste it into your document :) or you can draw your arrow with a Brush tool, or with a Pen tool, etc :)
If your app doesn't break the law, nobody should tell you if you can publish it or not.
We have come a long way from Limewire apparently.
Special The simulations driving the world’s response to Covid-19
Incidentally, we can also test sewage for drugs and then swat places where people consume drugs. How very helpful. It's just because we need to fight the virus! ️
The WeWork saga is especially instructive.
That is very much a challenging task.
Thanks, that's good to hear. Fortunately I do have two papers in the works right now, one of them from an instrument I made and another from some simulation work.

The engineering really is the crux of the problem. I personally find it very interesting and I feel like an oddity in my department for that. Most other physicists kind of look down on the "e-word" to the point that my advisors made me change references to "engineering challenges" into "experimental challenges" for a conference talk I gave. I'm in a very equipment heavy field too which is why I find it so strange.

What's frustrating though is that sometimes it feels like I'm only doing engineering with no physics in the mix. Hopefully thay will change over the next year though.
A better question is why they are letting customers do this at all since the whole article proves that there is no point in downgrading. It seems to only add additional confusion if you ask me, and plays in the hands of customers who claim that there's something wrong with the software even now that Bose has proven beyond all doubt that there is not.
This is exactly my recipe, which I have been using for 5 years now with great success. It's foolproof. The bread will usually look like shit after you dump it into the iron cast pot, but will have a nice and smooth and tight surface after the first baking round with the lid on.

The bread will look like this: https://holycowvegan.net/wp-content/uploads/2018/02/no-knead...

If you stop the baking without the lid sooner, it will look like this: https://joyfoodsunshine.com/wp-content/uploads/2017/04/dutch...
None of the dismissive comments here are addressing the actual points raised by @doctorow.

The scam is that people on wall street who know nothing about building or running a business have used their political connections and existing cash to become even richer and more powerful through government bailouts, selling off assets whose long-term value they don't understand and defaulting on pensions -- in other words, without actually creating any new wealth. Blackstone/Schwarzman is abusing the fact that starting a new hospital is difficult, even if the only one in the city is incompetently managed. They are not creating new value, and so should not be getting so rich. The people who do the actual work of starting and running successful businesses should be.

EDIT: Specifically, Schwarzman et al are abusing what economists call short-term "stickiness." It is not economically productive, as the firms with artificially high profit margins are not competitive and so a new equilibrium will eventually be established, putting them out of business. (That's why so many ultimately do) This property makes Schwarzman's behavior a form of rent-seeking, and not capital investment as he would probably have you believe. Anti-trust law is designed to limit the abuse of stickiness in the economy, but as rent seeking becomes the source of wealth for an increasing percentage of western elites, anti-trust and other financial regulations designed to combat abuses have become increasingly difficult to enforce.
Use Elm for fun and React/Svelte for Profit
only to one specific version. This is not what community was hoping for.
Like you have to install the app just to turn noise cancellation on and off? And if you install it, they milk personal details out of your phone?

Or is that a different model?

I would never, ever buy headphones that need an app, for any purpose.
(I hope you actually don't store passwords in clear text in your database :) )
It's a contentious debate. Minimalism is a large umbrella. Some people are aiming to fit everything in a backpack, and others are just trying to watch their consumption.
Two keystrokes vs 9 (using shift with some keyboard layouts). Also, interaction with zsh or fish is better.
Been using the 700 since they came out, I actually really like the touch interface. Skipping is a bit iffy but volume and pause work well, and it's very handy when I'm working out or doing the dishes, and I don't need to fiddle around with buttons.
Wow so good
That's only the current state of the art however. The goal is transfer learning, meaning that when the AI learns something somewhere, it will improve its knowledge on other taks too.

A better analogy would be a baby and an adult. The adult is full of past experiences and can use that experience to learn some other tasks faster.

Currently, our AI technology isn't even at the "baby" stage, as it is not able to transfer knowledge between arbitrary tasks. This is an active research domain.
Reading assembly code is mundane.
May I ask what your field is? Is it CS? I am asking because we computer scientists are sometimes a little bit naive when it comes to research and publications. In other fields, like pharmaceutics, where future patents can be worth hundreds of millions of dollars, authors are very careful what they tell others.
I do agree with this.
For example, if you can't easily name a function, then it is likely it does too many things and should be split or something.
Ask HN: What would you do the next time internet goes out?
Ahh ok, this is helpful. Thanks!
Show HN: Savings calculator with focus on privacy
Your argument is basically: "market pricing reflects reality", which you clearly don't believe because you go by the handle "valuearb".

Credit markets are appallingly inefficient at pricing risk. Lenders are aware of bailouts. They are explicitly factored into credit ratings! Leverage is heavily subsidized by the tax code. The current level of corporate leverage is absurd and has massive negative externalities.

https://www.youtube.com/watch?v=qs1DhA91fm0
Strange that there's not one mention of Avigan / Favipiravir.
Hi! I did it mostly for myself, but really happy if it can be useful to you.

https://kopim.app is a progressive web application (PWA), which allows you to set your live long financial goals, then to play with some parameters (interest rates, salary raises) to figure out a range of required money savings.

The whole logic is totally on a frontend side, no backend at all, no tracking, no cookies. 100% test coverage :)

There is no validation, please, don't leave any blank fields etc.

Any feedback is appreciated.

Speaking about myself: i always had a dream to buy enough dividend equiry to stop working for money and start working in something i am enthusiastic about. I never hoped it can happen, but turned out i need to save some affordable amount of money to make it happen, and this motivated me a lot. Never missed any payment to my savings account in the last 4 months!
The problem with Svelte is it doesn't support Typescript. You pretty much need that on any reasonable size project unless you are happy to spend your life tracking down runtime bugs. Vue has a similar problem (it sort of supports Typescript, but not properly and templates aren't type checked).

I've not used Elm so maybe that is better. React has good support for type checking. I would use that.
https://en.wikipedia.org/wiki/Cory_Doctorow

I hadn't never heard of him but going through his wikipedia I don't see any reason to believe his understanding of business, economics, or finance is any more advanced than the impression I get from his tweets.

The people who loan money to private equity are very smart individuals who have backgrounds in finance business and economics. They tend to be very sophisticated entities. If you're going to make an argument they are being repeatedly screwed it needs to be more sophisticated than "look at this company owned by a PE that failed " or "look at this company owned by a PE that did a dickish thing to maximize profits".
AirBnB etc have (relatively) fixed infrastructure and staffing costs.

Companies can negotiate loan payment holiday if they can persuade their creditors that it makes more sense to get an extra few months of debt relief than to be closed down - which would probably take a few months anyway.

Not so with fixed staffing costs. Even if furlough is an option you need to decide who's essential, and who can be layed off temporarily - not always simple, especially if you're not sure if the downturn will be short.

If furlough isn't an option you suddenly start burning your cash reserves after a huge drop in income, and investors start getting very nervous.
> but how do researchers even figure out how to make these reactions happen? Especially when they require -100C, or +5atm of pressure.

That part, at least in theory, is easy to understand.

Chemical reactions are typically of the form:

ingredients + energy -> products + byproducts

If the energy is on the left-hand side, making the environment warm makes the reaction go faster. If energy comes out (so it's on the right-hand side), making it cooler is better. You also need to control the temperature to be in a range where both the ingredients and products can survive.

As for the pressure, if the products and by-products have more total volume than the ingredients, low pressure is good. If it's the other way round, high pressure encourages the reaction.

The more complicated part is that if multiple reactions can happen with the same ingredients, or if the products can do further, unwanted reactions. Then you have to balance out the parameters to encourage just the reaction you want, and to discourage all the others.
Ask HN: Is there a language to represent schedules and produce calendars?
FB Ads Can Attract Lots of Fans with This Product
They might have many tools but they probably make them themselves or know by name the person who makes them. Out of close to raw material. (I’m assuming the Amish don’t mine and smelt their own metals). One modern power tool could replace many of those Amish tools but it brings with it so many more dependencies.
I'm in acceleraror physics and study photocathodes. Unfortunately the state of those projects is that we thought a material should have great photoemission properties under some very specific circumstances.

When we measured it, the material was actually terrible and we don't understand why it's that way outside of some speculation. Unfortunately it also feels like our lab doesn't have the type of expertise to explain why it's so bad either at least not without years of learning.

My advisor's explanation on publishing was that if we had great results that followed our initial theory of what's going on then we could write a paper and nobody would question it. But, now that we contradict theory the threshold of evidence is much higher and he doesn't want to go ahead with it.

We trust our data, but he's concerned about getting it through peer review. For what it's worth we did publish it in a conference proceeding, but it doesn't have the same weight as a journal article.
Yep, same here.

But after years of suffering last year I made an effort to get over it. Nowadays more often than not I just close the tab and go someplace else. F 'em.
Is there any data that can support that 10x claim just yet?

An example:

In the US state North Carolina there has been 33 deaths to Corona so far, source: https://www.worldometers.info/coronavirus/country/us/

The 2018-2019 flu season was reported to be 285 deaths, source: https://www.northcarolinahealthnews.org/2020/01/09/ahh-choo-...

So a 10x mortality would mean 2.850 deaths in North Carolina by December 2020 and you have to offset that with the above article that stated the following back in January:

"flu season is officially underway with initial reports predicting it could be among the worst flu seasons to hit in a decade."