skysight-inc/HackerNews huggingface dataset:
The trouble with more exciting metals is they want to self-oxidise, whereas iron powder in dry air isn't particularly enthusiastic about oxidising. Aluminium produces its surface oxide and then stays relatively inert, although aluminium powder is prone to powder explosions (as is coal dust and even grain/flour).

Everything on the left side of the table gets lively with air and especially water; everything from sodium downwards explodes in water.

(I wonder if anyone is doing the 21st century version of Ignition!'s approach of setting random things on fire to see if they're good rocket fuels with potential electrolysis-cycle storable fuels?)
btw. one can also use blazor server-side for business line of applications, which is way more smooth and only needs websockets.
so I have no idea which target c# client-side wasm (uno/blazor/whatever) has at the moment, because it simply is too big.
Thanks, but you've jumped into detail, where my question was at a more basic level: what's the point? What does this tool do for me? How does it stack up against existing solutions? I've not heard of StateBox.org, for instance, so this doesn't help orient me.

Most programmers don't think in terms of how they've impurely implemented product types. Most programmers don't even know what the term means. For a project like this I think it's important to bring it down to Earth and make it more relatable.

So, somewhat like Protocol Buffers, it's a programming-language-agnostic generator for type-definitions and it also handles language-agnostic serialization. Its unique advantage is that it takes ideas from 'algebraic type' theory to offer strong guarantees when it comes to composing complex types from simpler types. Is that right? edit: on closer reading I don't think it offers serialisation? Worth emphasising this if you compare it against Protocol Buffers.

I also have to agree with pmiller2 that the choice of name is counterproductive. It's hard to google for, and has a misleading C/C++ flavour.

With all that said, it sounds like a neat idea. I like these sorts of 'codified design patterns' that take a code-generative approach and reduce how much code is written by hand. It reminds me of what SCXML does for state machines (although I have no direct experience with that particular solution).

Also, if HN will let you edit, please sort out the italics there.
So what has that decade taught you is the best solution for quick and dirty UIs?
MPA Lawyers Are Trying to Shut Down Pirate Anime Giant Nyaa.si
Crap like this will continue to happen until we can figure out a better copyright and IP framework.
> Woodworking or motorcycle repair are hard, and the initial setbacks are extremely demotivating. You won't hit the ground running, so you better prepare for disappointment.

This mirrors my experience as well - also there is a dollar cost to each try, and no undo button, which puts more pressure on each attempt.

I still enjoy doing hobby woodworking, but it's not quite as zen in the beginning as I imagined.
Exactly. We are talking to some people at NIST about a categorical way to do units, which we hope to add to typedefs. I don't think any of the research around this is published yet
How to Watch Netflix Movies on a Raspberry Pi 4 Computer
I remember at the beginning of quarantine and social distancing, thinking that at least road deaths would go down because there would be less traffic. Unfortunately that has not been the case, as it looks like road deaths spiked sharply, at least in the US. Full statistics will take a while to compile, but initial results do not look good.

https://usa.streetsblog.org/2020/08/31/roadway-deaths-are-wa...
I love dataclasses, incredibly simple to use but so useful. My only gripe is no first-class support for "__slots__".
And the punishment to Netflix once you win in court is just damages (good luck showing any actual serious large damages here) and legal costs... there should be a massive fine and a loss of DMCA Section 512 expedited takedown privileges if you use it incorrectly.
> The polls were wrong, and 538 told us what would happen in that scenario.

How do you define the mythical "standard polling error" though? They have historical data, but polling techniques are always shifting.

Per the article:

> Suppose we’d included wider uncertainty intervals so the outcome was, say, within the 50% predictive interval. Fine. If we’d given Biden a 75% chance of winning and then he wins by a narrow margin, the forecast would look just fine and I’d be happier with our model. But the polls would still have messed up, it’s just that we would’ve better included the possibility of messing up in our model.

