skysight-inc/HackerNews huggingface dataset:
The major choices that avoid braces are indentation and keywords.

Indentation's upsides are less line noise. In my opion, while there's less noise, there's less symmetry, so it's a wash on the beauty count.

Indentation breaks many tools, especially the way amateur coders use them. They're frequently showing code snippets by copy-pasting into web pages that strip indentation.

Notably, the standard pylint rules insist on two lines between functions and classes because the extra whitespace helps people find things. That same whitespace you get if you close a function with a single brace...

Keywords are surprisingly nice. Lua does them very well:

function foo()
doSomeStuff
end

You get rid of the pointless { at function, and you have a simple "end" when you're done.
> They're saying that they found learning about types to be difficult and stressful

No, they're saying that types (which they don't understand) are "over-engineering". This is, frankly, not acceptable to me.
I'm just a 1990s BSD sockets, write-my-own-select-loop kind of programmer; the idea of an abstract `Dial` interface always seemed like just a performative Plan-9-ism (I assume?).

Anyways. Wrong about that one! Movin' on!
I had one of these in college! I hooked it up to a serial port and set up Linux to use it as a login terminal, so I could do email in Pine while my girlfriend worked on homework with the actual keyboard/mouse/monitor.

It didn’t just have Lotus; it had a dedicated Lotus key.
Regulating the price leads inevitably to either gluts or shortages.
Well, you are still getting less server load and faster response times across the globe, right?
This will likely be dismissed as shilling of a shitcoin, but on the off-chance anyone is actually willing to take a look, this cryptocurrency meets your criteria (which is exactly why I bought it): https://www.algorand.com/.

The pedigree of the team behind it is ridiculous, most notably its creator: Silvio Micali - one of the co-inventors of zero-knowledge proofs as well as other cryptographic primitives.

EDIT: it's not quantum-safe yet, but that's a problem they're actively researching, and given the team they seemed credibly positioned to solve it.

See: https://www.algorand.com/resources/blog/chris_peikert_joins_... and https://www.algorand.com/resources/blog/algorand-contributes...
Is there a way to easily install the server part "at home" ?
That and in-person testing of equipment. When (pre-pandemic) I was buying a new set of headphones, I was able to go through different options, test out how they feel, and whether there are any significant sound quality issues. I prefer over-the-ear headphones, but have bigger ears, so it is hard to tell whether a set will be comfortable without trying them on first. To do the same with an online store would require ordering a dozen headsets, then navigating the return policies for all but one of them.
This is wonderful, thank you. I would have loved to use this years ago when I was working on multi-camera systems requiring very accurate calibration parameters.
No, what grandparent is saying is state politicians and most Americans in general are unable to do simple math. Compound interest? Forget about it!
First to market and the technology that works good enough. Nothing has come around that is better, enough, to warrant a switch. Once that happens we will go with better technology, it has always been the case.
TypeScript _does_ detect some such impossible conditions (like `x === 1`), so this omission is intentional.

I think this is partly necessitated by one particularly large soundness hole in TypeScript, which is that expressions are typed as though dictionary and array subscripts are always in bounds:

function foo(arr: number[]) {
const m: number = arr[3]; // typechecks
if (m === undefined) {
// this IS reachable
console.log("arr does not contain key `[3]`");
}
}

The alternative would be forcing all array and record accesses to have type `whatever | undefined`, despite the fact that almost all such accesses are clearly in bounds.

This is in fact now a part of TypeScript behind a flag since 4.1:
https://devblogs.microsoft.com/typescript/announcing-typescr...

Adding a compile-time bounds-checker to TypeScript to find cases where the `| undefined` is unnecessary would definitely be helpful and interesting, but would do nothing to help TypeScript's reputation of being difficult to wield and slow to compile.

It's also not an easy problem to solve, due to the semantics of JavaScript arrays:

let a = [];
a[5] = "five";
console.log(a.length); // 6
console.log(a[4]); // undefined (!)
I am not suggesting miners will react to the difficulty change. The difficulty change reacts to the miners.

Miners will shut their equipment down as soon as the electricity costs become greater than the rewards. When some of the miners shut their equipment down, that causes a difficulty change which makes mining profitable again for the remaining miners, and also keeps the transaction rate the same. The miners have no way to impact what transaction fees are acceptable because they have no control over the transaction rate.
Four-Day Week Is Coming Soon
It's not like this is a hard border. It's completely feasible to live outside its limits. Sure, that's not technically Berlin but for all purposes regarding the housing market it is.
I'm also interested in any stats people can bring up, but the proliferation of realistic fake meat has absolutely led to me eating less meat
Thank you. I had that set for my server, but I just wish there was a way to tell other servers not to send them. Disabling them on my server turns them in to a no-op, but it still has to process all those requests.
>"Also for me, along with I'm sure many others, keeping state within the DOM has fallen out of favor of more comprehensible state management inside of JS (like React Hooks, Redux"

In my opinion using React / Redux combo for state management is a poor choice. So to each their own. The arguments like: everyone else including my cat does that do not make really it any better in my eyes.
Controlled for! Keepass2Android prompts and merges if the file changes out underneath it. Regular keepass each machine uses its own file in send only mode, and synchronises to the main file which is in send-receive mode on save.

I'm not strictly sure this is entirely necessary these days because Syncthing will do collision detection and make copies, and keepass will prompt to merge if the file changes as well.
There is a bit more nuance to it than that.

""It's time for you to put the foot down and make it perfectly clear that the heritage of Texas will not be lost," wrote another donor who graduated in 1986. Their name was also redacted by UT-Austin. "It is sad that it is offending the blacks. As I said before the blacks are free and it's time for them to move on to another state where everything is in their favor.""

I, personally (UTexas, 2004), couldn't give a rat's ass about The Eyes of Texas; I don't find it personally offensive, but I'm not the one to be offended by it (even though it's pretty bad). However, I am offended by the "arguments" presented in favor of it. Is discussing getting rid of the donors an option?
Looking on Element Web/Desktop's issue tracker: https://github.com/vector-im/element-web/issues?q=is%3Aissue... there are no open issues concerning segfaults currently. If you file a bug report with the details requested in the template then we'll be able to investigate and fix it, just as we did for https://github.com/vector-im/element-web/issues/13553 (for instance). Otherwise, expecting us to be aware of this and to fix it without a bug report is not going to happen.

In terms of "slow rooms" - we'd need more details to advise. A bug report on github.com/matrix-org/synapse/issues would give us something to go on.

In terms of stuck messages on Element Android - this sounds like a bug which was fixed months ago. Please upgrade.

In terms of getting a notification every time the app syncs - I have no idea what would cause that, nor have I heard of it. Please file a bug at https://github.com/vector-im/element-android/issues.
Good luck with this. It solves the most annoying problem with serverless development.
I read down the thread as it stands now, and the basic problem is this. Write the following function:

Compose("SELECT a, b.revenue, b.name
FROM table
INNER JOIN b ON whatever
WHERE name LIKE 'b%'",
"revenue > 10000")

to yield a new valid SQL statement that composes these two fragments together in the way that it is obvious that I want. You basically can't. If you can in this small example, I can easily complexify the SQL until you can't anymore. Note how "revenue" in my supplemental WHERE clause may or may not be that "b.revenue", both in the sense that I may be asking for some other revenue entirely, and in the sense that that particular fragment may have come from somewhere that has no way to know about the "b" part of the name; one of the major issues is namespacing like this, though it is far from the only one!

It is almost certainly impossible to sanely implement this function literally in terms of strings. (If such a thing was possible, it would almost certainly have trash performance.) You need a richer set of data types and operations to permit this.

It has been done. You can hold on to a symbolic representation of the SQL in some internal library representation. However, to "bind" to SQL in this manner requires a binding to every single feature of the SQL you want to use at a pretty deep level (more than just strings, you need to understand the full syntax tree), and speaking from experience, no matter how cleverly you try to start writing it at first it gets more complicated than you think. It is certainly a thing that has been done, but it is a huuuuuuge project. Seriously. It would be a lot easier if we were using an underlying representation designed to do this sort of thing from the beginning.

I like what you can do with SQL, but I kinda hate the way it was juuust good enough to get ensconced and apparently permanently ensure that no improvement on it can ever get off the ground because no conceivable improvement can overcome the entrenched advantages SQL has.
If its trimmed and only last xxx blocks are kept (there are no days in bitcoin as the article nicely puts it) then the people who have bitcoins and just hold it before the trimming happened will lose bitcoins or won't be able to spend them.

Every time somebody does a transaction involving bitcoins mined from a long time ago the entire ledger is need it to see the origins of those bitcoins.
Amazon issues rare apology in India over drama series
Every meal without meat is a win in my book. I could be wrong - I assume most Americans have meat at least twice a day if not all three meals and also snack on jerky and other meat/dairy products. So any change will be a win.
I prefer Impossible Burger as a substitute for grounds, but Beyond Meat also makes things like hot dogs and breakfast sausage, which Impossible doesn't.
> What you refer to as private manipulation is called supply and demand, maybe try reading Econo101 :)

