skysight-inc/HackerNews huggingface dataset:
I love this. Currently working on a file storage system that gets away from folders, and that's hard because everyone has folders hard-wired into their brains because history.

Functions shouldn't live in files, for a start. Files are an artefact of storing code in a file-based storage system, and have nothing to do with code architecture. Creating a code editor that stopped working with files and only worked with functions would be interesting as a start on this, I think...
Dates have loads of sugar though
What did the Food and Drug Administration's investigation reveal? It seems like the agency failed to do its job in multiple ways. I cannot find any current information on this case.
All these ideas have been implemented in JetBrains MPS. Terms to look up are structural/projectional editing and language workbenches.

Here's a concise demo (although you should read the original paper and the documentation to really grasp this concept): https://youtu.be/pVIywLXDuRo

Papers: https://confluence.jetbrains.com/display/MPS/MPS+publication...
Does the average person really want to download a tool that helps them sandbox windows applications? I mean, maybe they should want to, but do they want to?
However, they do have an interest in making it easier to port code to their platform.
My experiences exactly. I realized this a few years ago. So, do the books follow a particular theme, or are they on very disparate topics like for me?
It's a special character in HTML, which is the context in which the name is being shown. The fact that it's escaped before being concatenated into the HTML document is fine; the fact that it's triple-escaped is the problem.
Since it sometimes comes through as 'Amrmr', I guess some agents are trying that but for their system it isn't stripped.
so take it with a grain of salt.

Isn't that bad for your blood pressure :)
This has absolutely no bearing on the matter. The fact that some simple propositional logic statements could be proven using Haskell if Haskell were total, does not mean it has a significant impact on correctness (which requires predicate logic) even if Haskell were total, and it certainly doesn't mean that it's more effective at increasing correctness than Python.

And, BTW, Coq is not a particularly effective tool for writing correct software, either. The largest software whose correctness was largely verified in Coq (CompCert) is positively tiny compared to standard software (it's less than 1/5th of jQuery), and the cost was huge. So Coq's "correctness score" of increased correctness per unit of effort is not particularly stellar compared to alternatives.
MFC and WinForms both just abstractions over Win32. WPF was clearly targeting being indistinguishable from the old widgets and had a much better success rate than other reimplementation attempts. It's really only with UWP/WinUI that you'd notice the difference without going searching and that has received a lot of consequent complaints.
People just dont wanna stick to the basics. It has to be improved, we need more options.
The surgeon's description was a bit gratuitous. I could have done without that.
No more ironic than using Java the original purpose of which was for developing portable interactive apps on set-top boxes ;)
“We assume our readers are wise enough to understand that Microsoft is the same old corrupt company, with new lies and PR.”

I assume Microsoft still wants to make as much money from Windows and Office as they can but the trend has been to get users onto Azure and that’s not incompatible with Linux desktops and LibreOffice. That said, it’s possible that Microsoft Germany is doing things of which Redmond wouldn’t approve if it were fully know back at HQ. This isn’t Ballmer’s MSFT anymore.
Math Advances Raise the Prospect of an Internet Security Crisis (August 2013)
I am sure that all the bribes Microsoft gave in Europe were not known in US /s
If you can't buy the publisher, then you buy the author. Or you feed a neutral author the experts you purchased.
Here's the original 4-page interview of former mayor Christian Ude, it's very readable and should translate well with Google Translate:

https://www.linux-magazin.de/ausgaben/2019/10/interview-2/
Also very reminiscent of the F-35 program.

Designing a small collection of different aircraft, each specialised to a particular role, can produce a complementary fleet with capabilities a modern air force needs. But doing so comes with the overhead of producing lots of different aircraft.

Instead, "the spreadsheet" shows that designing one aircraft capable of lots of things comes with the lowest overheads -- but with all the disadvantages of an overcomplicated aircraft and only average performance in each trait.
I found this paper by Maurice A. Robinson very informative on the subject, but he does advocate for Byzantine priority. http://rosetta.reltech.org/TC/vol06/Robinson2001.html At the very least it's a good introduction to New Testament textual criticism, and it goes further in depth on your points.
> Well, it doesn't seem like they do because, again, we can't find significant correctness differences

