skysight-inc/HackerNews huggingface dataset:
I have a hard time not believing that the opt out button is hard to find on purpose.
Why? I realize that money and lawyers can make a big difference in arguable cases, but this DMCA is plainly invalid, it's not possible to interpret it differently without being untruthful.

The demands are to be gone... which it already is, there is nothing to lose in challenging the complaint. Even if concerned about retaliation or further legal action from Casio, all this guy did is essentially glue extra stuff inside a calculator case and publish a video of him doing it on youtube, it's not even particularly interesting from a hacker perspective because nothing about the calculator itself was learned, it's a true duct tape mod.

[EDIT]

> Neutrino informs us that he has already filed a DMCA counternotice with Github to get his project back.

And it's back:

https://github.com/laksh9950/Hack-Casio-Calculator
Thanks for the links. I registered but never set up a profile, and if you click the link in the email or [0] above, it forced you to set up a profile before you can configure your privacy settings.

Also, after opting out of personal data sharing:

> We're processing your request and should be done within 30 days.

Same for deleting your account.
No, I was not aware of that Firebase functionality as I have never used it. Interesting. Yes, it would be ideal if I could just let another layer do all of the authentication and authorization. That would have worked for the bits of code that use the database. I still would need a way to use the authentication token for things like the Stripe integration.
> economic interests are aligned with nuking highly critical comments

This is theoretically true, but the fact that it's been on the home page for 12 hours and has accumulated hundreds of critical comments, none of which any mod has touched, seems to (a) eliminate that possibility and (b) demonstrate that the risk is theoretical, not actual.

