skysight-inc/HackerNews huggingface dataset:
I meant "cheap" compared to other German cities. No matter what your personal preference is, you'll pay significantly less in Berlin than you would in Hamburg, Munich, Dusseldorf, Cologne, Frankfurt etc, regarding rent, but also things like eating out at a restaurant.

The taxes aren't the same as well - local infrastructure isn't a federal issue, so federal income tax doesn't pay for that. Berlin's tax factor for companies (a major part of local taxes) is 410%, compared to Hamburg's 470%, Munich's 490% or Cologne's 475%. Berliners have decided to go with lower taxes to attract companies away from other cities, so Berlin has less money to spend on public infrastructure, even though Berlin gets a lot of subsidies from other states (2-3bn/year).
Off topic, but it's an interesting read how they originally acquired the land for Heathrow.
America's short-term focus on quarterly results will be its eventual undoing. No long-term thinking; it's like making your kids drop out of school & farming them out for child labor to make monthly family income look good. Totally shortsighted.
Probably varies depending on stage. Wafers are very pure silicon, so the ones that haven't yet been contaminated with trace elements would probably be melted down for reuse. Wafers later in the process are probably carrying a lot of material (gold/silver/platinum, maybe iridium, some heavy metals?) that would be worth salvaging in bulk.
Lisp functions can take fewer or more than two arguments while many mathematical operators take only two.

And parentheses don’t serve precisely the same role in Lisp syntax than they in the more free-form world of maths.
If you want to go back to where it all began, I recommend "A Thread Across the Ocean" by John Steele Gordon:

https://www.goodreads.com/book/show/410958.A_Thread_Across_t...
Lessons learned on native iOS app building from a web developer
Thank you. I really get it now. You have a fantastic gift for educating!
This is the sort of input that you'd selectively pick in a unit test, too. What you don't do is also picking inputs like "llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch" too (all lowercase) :)
> A huge cargo cult telling to turn it off because it's broken, ignoring that it's breaking a lot of clients, and without a single explanation of what's the problems or how to mitigate them.

Yup. Everyone should strive to use 1.2+. But some can't for whatever reason.

What's the harm in keep <1.2 around for the legacy clients (assuming no regulatory stuff) that can't / won't upgrade? Or do we want to turn off the proverbial Internet lights on anyone that doesn't keep up?
There's definitely room for a helpful blog post laying out these principles in a less dense way. Go for it!

There's also a lot of room for discussion of the choices around implementation techniques different libraries use (things like whether or not DFAs are created on the fly). I'm interested in this area, so I should probably work up to writing up some of these examples, as a way of forcing myself to learn them better.

Also, I think you're not painting the full picture about the issue of DFA conversion being exponential. You're right that it's much less of an issue than being exponential in the input size, as it affects fewer use cases. However, it's still a potential DOS issue, so it definitely matters for any application that takes user controlled input and produces a DFA. I think it also matters for getting optimal performance out of an engine even in non-adversarial conditions.

For an example of how easy this is to trigger: (a|b)*a(a|b)^(n-1) produces a DFA of size exponential in n. With n = 15, re2c generates a 4mb file.
This is how every thread on this topic goes. 99% downvoted and hate directed towards me. A couple of people chime with “yeah I agree with you”. And nothing changes because it cannot. Because it’s based on preference.
> How does writing a patent for a device that obviously can't work as described achieve anything.