Like I said, none of the studies conducted so far actually measure this in any realistic fashion. If type consistency, documentation, code organization, and tooling had no impact on the functional correctness of the resulting programs, we wouldn't bother with any of it.

> It's not a "conclusion." Until we find evidence that lettuce cures baldness -- or causes it -- we assume it doesn't.

No, we assume nothing. Why would you even bother making assumptions? Certainly you can advance a hypothesis, but that's not an assumption.

> Especially in software, which is a huge economic undertaking and therefore has powerful selective pressures

I disagree. Software development is a comparatively meager economic undertaking compared to most other human endeavours, as you need only a computer and a human brain.

Furthermore, the selective pressures you speak of aren't really driven by functional correctness ("worse is better", first mover advantage), so I frankly expect to see little correlation between economic success of a software company and the functional correctness of its software products, which in fact seems to be the case. There are plenty of reasons why the effects of types may not be visible in the current data.

> So the scientific reality is that Haskell in all likelihood does not have a large negative or positive effect on any important bottom-line metric, at least until proven otherwise.

Haskell has plenty of other baroque features that might mask the benefits of type checking. We're talking about types in general, not Haskell specifically.
Stanislav Petrov was in a similar conditions: https://en.wikipedia.org/wiki/Stanislav_Petrov
I don't think you can play a lot of instruments with your hands down.
Calling conventions are part of the ABI, no?
Heh - had to go look up storage protect, aka 'red light errors' . Kept getting in trouble in the beginning of my career when I didn't realize snooping about lit up lights on the front panel . :-)
That interface works faster than switching between tabs in Firefox on iPhone 6s.

It’s probably the fastest web interface I had ever seen for a phone.
Meaningless, Repetitive Work
At least the Unix world tried, both with tk and gtk.
# France (population: 66,89 million)
- 76,5% nuclear 8% non hydro renewables 10% hydro 3,7% natural gas 1,9% coal 0,4% oil
- CO2 emmisions: 124 milion tones

# Germany (population: 82,79 million)
- 34,9% renewables (hydro and non hydro) 22,5% lignite 12,9% natural gas 12,9% hard coal 11,8% nuclear 4,2% others 0,8% mineral oil
- CO2 emmisions: 725,7 milion tones
Which isn’t really a problem you can solve. If names change in the context that they’re used, it will always be broken, so why break more names by trying to be clever?
How exactly is the insurance that nuclear gets for catastrophic events priced in? You know, the insurance that no private insurer is willing to offer, so what's going to happen is the nuclear operating company declares bankruptcy and the tax payer pays for the cleanup.
So you would prefer an Utopia where nobody pays for other people's work but they still make it available for free and work on it forever?

From the news it didn't seem like they are abandoning it.
New Clues in the Hunt for a Room-Temperature Superconductor
We could see some of this play out in the China EV market in the coming years. State sponsored subsidies around infrastructure standardization. Combined with foreign investment and competition spurring innovation.

What I've seen personally is what can be loosely termed "emergent consensus". Historical competitors (and often it gets whittled down to two giants, such as Boeing and Airbus) will work in secret on research. But after years of experimentation arrive at very similar outcomes. An optimal answer that could only be arrived at through constant trial and error, product evolution and iteration.

Regarding Karpathy's PyTorch presentation I don't thing anything that wasn't already public was revealed. The FSD board with custom NPUs is a Work of Art. I like that there are dual redundant streams. And the scale of the dataset is already well know: 4096 HD-images per step!

If I had to speculate, the "Dojo Cluster" may be envisioned as an effort to share data and compute with industry partners as a cloud SaaS product and ancillary revenue stream. But that is pure speculation ;)