If presidential polls are consistently off by large margins, and 538 considers those margins to be unlikely every time, (which seems to be where we'll land this year as well as we did in 2016), then maybe it's not just the polls that are wrong, but the 538 assumptions about poll accuracy as well.

2016 on its own doesn't condemn the 538 methodology, but 2020 is starting to look like a trend. Yes, outlier events happen, but if they happen consistently... well, maybe your definition of "outlier" is incorrect. The sample size on presidential elections is small, and maybe there's just too much uncertainty for a model like 538's to end up being useful.
Missing from the above is step one: go to your local university and learn how to farm. Every area is different so what is smart in one area is bad in another. This is why you need to find a local university: researchers there know what works in your area.

this article repeats a lot of common "sustainable farming" and "save the soil" type phases, but what most people think is sustainable is in fact harmful in the long run. Other things might be okay, but your local university knows something even better to build up your soil.
Since it appears that white suburban women broke heavily for Biden this year, does that jive with what her "pulse" on them is? Because if she said they're flipping to Biden, I'm not sure how it relates the the top question, and if she said they're sticking with Trump then she's really not right.
You could always send a GDPR request since they probably store it on their servers?
The Cannonball Run.. Rich assholes dangerously flouting the law, cus thats what elites do. Its not enough for them to have all the resources they could ever need, they also have to show that the law doesnt apply to them, as an additional status symbol.
Similar to Weinstein type stuff.
Documented testimony of flagrant disregard for interstate law might have something to do with it.

If one of the many jurisdictions passed through has camera footage with the car and face uniquely identified, that’s a lot of legal exposure.
gRPC on Node.js with Buf and TypeScript
There is a payoff between strictness and usability. To be more precise in the type system beyond what typedefs has now, you need to involve more complicated stuff such as dependent types or refinement types. I don't have the answer, but having (co)products and recursion seems like a reasonable starting point.
> But if you are trying to heat your house to a livable temperature while it’s -20 outside, your efficiency is terrible.

Amazingly (to me), there are now air source heat pumps that stay > 100% efficient down to -20C before regular electric heat takes over:

https://www.nordicghp.com/2017/01/heat-pump-effective-temper...

Though apparently you'd be better off with a ground source heat pump if your average temperature during heating season was below freezing or so.

[Edit: I mention this because I've heard that "you don't see heat pumps in the north" was true in the past but is now outdated -- they've made sense in warmer climates for a while but have only recently crossed over for colder climates, so it will take a while until they're common.]
> Not really sure why there was so much hate on swing, probably from the people who never used it. No performance issues, looked good enough for users, theme able. I actually built apps that when compared with other native themed apps would not have been distinguishable from windows native. AWT was slow and ugly but not swing.

Let's unpack this...

> Not really sure why there was so much hate on swing

Swing itself isn't bad (compared to its predecessor in AWT) but Swing is still an abstraction over multiple different and incompatible desktop UI toolkits - therefore it has to compromise.

> probably from the people who never used it

Used it as an end-user, or used it as an applications developer, though?

The last time I used Swing was around 2010 - and I admit that I haven't stayed on-top of new developments, but I assume that Sun/Oracle switched emphasis away from Swing over to JavaFX (their WPF-compete) and that Swing hasn't changed much (at a fundamental level) much. Please correct me if I'm wrong.

> No performance issues

Yes-and-no. Things like repainting a busy charting component is fast enough, sure - but one thing about Swing that sticks out like a sore thumb is abysmally slow window repainting when a window is resized - I first noticed this when I was a lame warez kiddie using Limewire almost 20 years ago (wow...): actively resizing the Limewire window would cause the JVM to pause repainting the window and just draw a black background color until a few hundred milliseconds after I finished resizing. I've noticed similar behaviour in other Swing applications. It isn't pretty. Especially on macOS where users expect to be able to smoothly resize application windows.

> looked good enough

"good enough" is not exactly the best review in the world

> themeable

Yes, but who honestly goes through the effort to make an entire theme just for their own application? That's only affordable if you're a software giant or a company whose brand identity is heavily based on their software UX (and if that was the case, they wouldn't be using Java for desktop applications).

> I actually built apps that when compared with other native themed apps would not have been distinguishable from windows native

This may have been true in the final months of Windows 98/Me and Windows 2000, but Swing's inability to correctly reimplement (or even wrap) Windows XP's visual styles (especially the animated controls and when running outside of 96dpi mode) was exactly what gave Swing that uncanny-valley feeling (granted - and hypocritically - Microsoft's own WPF is also guilty of this, which is why I avoided it entirely until recently).
Although arguably a more 'difficult' language I sleep much better at night when using Rust, because Python is always in a hurry to get a wrong program running. So then, one has to test like hell. So I feel I'm still ahead of the game.
This is super slow on Firefox Android.
How is using AWS or Azure's managed RabbitMQ service lock-in? You can easily switch to someone else's managed service, or roll your own, since it's still just good old RabbitMQ.
In all endeavours where pixel-perfectness was pursued, it ended in tears for everyone involved. UXers because they could not get what they want and if they got what they envisioned, it still was not what they want as they learned about subpixel-perfectness. For programmers as it was chasing a unicorn. For the business because it is an expensive exercise gaining limited value.

Every time I see pixel-perfectness claimed I immediately approach it with a lot of caution.
You can create throwaway emails pretty easily if you register a domain name, they're not quite anonymous but they're practically the same.
The problem is they never truly iterated on the product. There are a hundred ways you could simplify and improve WPF.
lol feel the pain
It's crazy she didn't bother to check how turnout is usually measured (as a percentage of eligible voters not registered voters) but I guess it's much more fun to insinuate some sort of fraud because Americans turned out to vote in record numbers.
Ones I read as a teenager that have a lasting, if not nostalgic, effect:

- Blaise Pascal's "Pensées" (Thoughts)

- René Descartes' "Discours de la méthode" (Discourse on the method)

- Henri Poincaré's "L'avenir des mathématiques" (The future of mathematics)

The way they wielded words pleased me. Their hopes and doubts moved me. Their intellect shattered my brain.
The siblings are half-right; there is the ECJ, and a lot of law is harmonised, but far from everything. But it has nowhere near the political significance of the USSC. And both are appeal courts, so you have to exhaust your country's system first and be granted leave to appeal.

I don't really see there being much of a case to answer, although it may be possible to get the alleged secret law enforcement request. OVH terms of service will undoubtedly allow them to terminate your account for any reason.
Just wanted to say I watched your lecture on YouTube a while back and thought it was very well-done and informative. I learned a lot. Thank you!
You're unfamiliar with the concept of justice?
Not trying to troll or anything, but what's wrong with Java UI kits?
They are native UIs of the Windows platform, built on top of Win32, GDI+ and DirectX.

There is so much that the Web still fails short of WPF.
> And that all started from individuals doing anything as opposed to nothing
> It wasn’t the case 20 or 30 years ago

An example?

In just 20 years China has gone from 5kg of meat/year on average to 60kg/year (and growing) on average.

And they are more than a billion people.

Simply when you are not poor, you don't want to live like poor people anymore, with all its drawbacks.

In particular people that go from poor to less poor try to avoid dietary deficiencies, that caused so much pain in their past, especially for their children.

> say 5 animals a year by changing your habits vs saving 0 a year is a worthwhile improvement

Worthwhile for whom?

You can save 5 of them by sheer luck.

I know one can find meaning in almost anything, but structural change must have a structure.

> You seem to assume that it’s a choice between doing something with a lower impact and something with a higher impact.

Because it is.

Something with negligible impact has no impact, by definition.

> . There is a reason why the UN I’m has been saying for years that we must drastically lower our meat consumption if we want to keep feeding everyone

Yeah - we - means mainly US, where people eat on average around 120kg/year of meat.

It doesn't mean meat is bad, when Africa is gonna raise there gonna be almost 1 billion people that will exit food shortages and countries like Kenya or Uganda will finally pass from eating 4-5kg of meat a year, to something better for their nutritional needs, something like 30-40kg/year.

Another billion will reach a lifestyle more similar to ours.

Thew west is gonna need to share its surplus, it's not the World that needs to stop eating something because others ate too much of in the past.

That's injustice.

> I don’t think that’s true.

But unfortunately it is.

There are more than 160 million dogs and cats in USA alone, think about the entire West.

https://journals.plos.org/plosone/article?id=10.1371/journal...

> (they can live healthily on a vegetables diet)

It is possible, but no advisable, for many reasons:

- it's incredibly expensive

- takes a lot of care

- takes a lot of time

- chances of failure are astronomically high

- dogs are omnivore, like pandas are omnivore bears, pandas spend the entire time they are awake eating, because the nutrients of vegetables are much less energetic than eating meat directly. dogs deprived of meat would follow the same destiny.
That depends on the encoder and the settings you use. My own playing around with CUVID and NVENC support in ffmpeg a couple of years ago worked out quite well. I found that I could take 1080p H.264 footage, decode it, overlay a text display, and re-encode it back to H.264 much faster than real time without perceptible-to-me quality loss.

I saw no problems with the video quality if I used -profile:v high -preset:v slow and set the output bitrate equal to the input's average bitrate. With those settings, I was able to reencode at about 130 fps - handy when the raw footage was 9+ hours at 25 fps. Yes, that's "slow" on the GPU. :)
You should issue a DMCA against this repo since it contains your intellectual property (https://web.archive.org/web/20201104050026if_/https://github...). Doesn't failure to do so mean you don't care about DMCA?
It's not sad at all. You wouldn't want a legal process that was concerned with morals instead of law. Morals are not universal; they are vague and subjective. Law is the anchor for evaluating adherence to moral norms we've agreed upon via our legislature.
Better File Rename 6.23 and Serial Key [Latest Version]Free Download 2021
What IDE do you use, that doesn’t have full autocomplete support?
How can I disable Spectre/Meltdown/ZombieLoad mitigations on macOS Mojave?
Hey, I'm keeping a macbook offline but I'd like to use its full performance. What should I do to disable those mitigations ? I don't know if parsing the right nvram boot-args would do the trick and can't find the flags to use

Thanks
They rank C number 1. There is no way that reflects reality.

JavaScript is easily number one for reasons that will surprise nobody. On the WakaTime public leaderboards it dominates to such an extent that I think programmers spend more time writing JavaScript than all the other languages combined. I don't know if that generalizes to the broader population, but it gives one an idea how ubiquitous it is.
A wealth tax would raise tens or hundreds of billions a year, which is a pretty meaningful amount of revenue...
Not sure what it was about that response on twitter that made him think he had permission to do what he did.
I do suggest Wine, actually. I've just ran Sekaiju with it and it happily played a random MIDI file I selected after changing the output port in settings to TiMidity++ (the first dropdown list in Setup->MIDI device and instrument->Midi out device). It probably also isn't just me, the latest appdb rating of Sekaiju is platinum on wine 4.0 - for the record, I'm using 5.20 staging.
- Uno dev here

Fair comment.

Here are some other live Wasm apps examples: https://github.com/unoplatform/uno#live-webassembly-apps.

Note that .NET for WebAssembly is still in its early stages and the .NET team is likely to continue working on AOT compilation in the coming months, and the Uno team is going to help. This will be improving the payload size and performance that is currently very much lacking in that mode. Interpreted IL mode (the UADO app) is used where the AOT engine is not yet working properly, providing a base to get the framework itself progressing, while the infrastructure rest is improving.

Many of the .NET constructs are expecting exception handling (https://github.com/WebAssembly/exception-handling), which has to be emulated as it is not yet available in WebAssembly, adding significant code to the payload. Same for other features like null reference checking or indirect invocations (some may know more on that last one). Other features like lazy WebAssembly loading (for more than 4KB at least) and Interface Types to remove any Javascript (https://github.com/WebAssembly/interface-types/blob/master/p...) will also improve the actual and perceived performance significantly.

The immediate goal of the project is to provide the ability for new and existing C# apps (and not Web sites, not yet at least) to be available for non-walled garden environments. We expect the field to progress significantly in the coming years on many fronts, making this kind of apps more useful and viable.

Finally, you'll find that the Windows Calculator port to Uno is actually stretching thin the browsers resources because of the size of the Wasm payload (browser's memory and CPU is going really high because of the internal WebAssembly management). Yet, once the tiered compiler has cached the result, the load time goes down significantly.
I went from Rails to a Node-based stack with a job change recently and the backend libs we're using feel comparitively like pushing boulders uphill, which I didn't expect. (There may be more/better options than what we're using of course.)
I know I ranted a bit, but this comment is a shallow dismissal that contributes nothing to the discussion.
Show HN: SVGBox – use 1000+ icons with a single tag
Python is ideal as BASIC replacement and scripting language, for being a glue language for C and C++ libraries, almost any language can do that.

As for Go, when they adopt generics, until then I rather spend my productivity in Java and .NET land, and only deal with it in the context of containers eco-system.
That doesn't really make sense, since this guy already did an interview for VinWiki, describing the run, how he did it, and showing pictures of the car: https://youtu.be/EvQFDtJUdHw?t=207
Feel like contributing? https://github.com/dotnet/wpf
Sure, the rich might be getting richer, and the poor might be getting poorer, though for all intents and purposes this change seems to affect the middle class, or what is left of it.

What I don't understand is how that ties in with socialism. In modern times, in developed countries, socialism generally pulls the poor up and the rich down (e.g. scandinavia, northern europe, canada-sort-of). How did you reach the conclusion that a relatively right-wing government is socialist?
Or they need to launder their knowledge through an outside party to maintain social cohesion post-purge.
What are good reasons to choose Go? If I need a language for non-scripting tasks, I would choose Ada, which is very easy to read, has a nice type system and generics, performance, and you could statically compile everything if you wanted.
Mass testing with an unknown false positive rate doesn't help things either.
Is there a TOTP app for KaiOS that works well? If so I might actually look into this at some point, the other day I thought about it and the only things I need on my phone are hotspot, Spotify and TOTP. And texting, I suppose.
Punitive damages is a thing.
Also, she's 20.
What was the site? No harm in saying...
Consuming less in general is very good, but it's not a strategy that can take you to net zero emissions. Building large amounts of renewables and using excess energy to sequester some carbon on the other hand can become a net zero system.
I noticed this as well. At first glance, having not read the article at that point yet, I thought it was some AI generated car with distortion knowing typical HN articles. After reading the extensively long article, I realized it was likely distorted maybe out of an abundance of caution against potential identification from modern law enforcement tech? Given the highly illegal nature of the sport/challenge, and the likelihood of the characters of the article to reuse their vehicles for such activities, this was the best explanation that came to my mind.
or if the bank calls in the note because the asset/collateral becomes devalued.
I am also surprised that JavaScript is ranked so low.
> Typically this is a death knell for a software project -- however well-reasoned, well-intentioned, and well-planned.

beh, that's what we did for at some point for ossia.io and it turned out very very well
Making a modern JavaScript library in 2020
Yeah, he didn't just say, this sucks, but went into some detail about why things didn't work as well as they could and how they could be made better. The develpers were smart enough to realize that this was really high-value feedback.