If I did this where I work, I'd get a small cash bonus for the application, and a larger, but still small cash bonus if it issued and a commemerative trinket. Plus, I'd have something nice to write about myself in performance reviews. Sounds like an acheivement to me.
Is the new berifing SKS from Sequoia PGP (written in Rust!) affected as well? https://sequoia-pgp.org/blog/2019/06/14/20190614-hagrid/
I haven't learned about it yet, so this sort of thing never happens to me... =(
As I said the alternatives to AEADs have well-known security issues that AEADs are immune to by design. Keeping 1.0 and 1.1 around requires keeping CBC ciphers around and all the workarounds and careful design required to avoid exposing padding oracles using them, and requires keeping your software patched as new vulnerabilities from those oracles are discovered. Eliminating TLS 1.0 and 1.1 will meaningfully improve the overall security of the TLS ecosystem. Also, you didn't address my point about using a proxy server which should let you keep using your ancient software. (Also also, it looks like that's Mac software from 2007, will it continue working after Apple drops 32-bit support?)
Likely around 2013 by the Wayback Machine.
I mean when you have a class which, instead of importing/including/requiring its dependencies directly, expects instances of various classes to be passed into its constructor for example. So the class cannot do its job unless you pass its dependencies into its constructor... This is an antipattern which unit tests tend to encourage because it allows you to decouple the unit logic from its dependencies and it makes it easy to inject mocks in the place of dependencies.

A unit test should only test a single class so that means you need to mock out all other classes which your class depends on. Mocking out dependencies in the test code is difficult or not feasible and that's why developers often resort to Dependency Injection in their source code but as mentioned before, it is an antipattern.

Also, I noticed that a lot of developers confuse unit tests with integration tests but the definition is quite clear: If your test covers more than one class without mocks, then it's an integration test. Integration testing does not necessarily mean end-to-end testing. It could just be a single class with its internal dependencies.
OpenCL based lightweight C++ computing library
I've heard tales of police departments using "lie detectors" which consisted of a colander placed upon the head of the subject, connected by non-functional wires to a photocopier in which was placed a piece of paper with the words "You're Lying" printed on it.
That is my understanding as well. The GP suggested that fines would be ineffective because resources were “spent” on stock buybacks. I asked for clarification of the GP’s understanding of the difference between buybacks and fines.
It’s certainly better than having all identities sitting on one company’s server. In that case, they can delete whoever they want and they also know your IP (look at keybase for example).

Check out the Jami developer blog.
Anyone have a comparison of Anglican vs Gen? According to https://github.com/probprog/anglican/blob/master/doc/devel.m... the programmable inference seems to be a feature of both.
My impression is that the patent minefield is keeping any significant commercialization from happening. The individual led efforts and bubbling ferment of "whats been invented in china this week?" are still too rapid to credit.

When scale does happen, the machines will be several generations ahead of what they are now. This could be in the next year or two. If scale happened now, those innovations would take a take a decade to spread. That can be expressed better but its not unique to 3d printing by any means.

There's an end user problem that isn't often addressed: These things are slow and energy hungry still. Speeding them up takes even more energy. The 3d printers of today have not really addressed the issue of how does a 500+ watt appliance live in the home and operate for hours to days at a time.

Things like cases and boring work like UL certifications are going to have to happen too, and the core design is going to have to be static for enough hours in a row for paid people to do that. The commercial 3d printers you can buy in a hardware store show how lethal lag is.
Thats how you get stuff like the Stargate Project.
https://en.wikipedia.org/wiki/Stargate_Project
I thought that Android fully leverages SELinux? That's how it implemented permissions AFAIK.
> I wonder what failed in their redundant power supply because they surely have something

Based on comments on the site, it appears that even a very short power disruption can mess up semiconductor manufacturing.

If that is true, then a backup power system that involved detecting an outage and starting up generators might be too slow.

If based on generators, they'd either need to have the generators always running, or have a second redundant system based on batteries that can immediately take over during the time it takes to start the first redundant system.

Or they could run their stuff off batteries all the time, with the batteries charged from the grid. They will still need something that can very quickly switch to the grid in the case of their own battery powered inverters failing.

All of these are going to add complexity and cost that may drive up the effective cost of electricity enough that if may be cheaper in the long to simply go with the grid, if they are in a place with a reliable enough grid.

Anyone know how reliable the grid is at their location?
Another analogy is that you have a bakery that produces soufflés on an industrial scale.

These soufflés take two months to bake. The baking has to be done in such a precise fashion that even fractions of a degree in variance results in the entire batch being ruined.