Inside Tesla’s Neural Processor In The FSD Chip

https://fuse.wikichip.org/news/2707/inside-teslas-neural-pro...
I've become a big fan of not worrying about architecture until the rewrite. The first version is always an exploration of the problem domain, and treating it as that has always made my projects go quicker.

This is going to trigger some people, so here's some caveats:

- there's always a rewrite. Even with perfect architecture. Usually because nobody understands the problem domain until there's been an exploration of it with a first attempt (occasionally for other reasons). A few have two rewrites. And that's not a bad thing. Starting again with better knowledge can make the whole project go quicker, because there's less chance of ending up in the situation TFA talks about ("we have to refactor because tech debt").

- architecture needs to be shaped by the problem domain. There isn't a "best" architecture, so picking one requires knowledge of what the code needs to do. And that needs an understanding of the problem. No-one understands the problem from a technical point of view until/unless they've tried writing a program to solve it.

- a lot of features of architecture (like choosing to DI the database engine, instead of picking an engine because it's clearly the right choice) are made because the devs don't have enough knowledge to make an architectural decision when they write the code. It's interesting to see how many of these disappear on the rewrite. It's always more efficient (both performance and development time) to make these decisions, but making them is difficult without enough problem information.

- never underestimate the power of a monolith with good file structure.
Is there a scan of this manual online somewhere? I'd love to read it but not sure what to search.
Johnny Cash and Joni Mitchell Live: “The Long Black Veil” (1969)
For me deploying DNSSEC was as easy as clicking a button in Cloudflare DNS panel. Though I don't understand how DNSSEC is helping with HSTS? Is there some DNS record which is supposed to force browser to use HTTPS?
Bad times make hard men

Hard men make good times

Good times make soft men

Soft men make bad times

And so the cycle goes
Lactose is a sugar and, as the name implies, it is naturally present in milk.
There are three factors that decide video quality: the host, the content and the polish (including camera+audio). If a video of a grumpy man holding a shaky camera has many views you better listen to him, what he says has to be phenomenal
It’s time for the anti-seo spam filter for search engines
There is just a step from this to avoiding expressing anything which may be hurt, even slightly by misinterpretation.

It seems to me that many try to smooth things up to the point of actively avoiding anything remotely resembling even "I don't agree" (there is no better excipient than no excipient), and this is dangerous.

Granted, every principle/method becomes counter-productive when pushed to its max, however on this one many inadvertently go over this limit.
Things I wish I knew about Terraform before jumping into it
Tesla is the best!
Newton vs. the machine: solving the 3-body problem using deep neural networks
That was very informative. Thank you for sharing this ( and useful for my day work ).

I know that western naming convention is just that, a convention, but it does help to see how other cultures handled it.

Apart from all this, it is always interesting how a given system deals with exceptions.
The problem with that is that the methods for `sync.RWMutex` spill into `Backend`.
Is there something similar which works with video?
Adorable Photos from Davido's Son Naming Ceremony
I took a year of Biblical Greek and Hebrew in college. The main reason I think it is required for Theology majors is to show that the translators did a really good job most of the time. There are times knowing both languages has helped clear up a passage, but comparing various translations and reading what other translators have to say about the passage would probably be just as good for that.
That there are allocations is odd.

One slide says for some roms:
No crash is triggered whatsoever as the ROM is deterministic enough that the buffer is reallocated in the same place every time upon USB stack initialization.

We aren't looking at the code, but "deterministic reallocation" or just static storage class? Seems like dynamic memory allocation was introduced recently into this rom. And why is a good question.
Keyboard and lap steel guitar :)
I'm currently reading about this now on Wikipedia, and holy crap this a chunk of US history that I've not looked before. It seems that the eugenic movement was fully developed in California, way before the Nazis imported it from them and used it to their advantage...

https://en.wikipedia.org/wiki/Eugenics_in_the_United_States
Martin Amis and the Stink of Money (1985)
Bends more easily doesn’t mean bends too easily.