Does Econ 101 cover asset bubbles or financial manipulation? It's been so long, that I can't remember, but I promise you that prices can reflect things other than supply and demand once you manage to get past that first class.

> Bitcoin doesn't need permission though

No authoritarian would EVER cut off or filter the internet in their country. Nope, has never happened, will never happen.
Nowadays I look for reviews on Reddit. If I can't find any that I consider to be legitimate, I won't buy the product if it's more than £10.
That's absurdly reductionist and my comment is sincere. All the items you listed are able to bought and sold digitally. There is no evidence that the market in these items is being restricted because digital transactions are somehow being suppressed.

Where is the added value from NFTs? From my perspective, the only "value" from an NFT is the concept that a digital item that is indistinguishable from an identical digital item may now be tagged with a token that proves ownership (but only of that one digital item) and which may be bought and sold. This is unnecessary for things like insurance policies, land deeds, equity, intellectual property, and domain names. All of these items have meta-information that allows proof of ownership (land deeds are recorded; IP is registered with the USPTO; equity ownership is registered with brokers and trades are recorded with the SEC; etc.). There are already functioning systems setup to record, register, and transact these items.
When talking about city growth, population dynamics and long timescales, do you really believe those administrative boundaries matter in any practical sense?
Bitcoin and dollars are not comparable. The US government forces you to use dollars under threat of violence. To exist as a legal entity in society you must use dollars, to pay fees, taxes, etc. And if you depend on the government, you must accept dollars.

No one needs to use bitcoin. Its demand is chiefly speculation. It has very little use other than a speculative vehicle.
I truly don't understand the methane issue. Historically worldwide the # of ungulates is probably well below historical averages. It looks like today we have around 98 million head of cattle in the US. Historically we had bison in excess of conservatively 60 million. This doesn't even begin to count all the animals in Africa. Overall wide life is declining.

https://www.statista.com/statistics/194297/total-number-of-c...
https://en.wikipedia.org/wiki/American_bison

The point is the amount of large mammal farts, it appears to be burps, going on now is probably not that much higher than it always has been. We have merely swapped out one large untamed mammal for a more domesticated one.

EDIT: I should point out I am not advocating for more cows. I don't think we should be clear cutting forests to raise more of them. Yet I don't think we should be running to get rid of all of them either. Historically beef was quite expensive and was usually reserved for rare occasions or the very wealthy. I can see a path forward where we keep the herd size constant and let prices rise. This would obviously drive people to look for cheaper substitutes.
Something similar happened in South Australia in 2016.