Worse still, it takes a long time to bring the oven up to temperature and stabilise it on the precise temperature. You can't just scrap the batch that's ruined and start production again.
As someone that follows Android development since version 2.1, when NDK became a thing, Google has been removing GPL component one after the other with each Android release.

With Q, the Linux kernel is the only GPL thing still standing.

No need to worry about Microsoft.
How to Create Your Own State-of-the-Art Text Generation System
The Reconstruction was badly bungled on both sides. Many Southerners even today object far more to what happened to the South "as soon as the war ended"[1], than to the war itself. This is not a justification of Jim Crow and the like of course, but an account of how the folks in the South who wished to "violently suppress and oppress the formerly-enslaved" for their own benefit managed to get away with it, despite having just lost a war with the North over that very issue.

[1] Well, not quite; the "Radical Reconstruction" was a bit of a later development. But then, the truly nasty politics on the other side, with a "Redeemer" movement working together with violent, paramilitary organizations (including the 1st 'Klan') to ensure that white Southern democrats would dominate the South and impose overt white supremacy, was itself enabled and triggered by a backlash to the Radical Reconstruction.
Without more context in social situations (I wouldn’t assume a large college lecture to have much context on fellow students), it can be hard to determine whether or not someone is actually a genius or is suffering from Dunning-Kruger.
"Harold Balfour ... deliberately deceived the government committee into believing a requisition was necessary so that Heathrow could be used as a [military base] in support of the war with Japan. In reality, Balfour wrote that he always intended the site to be used for civil aviation, and used a wartime emergency requisition order to avoid a lengthy and costly public inquiry."

British government in requisitioning other people's land shocker.
Probably OCaml. While it's been around much longer, it's never really reached mass acceptance (though does get used here and there). Rust is newer but I'd estimate it's already more used, and its adoption in industry is growing quite quickly.

This is probably to do with the fact that OCaml doesn't necessarily solve any problems that are apparent to businesses, whereas Rust solves the very apparent "manual memory management makes massive vulns trivial" problem.

I'm not sure which language is actually more approachable for someone trying to learn it from scratch though.
It would have been cheaper to buy Sun instead of hoping that no one would pick it up.
PGP for pre-shared keys is exceptionally useful still. In the payments world, we use it regularly for both interactive application/message level encryption, and also when moving files between companies.

It could die for email, but still be heavily used elsewhere.
That was possible for quite some years if you'd just used any VM solution locally and just SSH into it. At least VMware has decent file system performance when VirtualBox doesn't.
In broad strokes this is also what has happened to the US health care system and other important realms in the past few decades: making numbers in spreadsheets (and the compensation of a small number of people) a higher priority than the actual problems supposedly being solved, whether it’s communications, national security, or the well-being of the population. Somehow, profits as measured by the finance sector have become an absolute positive, as if there’s never any tradeoff with other non-financial goals.

Money isn’t real, and generating more of it can never be a sensible primary goal; phones, airplanes, and health are real.
If you can't be with the one you ping, ping the one you're with.
It is not! That's why the author recommends using the running instance at keys.openpgp.org, as a replacement for the sks pool.

Note that Hagrid is not an "sks in rust". It is different in a lot of ways, see https://keys.openpgp.org/about/news#2019-06-12-launch

(disclaimer: I maintain keys.openpgp.org)
Purism’s Librem Key Is Now the First and Only USB Security Token Made in the USA
Not to mention it's likely that it's insured against.
It's not the silver bullet we need, but I really like Keybase's approach. I think any PGP replacement should take notes from their architecture.
The problem is that one precondition for the opening of the new airport BER, is that the old airports Tegel and Schönefeld shall be closed. But BER is probably not large enough to handle the traffic of those both..
These are great. Are they done by hand, or with a drawing tool?
>The windows are small, and covered in metal bars or thick metal meshing