(Keep in mind that YC has thousands of investments, so whatever you think of their ethics or the incentives, a filter like this would be impractical and obvious. Also see "Not behaving in a way that damages the reputation of his/her company" on https://www.ycombinator.com/ethics/ - it's hard to imagine YC supporting this.)
This would never be for a home access point. This would be used for long-haul communications (i.e. between metro areas). The data rates there are already pretty ludicrous. The current standard is called 800G, for 800 Gbit/s per wavelength.
The CPU developments may or may not be of use to you.

If you're really interested in buying hardware, you can follow a rough process. Web search for the software that peaks on an X/Y axis of "how much time I spend using it" and "how long things take because of CPU processing" and add in keywords like "benchmark" and "CPU." Read those articles carefully - maybe three different sites/authors to get different biases ironed out.

I've been an AMD fan since the Athlon XP (though I skipped over the FX / Bulldozer mess and upgraded a Phenom to a Ryzen 2700X) so I can't pretend I'm unbiased. My opinion, though, is that Intel lost their way. They were tick-tocking really well, where they'd improve architecture and then process, and they were dominating AMD. When the Zen cores were released, first as Ryzen desktop chips (up to 1800X), the clouds began to part, because they were starting to look pretty competitive. The clocks are still not as high, and in specific gaming scenarios (specifically 1080p where high frame rates are critical), the Intel chips still showed a clear lead. The follow up Zen+ (up to 2700X) was a clear evolutionary improvement. (Along the way, Threadripper and Epyc chips were also released on the Zen/Zen+ architecture, and for workstation/server loads, they were competitive.)

Zen 2 was released last year with a move to chiplets, 7nm processes and another 15% increase in IPC. This really moved the needle. In many cases, The Ryzen 3xxx, Threadripper and Epyc chips are clearly better than the Intel counterparts. We also see Intel cutting the price of their HEDT chips in half overnight, so that gives you some insight. Most recently, the first Zen 2 laptop chips were released as Ryzen 4xxx with U, H and HS to indicate low power, high power and special high power chips that perform about on par with HS but using less power. They seem to be a huge upgrade to Ryzen mobile, and are much more power efficient, and battery life is finally reasonable (and in some cases impressive.)

On the Intel front, they've really struggled to break the cycle of tweaking their (5?) year old 14nm process, and they tweak the architecture, but they haven't had a major overhaul in quite some time. Meanwhile, the performance of Intel chips has been affected (arguably) more than AMD by having to implement fixes for various security flaws. And this old process/architecture is requiring Intel to continue to increase the power requirements so they can boost the clocks over 5Ghz, but of course this results in lots of heat, as well as a reputation for laptops throttling down in response to that heat.

There are still cases where it makes sense to buy Intel, but each person has to know their workload well enough to do the research to make that decision. If it's anything but mission critical (every second is worth real money), I don't think you can go wrong by just buying the best AMD chip you can afford. I don't think there are any real bad apples in the bunch, and in most cases you'll get a solidly adequate cooling solution for free and pretty good motherboard options. (Though I find the X570 market pretty unpleasant at the moment.)
The advanced programming Dojo I run is focusing on databases right now, so I recommended they join one of the low level sessions to get a better feel for the actual details of RDBMS architecture.

Skimming the schedule, I thought these might do the job, but does anyone with more familiarity have a more specific recommendation?

https://www.pgcon.org/events/pgcon_2020/schedule/session/39-...

https://www.pgcon.org/events/pgcon_2020/schedule/session/78-...

https://www.pgcon.org/events/pgcon_2020/schedule/session/50-...

https://www.pgcon.org/events/pgcon_2020/schedule/session/98-...

https://www.pgcon.org/events/pgcon_2020/schedule/session/123...
> You are right that with opaque rules, you cannot study your way into college anymore

I think you've hit on a key point which raises the obvious question: Who benefits?

Dismissing standardized testing reduces people who do well at tests, either through skill, speed, or rigorous study.

What groups, experiences, or attributes does it select for?
I read this as “Steven Spielberg uses this: my 2020 desk setup” before I clicked through. I was so amazed that Spielberg used a tiling window manager before I went back and figured out my mistake!
For a while at least.
Just wait a few days and it will be back up. DMCA works like this:

1. Copyright owner sends a notice to hosting provider alleging infringement and asking for the content to be removed.

2. Hosting provider checks to make sure the notice has all the legally required items, and if so takes the content down and notifies the person who uploaded the content.

3. If the uploader feels the allegation is false, they send a notice back to the hosting provider stating this.

4. Hosting provider checks to make sure that notice also has all the legally required items. If it does, they hosting provider is required to put the content back up within a few days.

5. Hosting provider given the complainant the uploader's contact information. At that point the hosting provider is free of liability, even if the material is infringing. If the complainant wants it down, they have to sue the uploader directly.

In this case, we are somewhere in step 4. It seems very unlikely that CASIO will actually sue, so once step 4 is complete that should be the end of this.

You've probably seen many cases where DMCA did not work like this. What's generally happening there is that the hosting provider has implemented their own system for dealing with this things instead of following the DMCA procedure (hello, Google!). People tend to call any take down request a DMCA request regardless of whether or not the hosting provider actually uses the DMCA procedure.
A better approach is to implement anti-phishing measures way up in the chain -- at the MTA level itself. Simpler ideas like: stripping URLs' from mail, stripping attachments if email origin is outside the organization, converting HTML email to plain-text, disallowing HTML email, yield substantial benefit in stopping phishing.

Basically, don't try to solve a problem by humans when it can be solved more efficiently by technology!

Phishing exercises are absolutely pointless in my experience and contribute zero to increasing the awareness. Shaming does not address the underlying human weaknesses that make us fall for phishing, they simply make the IT Guys look cooler, and increase CISOs' and Red Team budget. :-(
Lyft software engineer charged for defrauding CARES Act of $1.5M
type errors are generally the lowest common denominator error, thus tests that catch higher level errors will also catch whatever typing error is related to the actual error you are testing for.

Not to say I haven't had benefits from catching type errors but generally not as great as those I have from having an automated GUI test running.
What pain?

And what use cases?

I heard Elixir & Phoenix are great for web apps.
I've seen this too, but I tend to think of it as an antipattern.

The fact is, in most cases a Python function won't carry on as normal if you feed it an unexpected type, because while Python's type system isn't static, it is fairly strong. In general I am a fan of strong types and I would like it if Python's type system were a lot stronger.

But ultimately this isn't what my post was about: I'm talking about modeling your domain with types, not type checking.
Really happy to hear it's all going well, and I've been excited about V2 since I read the blog post about it - your product is awesome and solves a genuine need, and I really want you to succeed.
Are you a public company or aiming to sell? Part of parent company with similar strategy? Usually this kind of "diversification" generates sort of "good" news, inflating prices. Promoting ordinary dudes isn't something that moves the stocks.
Show HN: Goopensource is designed to simplify tech job search in every sector
> We're not making anyone's job search details pubic. All that the profile will show is that an engineer created a Triplebyte profile at some point in the past, and any badges they earned.

You are totally missing the point. You think the change significantly improves your product, but your users perceive the change as a massive breach of trust. Why? Because the underlying JTBD (job-to-be-done) for a lot of engineers is discreet job searching. IOW, for a lot of people, a public TB profile would be like having a private Ashley Madison profile [0] exposed to the public. Ashley Madison was a major source of embarrassment for many when they suffered a breach.

Rather than double-down, might be time to step back a bit. The aphorism "the market's perception is your reality" is especially instructive.

[0] The Ashley Madison metaphor used by this commenter is especially apt: https://news.ycombinator.com/item?id=23280782
Cities find green ways to reduce storm floods
Khan academy handled 250% traffic in a week
Twitter’s new reply-limiting feature is already changing how we talk
I'm one of those raving fans you talk about. I always love sharing the success stories of Elixir with everyone because it deserves so much more love than it currently receives.

I came from a Rails background too and Elixir is so much better than even Ruby (which I'm a huge fan of already) simply because it forces you to think in terms of functions rather than OOP based. Most people who try and give up early on Elixir - including myself (I gave up initially after a few weeks actually, before going back to it again) was simply because I was trying to code things like I would normally do in an OOP setting.

For example, you don't use FOR loops in Elixir, you don't nest switch cases. If you try to be in an OOP mindset with this language, you WILL fail. And that's a good thing. The language constantly challenges you to rethink a lot about your code. And it always results in better code when you do it functionally. Eg. using pattern matching instead of multiple if else clauses.

The downside of Elixir is the ecosystem isn't as mature as Ruby, so, for some of the things you're trying to accomplish, you won't find ready made libraries, or they won't be maintained anymore.
Sometimes, you will be forced to write something from scratch and that can cost valuable developer time.
Integration of stuff like GraphQL can be too verbose compared to other programming environments as well.
But, the language itself? It's hard to complain. My entire consulting career has been built around Elixir since I made the switch ~3+ years ago. That's how good it is.
I disliked Computer Modern enough that after experimenting with various free fonts, I actually purchased Michael Spivak's MathTime Professional 2 Complete fonts, and then I use a nice Times-like font.

https://pctex.com/mtpro2.html
Good Clojure is pretty awesome. Bad Clojure sucks like any other bad code. The Clojure maximalism can get kind of goofy.
That's a very general statement, but solar plus lithium battery storage is now competitive with gas peaker plants and those can grid balance as an extra service.
Is this the nugget of gold? “As soon as I started focusing on a single, well-understood, boring business problem (“we need a good website”) everything changed.”
This is kinda ridiculous. You first need the email client to have a bug which enables some kind of cross-site scripting just rendering an email, then a sandbox bug for a webpage to leak into the underlying system, and THEN a bug for the VM to escape to the parent OS.

At that point, I think it's as likely that your airgapped email laptop can hack into your work machine through local network exploits.

If you think a hacker is going to manage all that, you might as well assume that the hacker can trick gmail in to opening the email for you. There's a point at which we have to realistically assume that some layer of security works, and go about our lives.
Java 25th Anniversary Event
I’ve been writing a one-pass optimising compiler for Wasm. It’s not perfect, but the code it outputs currently outperforms Cranelift's by a factor of 2-10x for many of the files in the Wasm specification testsuite.
A successful business, but not a demanding database: 6000 users accessing the database hundreds of times per day each, for small reads and small writes, are unlikely to need more than a few GB of space (the parts of the database in use should fit in the operating system's disk cache) and unlikely to exceed 20-30 small I/O operations per second.
> and it is intrinsically a geometric act.

Why? Can't you have distinction without geometry? It's not only position which can be distinct, you can have other properties.

Two digits in different position on paper can be both different - 0 and 1 - and the same - 5 and 5. You can encode them not by shape, but, say, by kind of particle?

And in general, our physical world has space - but how would you prove a world without space as we understand it can't have math?
Gnome removed solid-color backgrounds based on what developer's friends use
Very much agree. With the exception of macros, part 1 learning the language was a joy. It was fairly easy and I loved it.

Part 2 learning Phoenix and OTP has been a long, ongoing thing. If I did it full time it would be done, but doing it off and on part time it is a long slog.
The issue is just fixed! https://github.com/NixOS/nix/pull/3212
I consider ‘impractical’ (not practicable) to not rise to ‘possible’.
Why build in the cloud if you can do it locally? ;-)
It's excellent IMO https://jakeseliger.com/2011/07/17/further-thoughts-on-the-k...
If your security model requires people to never open an untrusted link in their browser, you just cannot allow open Internet access
Should School be an election counter due to Covid-19?
Where Does the Day Go?
This was true for Bank of America, too, at least in December 2018.
I agree with you that microcombs come with their specific kind of challenges (and SNR is the big one), however making many semiconductor lasers so small as too fit 100 on a single chip poses lots of challenges (in particular thermal management and wavelength stability). That said, combs (not necessarily microcombs) over opportunities for additional functionality/optimizations. Because the comb lines are locked to each other (normally individual lasers have small wavelength fluctuations) let's you space channels even closer together, as well as process multiple channels at the same time.

Regarding your comment about these hero experiments not being hard, I would argue it's actually the other way around, we are now so close to the limits that it is becoming incredibly hard to observe further gains. Also regarding not modulating lines independently, this is the common way how everyone (even the industry labs) demonstrates these systems, using 100 independent transceivers would be prohibitevely expensive, moreover research has shown that you actually receive a penalty from using this approach so the demonstration is a lower bound on what could be achieved with individual tx modules.
There is also https://davidrzs.github.io/latexcss/
What does df -h in the terminal say?

It'll show the total of each partition (the normal, and the new read-only system partition) on their own line, thereby giving a false total. e.g. 1x 100GB disk, 50GB normal, 50GB system partition will show as capacity 100GB for both partitions which would mean a 200GB disk.

Small things like this just make me completely lose faith in Catalina.

EDIT: Other "fun" things I noticed within half an hour:

a. Text search in PDF no longer works

b. I can't create anything under /

c. I have to use synthetic.conf to map paths from / to my real partition, but the parser of synthetic.conf is very particular to tabs/spaces unlike any other /etc/ file format

d. Xcode wants to ask for my password to debug every single time I reboot and debug a C++ app. This is incredibly incredibly incredibly incredibly annoying.

Safari is faster in general use. But that's so far the only good point.

I'll keep it on a SSD for App Store submissions and keep my machine on an older decent version thanks
It seems to be more and more a niche tool. I don't think there's really anything better for situations where you have a small startup that needs an app, has JS experience, but can't justify a full-time mobile dev for each platform. This is the situation I'm in now, at least, and despite a few warts I couldn't imagine anything better for getting some fairly high quality apps out the door.
For the record, I have all 3 installed. :) I find that they're useful for different purposes and that it's helpful to be able to tap into two feature sets and support communities.
Guys; We do not 2m students. It is not 2015. It is the whole Hk.

We are trying our best to find a way. The recent approach is not to do any business with anyone who is Communist blue. (Well, the Communist control many things and this strategy should not work. But it hurts a bit. ) Strike is hard but we will see.

For so call violence, there is a lot of police violence and they have used this to suppress the protest, down to even sing a song in mall.

Tomorrow we will try. But how many will suffer from police we do not know.

Democracy and human rights is core to our belief. We will fight even as said here not very hopeful. Fighting a communist state with resources like that ...

It is not because we have hope we persist but by persistence we might have hope. One of our belief as well.
> the average person doesn't understand that types exist in dynamically-typed languages

Again, this is needlessly uncharitable as to what people mean when they talk about type systems, which is obviously about the capabilities of defining new types for program analysis, not that the runtime has an internal conception of types.

> Could you explain what descriptive and expressive power is missing here?

Sure! Looking at this, I have no idea what the size of side_length is, whether it's possible for it to be negative, or whether it's possible it to be null.

Of course, unless you're writing purely square based software, most domains are more complex than this. But I still think it's pretty helpful to know the properties of the parameters being passed to build your square are!
I have heard this quite a bit, and it very well may be true, but it has not been my experience. I worked in a rails shop and there are tons of people that want to learn and work with elixir, but there are no jobs they can find. Likewise on Elixir forums and slack, there are lots of people looking for Elixir work, but not many people hiring for it.
A simple optimization is to make a stack machine with the top of stack cached in a register. This can improve speed about 10% in general operation.
How to emulate hand-drawn shapes – Algorithms behind RoughJS
Same here. I full window everything. And use my second monitor basically only for YouTube/Spotify. It’s really useful when I need to keep some reference up too.
Thanks for the follow up. Yes, the size of the hearing protection makes sleeping on the side pretty much impossible. I guess that is an acceptable tradeoff, as long as I can get to sleep.
So they restrict your speech even more? Why would you want to support a platform that does this?
IDK, I get it. WAN backbone rates over a single fiber rather than more typical LAN rates.
It's not low-end, it is middle of the pack, given it's age, and for the price it's still a good buy for things like compiling and encoding, let alone any grand strategy/4x style of game that relies heavily on CPU multi-threading speeds.
Erlang/OTP is really cool and I found the Elixir language pretty reasonable and even nice but:

1. Elixir is still a pretty leaky abstraction over Erlang. In my experience it's not enough to learn just Elixir, I regularly had to dive into Erlang library source code to debug or answer questions. This somewhat negates the benefit of a small, stripped down syntax when you often have to learn another one in conjunction.

2. Maturity of ecosystem. This should improve over time but I've had challenges finding high quality libraries, especially for things like database connection drivers or making network requests. It's often hard to tell how well-supported or complete a library is and regressions were a regular occurrence.

3. Documentation. In practice I rarely found official documentation complete or even helpful (outside of big projects like Phoenix / Ecto). Even core Erlang libraries had surprising chunks missing. It's been awhile but I remember it being very hard to figure out what options were supported in Erlang's TLS wrapper. I ended up stitching together pieces from the OpenSSL documentation, Erlang source code, and lots of trial and error.

4. OTP overlap with other scheduling systems. This isn't a design flaw as much as a potential footgun depending on how you deploy Elixir code, but there is a lot of overlap between the cluster management support in Erlang/OTP and, for example, container orchestration in Kubernetes. Both support scheduling some concept of tasks, configuring redundant copies of tasks, detecting problems, and restarting tasks according to policy. Deploying an OTP application on top of Kubernetes (on top of Linux) results in 3 layers of OS-like task scheduling to learn, teach, maintain, and debug through, all with distinct tooling, terminology, and limitations.

All in all, I found Erlang/OTP to be a pretty interesting and compelling platform, especially for certain special purpose applications. If I ever use it again I'll probably skip the extra layer of Elixir syntax and write straight Erlang.
Well, your described bundle would be over 400€ then you can purchase used PS4 at least half that price and even cheaper.