One of the worst storms to hit South Australia in 50 years knocked out 22 high-voltage power pylons, plunging the state into darkness. The lines on those pylons carry electricity generated near Port Augusta to the rest of the state. [1]

The government of the day blamed renewable energy, even though the outage was caused by the loss of core transmission lines that are generation neutral. Australian news media, including press that is 70% owned by Rupert Murdoch, who also owns Fox in the US, repeated the claims across the news cycle.

- - -

[1] https://www.theguardian.com/australia-news/2016/sep/29/south...
Monaco is the engine that powers VS Code. It’s super neat you can just embed it.

https://github.com/microsoft/monaco-editor
"Your home" means the place where you live. It's not the same as "your house", which is a building that you own. Evicting a renter is kicking someone out of their home.
> If they are being used, there is a market for them and they will be sold new as well.

You think Volvo will keep building and selling black-market petrol cars and nobody will notice?

> if you really believe it will be illegal to sell new gas cars in 9 years, why not make your case on long bets?

That's... that's what Volvo are doing. They're betting on it happening so hard they're completely switching their business up. That's what the article is about.
SpaceX once left its rocket engineers on an island without food
In a similar vein, I really like the LINQ style queries in the Julia package, Query.jl[1].

[1] https://www.queryverse.org/Query.jl/stable/linqquerycommands...
> being ripped off by a vendor [...] things like chargebacks and courts are there to deal with this

Third party escrow services, the better business bureau, the police... all of these can (and should in many cases) exist with bitcoin. It doesn't have to be either/or.
Maxar 3D Data Suite
Scientific processes =/= scientific method

The problem is with the business of science.

Processes are very much a business concept that most adults can understand. We develop new processes every day

Furthermore it was used plural so it can't possibly be the scientific method because not only is that a proper noun but there is only one scientific method while there are many scientific processes.

And yes they can be specific to science. The process of getting published in a peer reviewed journal is unique to academia.

Or what about the process of getting grant funding for research?

I know, you will say but that isn't science.

But nobody is arguing against the validity of the scientific method. At least nobody worth listening to. When people say there are flaws with science that must be addressed they are saying they are flaws with the business of science. And the scientific community is not doing a great job of fixing them.
Which still makes it only 97th biggest city in the world: https://www.worldometers.info/population/largest-cities-in-t...
I always assumed the inefficient grain and water requirements alone would make it worthwhile.
Raising cattle can easily become a net negative to carbon emissions if cows are given slightly more space to graze and moved around more often. If all cattle were raised in this way there would be slightly less cattle production but a far more positive environmental impact than if we all switched to vegan "meat".

https://blog.whiteoakpastures.com/blog/carbon-negative-grass...
That's like trusting a service because they released some source code.
All models having hybrid options is pretty different from all models being hybrids.

That sentence in the article is just poorly written.
"...at least one player stood on the field through the duration of the song)..."

He later said he was waiting to talk to the coaches. :-)
I don't know when it was added, but Ada does have a switch/case equivalent construct and I can't imagine it wasn't available early on.

case X is
when 1 => ...;
when 2 => ...;
when 3 | 4 | 100 => ...
when others => ...
end case;
Seconded - good film.
>Beyond Meat’s moat looks very shaky here.

Beyond doesn't have a moat. They make veggie burgers.

They became super popular when impossible burger started making the rounds on the news and rode the wave of interest impossible burger created.

Impossible burger has a moat - they have yeast produced heme and I assume some patents on it.

Beyond meat makes veggie burgers. They have no moat.
I think the money is in the aggregator. Everyone creates their own “log” so the noise is crazy. You follow “influencers” or go to aggregate sites that only vet info, not produce it.