Of course what’s too easy is a grey area. I do know as an owner (who’s generally rough on his stuff) of a 6 plus for four years that they don’t bend easily.
Someone had a go at a Rust binding of wxWidgets five years ago:

https://github.com/kenz-gelsoft/wxRust

As they mention, this is based on a C wrapper round wxWidgets' native C++ API, originally developed to aid in developing a Haskell binding to wxWidgets:

http://wxc.sourceforge.net/

The Rust binding is probably bitrotted for modern Rust, but since it's mostly generated, generating a low-level API using bindgen, which is actively maintained, and then a high-level API using a Python script of its own, it might be fairly easy to resurrect.

bindgen has got pretty good at converting C++ APIs, so it might be worth trying it on wxWidgets' native API, too.

I have no plans to write a GUI application in Rust myself, but i would love for there to be a good option for other people to write native GUI apps in Rust. As many other commenters have noted, cross-platform synthetic GUIs never look or behave quite right.
The operating company is insured and pays for the cleanup.
>>> What's the difference between the human thinking, feeling, making a choice and a trained neural network making a 'choice'? I would not say a neural network has free will.

>> The difference is most likely the organization and the complexity of a network. Neural network doesn't have free will because it is too simple and can't even pass turing test.

> I don't see what the Turing test has to do with free will, but it has been beaten multiple times already.

my point was that neural network doesn't have free will, because it is too simple and cannot be regarded as a person, Turing test is one objective way to check if a program is capable of thinking. The wikipedia page on Turing test https://en.wikipedia.org/wiki/Turing_test is not aware of any of the times when it was beaten.

> If you re-ran the simulation from before the person was born to their death, the universe would progress through the exact same states.

sure, it would be like a time machine.

> In a simulation free will would be the ability to change your choices between runs of the exact same universe.

that would not be a free will, that would be an absence of will, because if nothing changes why would person's reaction change?
I know this is too late to be useful, but it only takes 1b per nesting level to track the nesting depth in O(1) time, or just a 64b integer to track the nesting depth in O(n) time. I wonder if there a sublinear algorithm? At best to me, right now, it could made to look like bitstream compression.
It's not something Burmese women are used to doing, and if you think about it it's kind of a weird holdover from a much more patriarchal time. But, if she'd known how difficult it would be I think she would have anyway.
“failure to provide adequate resources”

So you’re confirming Microsoft’s point that Linux on the desktop provides no cost advantage? Combine that with OpenOffice’s Word 6 level UI, and it’s understandable why they went back.
The interview has practically no content. The mayor says that a leader of the ‘green’ party suddenly switched sides supporting Microsoft at every turn but states no reason why, so insinuations this was influenced by Microsoft somehow aren’t made in the interview. Then he laments about how much this probably is going to cost and what they could have done, mostly invest in better hardware and just better politics, convincing people of the value of independence and data security.
It’s not consistent. The worst thing about “prettier” is how it constantly flip flops back and forth between a single line or multiple lines for imports, destructuring and JSX tags.

I will jump ship the second something comes along that respects line breaks.
Hey thanks for the question.

Regarding your first question: that was exactly what I wondered, and I found out that they don't necessarily overfit to the type of degradation (the repo shows a section called "extreme super resolution" where the input is already high res, and the output shows no artifacts). But they do tend to overfit to the domain of images. So you would probably observe artifacts running this on pictures of...curcuit boards? But those are also functions of batch norm, as some literature points out, and I tried to mitigate this problem by not using batch norm layers in the end of the network. I always welcome people testing it out and reporting any problems they observe though.

For the second question: I would say definitely. You don't need to waste a lot of time worrying about data quality, or even annotation in this case. Also, ground truth to the model is actual, real, without noise ground truth, so they may be able to learn better features representative of the distribution of data. I'm sure there's an argument to be made here about the generalization capability of models being trained on noisy data being higher, but I personally think cleaner data = better data. Especially for a GAN where the goal is to learn the distribution of your input space. Noise would only hinder that.
Please supply some evidence for this assertion. When the BBC is annoying people on both side of the argument, it must be sitting on the fence.