Shouldn't that be banned by fire hazard regulations?
At my company I feel pretty comfortable just asking "Yo, what's your job?". Why not? Would you be offended by someone else's curiosity?
GameBoy Color emulator library and trainer written in modern C++
Plenty of top quality engineers write kernel code in C++ every day.

His baby would be nowhere without the contribution of the likes of IBM, Compaq, Oracle and many other nameless contributors.

Linus opinion is his opinion, that is all.
The best source of microbiome culture is fermenting or rotting food, which is already growing bacteria that eats the food that you're eating.
Bjarne Stroustrup's FAQ
I'm curious, did you attend a large(ish) school or a smaller school?

I attended what most people would consider a "small" public high school in the U.S. (rural area, less than 1,000 students, one high school for the entire county), and never experienced anything like what you're describing.

Teachers knew students by name (given the smaller size of their classes; for example, there was one band teacher for the entire school), as well as students' parents by name.
hacker news: where latest pro war propaganda is regurgitated.
AltSchool Cofounders Step Aside
I’ve gotten stuck maintaining Python code for a testing framework and again for a CI/CD system. The fact that I know less than a junior programmer didn’t really slow me down that much, but it did make me a bit anxious.

One of those systems involved a large and obvious crypto component. If the python code had been part of that work instead of merely peripheral to it, I would have rewritten it.

Why? Because I can make python work but I can’t tell you if it’s safe. I have no idea what the weird gotchas are that look like good code but are not. What the “printf” of python is. Hackers do.

And I know even less about O’Caml. I would not sign up for that gig. Lots of the sort of rational and cautious people you want working on crypto would not.
This is straight out of Parks and Rec.

https://parksandrecreation.fandom.com/wiki/Pawnee_City_Hall
>Simply stating that "this game copied our idea!" is all well and good; but in a court of law, the case has to be proven beyond any reasonable doubt.

In common law systems such as the US and Canada, "beyond a reasonable doubt" is generally the metric used for criminal law. Civil cases, such as this, generally use preponderance of evidence; it's a much weaker standard, essentially meaning that whichever side is more than 50% supported by the evidence will win.

Doesn't take away from the interest in this code trap, but Atari did have a lower bar for success.
When Malaysia and Indonesia overtook West Africa in producing palm oil due to an "efficient" focus on large scale plantations, we decried it as another sign of Africa's regression, and in Nigeria's specific case, a sign of petro-dollar's damaging impact on a previously robust agro-economy.

Holistic Progress = Undefined.
It would have been really rad to tie this embedded message to an input sequence. I guess in centipede that’s extra hard, but it would make for a great moment in court when the devs roll in defendants machine and moments later copyright Atari shows up..
Glancing at the table of clients, I would personally guess that Modern requires TLS 1.3, OpenSSL 1.1.1, and Java 11, which is a high bar to meet for what’s likely deployed and in use in long-term support production systems. (I don’t know the actual worldwide client data statistics, so this is just a guess.)
Probably an earn-out and/or retention agreement rather than a vesting, given that it was an acquisition.
Because taking the problem seriously isn't the point of their participation.

Computer recognition of the natural world does not work without training and human confirmation/QA, and they aren't going to train each individual installation on corpuses derived from each individual school because that would eat their profits. It's all a scam, the only reason anybody's even talking to them is because they're using tax dollars as free R&D funding and calling it "progress."
Streak – CRM for Gmail (YC S11) Is Hiring in Vancouver
Logs are probably on HDD, video might be on SSD given how aggressively it gets edge-cached.
Well, Eva overlaps very closely with Datomic so I would recommend taking a look at the FAQ entry I wrote on the Crux/Datomic comparison (with 8 sections covering the major differences!): https://juxt.pro/crux/docs/faq.html#_comparisons

`EAV+T+added?` is the canonical data representation used by Eva, whereas Crux relies on two discrete "document" and transaction logs as the canonical representation. There are many reasons for this (data eviction, "unbundled" scalability etc.) but bitemporality (i.e. the ability to transact into the past/future) is definitely the primary reason why Crux doesn't follow the `EAV+T+Added?` pattern. You can get a feel for the indexes Crux uses here: https://github.com/juxt/crux/blob/master/src/crux/codec.clj#...
Not sure which one you were referring to. The ordering of comments changes over time. Could you post a URL or identifying substring?
Terra Nullius
> They have no incentive to care beyond this type of business transaction.