You could have the aggregate behind a paywall, you could have donations or ads as well.
>Implying electronic banking can do anything about inflation
Don’t be so dishonest
Something I've come to internalize over the years is to always try to avoid being clever especially with lingua francas like Bash.

There will be people - seasoned professional developers, even - reading these languages that don't know the first thing about them!

`[` is one of those things that are second nature for seasoned bash people but that are utterly ungoogleable by a bash beginner. Beginners don't know `[` is an executable, and it would never occur to them to `man [`. It can become quite the rabbit hole to figure out that there's also `[[` (which is NOT an executable), that `[ a > b ]` is very very different from `[[ a > b ]]`, etc.

So do these people a favor and put the `if` there so they at least have some hope of stumbling upon a stack overflow post talking about some of this stuff.
I have friends that prefer the Impossible breakfast sandwiches at Starbucks to their meat versions so that's what they order.
I agree. I learned Ada in university (my professor was on the Ada committee) and used it for an embedded development course. The language was really good (many fewer foot guns than C or C++; clearly Ada was holistically designed), but I recall having issues with the tooling and the ecosystem, and the community was super defensive and hostile. If something wasn't working for your use case and the community didn't have a solution, then your use case was invalid. If you politely asked for help, you were incompetent or too lazy to figure it out on your own. This was a decade ago, so maybe things have changed since, but I can honestly understand why the language is niche. The type system and other intra-language features are very interesting but ultimately not the most important aspects of a programming language.
Exactly, and Beyond Meat is only the "preferred supplier". BM probably has to meet quantity and price targets or they are done. Good luck building up big profit margins.
>Messages

I think this needs to be explicitly written as iMessages to avoid confusion. AFAIK iMessages is rarely used outside of US and France.
You get a girl by going places where girls congregate at a similar or higher percentage to guys. Took me a while to figure that out... Anyway, I understand sarcasm, too.
Hacker News is affiliated with YC, a startup accelerator. While there are lots of FAANG engineers and engineers from all parts of the spectrum here too, this community biases towards startups. If there is a place to discuss strategy for pre-PMF startups on the internet, this is it.

I’m not intending to generalize, quite the opposite. I’m arguing against a generalization that “speed is the killer feature [for all products]”. In my post I presented a few cases where this over-generalization is not true (pre-PMF startup and potentially large B2B product) and suggested a more nuanced and objective analysis of the trade-offs.

> You are speaking in generalities, so you are essentially implying that most people are working on software that has not achieved product market fit?

Perhaps try parsing my post as “here are a few examples of common cases where speed is not the killer feature, and a sketch of a more flexible thought process that will get you to a better answer”.

Product managers at both large and small companies use ROI and experimentation to figure out what to build (though in some ways it’s actually harder at a startup as your sample size can be too small to get statistical significance, or at least to run as many experiments as you’d like).
More likely the author was faced with numerical code in FORTRAN and confused large formulas with the language syntax being heavy in symbols.
Work on Element Home predates Beeper's launch by a few months, and is in no way a response to it. EMS does have some paid bridges too, but the emphasis is on the Matrix rather than the bridging, unlike Beeper.
The whole "horses vs. cars" argument is based on a false dichotomy: the are not only these two options for transportation.
This is a bit off topic, but if you were here for the money shouldn't you just be in the stock market? It seems like the people who really try and analyze it (like in quantitative trading) do extremely well and if you don't have the time for that (who does outside of work), then mutual funds have a great return on investment and are significantly less risky and have a way lower barrier to entry. I am a bit ignorant on the economics of bitcoin (though I have built a miner and did all the merkle tree stuff), but its unclear how bitcoin is better unless you have a lot of capital already and can stomach the risk.
Ok let's be real. You're the one splitting hairs now. There is a clear difference between what either occupation does but of course sometimes a scientist needs to do carpentry or machinist work to build the tools for his experiment. Does this make machining and carpentry the same thing as science? No.
When there's more movement in a market, it's easier for supply to increase and prices to stabilize.