I recommend watching a few USA new programs or even reading a few UK daily papers to see what "mouthpeice for the Tories" really are.

Just because the BBC may not agree with everyone all the time, it does not mean it is biased.
I have a pet theory that there are two different ways that people think about and approach programs.

Group 1 likes highly decomposed programs which they feel results have clearer code since hiding the details makes it easier to focus on the behavior.

Group 2 likes to keep code together which they feel results in clearer code since the details of the implementation are readily apparent.

I suspect that these groups may correspond to the Artist versus Hacker groups in this article https://josephg.com/blog/3-tribes/. I.e. do you view writing code as primarily about expressing intent or primarily about controlling technology?

The conclusion that I draw from all of this is that these are likely fundamental differences that may even result from how different people are genetically wired to think. Therefore, I think that any solution should find a way to satisfy both groups. On the other hand, problems arise when, for example, people in group 2 dismiss the needs of people in group 1 by declaring that organizing the code is premature optimization and YAGNI.
In part I agree, but for me (for some of the videos at least) ,I also see value in just being introduced to the idea and getting me to think about it (and perhaps consequently search for other sources) rather than increasing my knowledge or understanding in that particular area.
For the record, that's a segment from the documentary movie Trinity and Beyond: The Atomic Bomb Movie [1]. It's an incredible documentary and I thoroughly recommend anyone interested in the development of atomic weapons finds a copy of it.

[1]: https://en.wikipedia.org/wiki/Trinity_and_Beyond
Reading through your comment and looking back at the Download page, I think you're right. The linkified image is especially poor design (although, I think the intention becomes more obvious when there are multiple linkified images to common software-download destinations, e.g. SourceForge or FileHippo, as (IIRC) was previously the case).

I suppose it may just boil down to a fundamental difference of opinion; I don't really think it's necessary for every website to try to accommodate entirely non-tech savvy users — especially a site offering software that already assumes existing technical ability (if you can't negotiate an antiquated download page, you're probably going to struggle to use a lot of software of that era, including Sandboxie).
I vote woodworking. It uses both your body and mind. It teaches you to quintuple check your work before cutting. In programming, mistakes are cheap. In woodworking, mistakes are best avoided. It also gets you on your feet handling large/heavy pieces of wood which does wonders for improving core strength and ...gracefulness. It also gives confidence and the ability to shape the world around you.

Some downsides are the learning curve, startup costs, time you will have to spend setting up your shop, and sharp spinning blades. No matter how good you get there's always a chance for a mistake. If I were rich I'd using nothing but sawstop or at the very least kregjig stuff.
Combination gene therapy treats multiple age-related diseases in mice
That's the goal of this repository but the code base doesn't support video atm.

You could theoretically use OpenCV to extract video frames and upsample them one by one through this model in real time (384 -> 1024 upsampling runs at 30fps).
Not to nitpick, but the failure mechanism in the crash and what Walter was testing are slightly different.

Fatigue failures like the one in the crash are from multiple sub-maximal loads (look up "S-N" curves for more info). In other words, fatigue comes from cycling lower loads many times on a part. Buckling calculations look for maximal load failures on a column (i.e. a single larger load event that can make it fail).

The link is a great example of a real world case study (and thank you for finding it!), and no doubt somebody was doing fatigue calculations on the jackscrew at Boeing as well. I just wanted to add a bit of nuance
Steve Jobs CEO, Next Computer and Apple. MIT Sloan Distinguished Speaker Series
I had also a look at RaptorJIT. But as far as I understood it only runs on x86-64, not on x86. Or do I have a misunderstanding?
He’s confirming using free software is not free. People trained to use Microsoft’s ribbon can’t use OpenOffice, just like many people trained to use older Office versions can’t use the ribbon.