I don't know if it's even a matter of incentive. Even when we hire local developers from some particular cultures, it's not part of their culture to question "authority" or be independent thinkers. So, they too will do exactly what we ask because they trust us as the experts or think that we'll be displeased if they don't do precisely what we asked.
Introduction to Tagless Final
https://github.com/brave/brave-browser/issues/5057
OpenID is not an open source community nor organization.
If so, this may be a good back-to-reality counter-example for all the over-zealous formal proof enthusiasts. There is an old paper from 70's by people who designed complex systems where they stress the point that even if your system was designed and formally checked and if it obeys all the known rules and specifications, it will still fail in real world unless you test and iterate it a lot. Because it is impossible to formally specify all possibilities that can happen, and noone can forecast all the desired specs before the thing is built and tested in real. One has to experiment/iterate to find the very specifications that are then going to be designed against. Which in 737Max case was seemingly neglected.
Just imagine 8,000 sq feet of display area, and, as far as I know, there is also a living area there, like a house inside this warehouse.
The price is very reasonable and I would buy it if it was not so far away from me.
He acquired restaurants personally of owners that were on his target list. This alone is a clear conflict of interest and if not legally, at least ethically very questionable. There is a source saying she was his "hit man". I'm sorry but this does not leave a lot of room for interpretation.
/r/the_donald is a cesspit.

The "selective enforcement" is that /r/the_donald has been permitted to operate for many years, when similarly loathsome communities were shut down more quickly

It has been spared purely due to its popularity. Reddit has become the largest white supremacist internet community _ever_, and /r/the_donald is a major locus for that audience.

It's finally come to the point at which Reddit's administrators are more afraid of blowback from awful posts appearing on /r/the_donald than they are of lost engagement numbers from quarantining a popular sub.
> ...as a dev I am not touching this with a 5 foot pole. Google open source is not open source.

I do not understand what this means, the code is open isn't it?[0]

This sounds very over exaggerated and alarmist, just like Android and for example Chromium people have forked it and removed all the Google proprietary stuff from it[1], I am sure you and other privacy conscious developers in the future will do the same for Fuchsia.

[0] https://fuchsia.dev/fuchsia-src/development/source_code

[1] https://github.com/Eloston/ungoogled-chromium
Huh? The ID token and it’s claims is one of the core concepts of OIDC. Are you thinking of OAuth? That spec says nothing about token formats.
NCD (Network Computing Devices), who made X Terminals, came up with a sound server called "NetAudio", based on the X11 server, protocol and client library, with the graphics ripped out and sound stuck in.

I used it in the early 90's to support the Unix/X11/TCL/Tk multi player version of SimCity, with a scriptable TCL/Tk audio server that could drive either /dev/audio on Sun/SGI/etc or NetAudio on NCD X Terminals. Other TCL/Tk clients like SimCity (but possibly others) communicated with it via the TCL/Tk "send" command, which bounced messages off the X server.

http://www.art.net/~hopkins/Don/simcity/simcity-announcement...

NetAudio had its problems, but basically worked. Except that it insanely mixed audio by AVERAGING (add waveforms then divide by the number of sounds) instead of adding and clipping, and I couldn't convince the NCD engineer that was the wrong way to mix sound, and to just add and clip instead, like sounds mix in the real world: When you talk over music, the music volume and the volume of your voice doesn't magically lower by half. Hopefully they've fixed that problem by now.

https://donhopkins.com/home/archive/NeWS/sound-mixers.txt

It evolved into the Network Audio System (NAS):

http://www.radscan.com/nas.html

I can't say how popular it is, or if anyone actually uses it, though:

The Release version is now 1.9.4 (10/07/2013).