skysight-inc/HackerNews huggingface dataset:
Yes. Think of what would happen if a single bit in the instruction register failed, causing the wrong opcode to get executed most of the time. (There are many other possibilities.)
To play devil's advocate, I've fully adjusted to the butterfly keyboard design and find the travel of the older keys excessive and unnecessary work for my fingers. All my colleagues type 8hr+ a day on the butterfly keyboard without complaints.

While I have experienced the annoyance of debris getting caught underneath keys, it seems like a problem of refinement of the design rather than tossing it out entirely, as many seem to be advocating.

I'm not sure articles like these are indicative of general sentiment towards the design. People enjoying the keyboard have no reason to comment about it, because having an opinion that you enjoy the status quo isn't interesting or worth sharing.
Yoghurt is also acidic, making it less hospitable to mold, and moreso to lactobacilli and other similar bacteria that are generally safe to consume.
Out of interest: What's your data source for this? The GDSs have most things locked down unless you are a huge customer, and Google/ITA seems super expensive.
You probably mean Ukraine. As far as I know, no part of the United States has been invaded or annexed by its neighbor.
We already have a chemical better version of photosynthesis in the labs - if i remember correctly about 3x as effective. A simple runaway assembler with snythetic photosynthesis like a lichen would overgrow natural organisms quite fast.
> Outside with propulsion would be actually quite dangerous in comparison.

Ooh, really? Well, that sounds interesting; just how dangerous would you say it is, compared to motorcycling, or free-climbing?
I think there is a tendency to confuse human-like with intelligent mainly because humans are the only human level intelligences we encounter. This leads us to associate human-like behavior with intelligence.

For example take a look at the Terminator movies. As this xkcd illustrates (https://xkcd.com/652/), a real killer robot would probably look more like an autonomous flying drone than a humanoid.

One of the big reason we want AI is so we do not want mistakes. We do not want human foibles in our AI. There is no one trying to make self-driving cars that lose focus by texting or getting drunk just so it would seem more human. No one is trying to make AI medical systems that give incorrect diagnoses because they have been running for 30 hours.

As for me, I want AI to get around the limitations of being human, not to pretend to be human by having human like errors.
I wonder how accurate that is. There's plenty of evidence of folks who are desperate doing desperate things... but also plenty of people doing bad things simply for "more" money.

As far as financal status goes I'm not sure how good an indicator this is, for say a support role where you may or may not interact with a bank.
Unfortunately, the US poor and middle class cannot usually attend higher-education unless given a massive scholarship through some sort of application process (which they might not even get) or take out large loans that take decades to pay back in most cases. Athletic programs offer help to the few that perform at the peak of their sport. It's not a great system, it's a lottery for student athletes who can't afford college. I don't think university athletics programs are the worst thing, it should be separate but it's not the major problem. The major issue is the requirement of a college degree for anything and the lack of major public funding. Sure, you can get grants from the govt that help cover school but very few people can attend school with zero expenses. I think that part needs to change. I think free college (and discounted university tuition) would greatly improve things. It would also have an affect of university athletics program where they wouldn't be able to dangle such massive opportunities in poor people's faces to attract them to their school. If kids are less focused on getting the athletic scholarship, they would be able to focus on school more.
> They are 6'7 300 lbs of immovable mass, that's what they are built for

This raises the issue that you have many people trying to become this that don't, and we wonder why we have high healthcare costs.
Welcome to 24-hour profit-driven journalism, you won't enjoy your stay...
> The reason why IF Games are so focused on puzzles

I don't follow the IF world closely (though I often want to set aside the time to get into it), but surely they are also heavily focused on the prose too?

If you treat the text as just an interface to get to the underlying formal game mechanics, then sure, IF is just simple puzzles because there's no hand-eye coordination going on.

But if you treat the text as a fundamental part of the experience, then the puzzles are only a small piece.

By analogy, films are the world's shittiest games because — even though the graphics are nice – the gameplay is obviously pretty meager. The player doesn't get to make any choices at all! But with a film, the graphics are the point.
Let's go with the term bigotry in response to this throw-away objection.
A credit check is basically relevant to any job. If you can't be trusted to pay back your loans on time as promised how can you be trusted to do your job as promised?
Are you seriously 'lazy/sleeping Mexican' stereotyping? I hope I'm reading this wrong.
Here's your title bump to "Technical Lead" with your 2% raise, have fun taking way more responsibility with pretty much the same pay...
Imagine a airborne spirondella version, designed to float by self-produced methan. The sky would turn dark-green with there clouds, and ocassionally burn.
Size of the levels is pretty much irrelevant to the performance. Fewer elements on screen at once matters very little for performance on the C64 if they're rendered with sprites. It really does not explain the difference.

Especially not as Giana Sisters was rather simplistic compared to many other scrollers on the C64 as well.
Ever read Larry Niven's "Ringworld"? Don't forget that the Puppeteers destroyed the Ringworld's technological civilization by creating a substance that destroyed their superconductors. If we ever invent them it will be fantastic, but it will also be a central vulnerability to our civilization - but I guess we have other ones already.
If the citizen has been charged with a felony in an American court, should the US State Department in your opinion help him?
not really, but then again it's also not hopeless. 15 minutes bike ride twice daily on weekdays, i run 4 km once weekly. my bmi is low but so is my stamina, i could definitely work out more.

i suspect its mostly stress, strain from typing and cell phone use and lifting up my 2 year old all the time
I like that they were trying to create a reef-like environment.
Wow the guy admits that hearing aids were inexpensive and simple while they charged $2,500 for them. I want super hearing and I want to control it from my phone. Waiting on Silicon Valley or China to make it happen.
They say, in a whisper, "Don't get a degree in particle physics! It's oversaturated, and the field can't even justify building another particle accelerator because it doesn't know what to look for!"
Show HN: LessHours – Jobs where it's not crazy at work
I think it's relatively new, and their data was only recently made publicly available.
count your blessings, its been really bringing me down lately.
Star Trek Discovery is consistently a pile of flaming garbage. Both seasons.
That’s pretty cool.

I’ve formerly tried to build some old stuff no longer packaged by Debian/Ubuntu for whatever reason, and trying to hunt down all the dependencies and sources weren’t always easy.

Something like this would have been great back then.

I wonder what a project needs to do to ensure they have their code archived for the future too.
Any cables from the German Empire in there?
I am the only full time cofounder of a healthcare SaaS. My cofounder is the domain expert who kept his job. No employees. ~20k MRR
I'll reply to your comment because it's the most aggressive. Glad to see another grumpy-wumpy internet commenter.

I fully agree that I, by necessity of my lack of experience, have made mistakes and lost efficiency. I have engineered things suboptimally. I have cut corners to get some feature out the door. But I also recognize that the business I work for cares about earning money, not about making nice software. My managers like me because "I get shit done."

> I must ask, though, what is this magical company?

In terms of my company. I work for a company with ~250-300 devs. The total employee count is in the high 400's. It is not a unicorn. The yearly revenue is something like 50 million USD, and we operate at a break-even in terms of profitability.

I work on a team of 4 overworked sysadmins. I would say the team's "product" is managing the production application + all dependencies (way too many dependencies...), an ETL pipeline, and VDI. At least this company has an IT team to deal with stuff like printer/WiFi/laptop issues.

> And I'm very curious how much you're paid.

My salary is 82.5k CAD with ~1.5 years of experience.

---

And as a reply to most other people commenting on the parent. Yeah, mentorship is probably the best way to develop a career. I think it really is a luxury, though, and probably very few companies do it right. I wish I could have gotten some guidance, but I didn't. I'll just make do with what I've got. It's worked so far.
You can use libhybris to provide support for AOSP/Android kernels and vendor components within a mainline userspace. With Project Treble, you could even have a generic userspace image be compatible with a sizeable fraction of "Treblized" devices - there are a few variations for 32-bit vs. 64-bit ARM, and for changes in the system image format, but other than that the Treble images are generic.
They should call the class “Concrete Nonsense” (since category theory itself is sometimes described as “abstract nonsense”).
Of course you're being cheeky but "collectively decided" doesn't fit the bill here. We didn't collectively decide anything.
Nice writeup. Brew is fantastic on macOS, do you have something similar on Windows?
The strangest one claimed to displace a pith ball, 50 meters away through several walls. They had some sputter deposited, superconducting sphere they were pulsing with current.
???

You're going to have to explain what you mean a bit more. I'm not getting the relevance at all.
Thanks.

So when I was a kid, they made us climb a ~3 cm rope about 20 meters. With no aids, and just a padded mat for protection.
RedisLabs has done great work in developing Redis but these extensions to retrofit Redis into a multi-model database have issues.

Raw latency is usually not the primary concern most of the time and having everything in RAM can be a major cost problem, further compounded by the lack of compression available as with other persistent stores. The RESP protocol is also overloaded and hard to work with when dealing with json and search queries.
Well, monads in programming are modeled on category-theoretic monads, so you do know a bit.

Monads, functors, arrows, etc are just patterns that show up a lot in functional programming that also happen to have analogues in category theory. This isn't too surprising, because category theory basically started from mathematicians trying to formalize common patterns in disparate areas of math. Categories pop up all over the place in math, and math of course is the main abstraction that we formally model just about anything in reality.

Given how ubiquitous they are, I think it's worth it to have a working, informal knowledge of category theory. It doesn't take serious time or study to do that.
Example: the first question on the first problem set [1] shows how the idea of the Least Common Multiple and the Greatest Common Divisor are analogous to ⊤ and ⊥ in PLT, or "any" and "never" in TypeScript. (Specifically, the Join and Meet operations)

[1]: https://ocw.mit.edu/courses/mathematics/18-s097-applied-cate...
That sounds like it would produce pretty vicious cycle.

Bad credit, can't get job... can't get job, can't improve credit...
C64 disks with custom loaders (read: games disks) were so fascinating to me as a kid because the sounds of the 1541 drive would change as soon as that fastloader code activated. Lots of game disks had their own unique loading sound signature.

I would love to see a comparison of 80s floppy disk drives. Lots of genius designs within... except the 1541's terrible bug which was never fixed due to backwards compatibility.
No, I mean in the USA. "Watching" means a thing is in progress. "Watched" is what we say when it has been completed.

For example, California's "sanctuary state" law is a formal rejection of federal sovereignty over immigration. A full rejection of federal sovereignty would be secession, which we will probably see, at least de facto, within a century if trends continue as they are.
Using AI to repurpose existing drugs is a more credible story than most in drug discovery.
The truncated title on HN is a little misleading -- it doesn't accurately capture the sarcasm.
> Youth is a hell of a drug and I get why people say it's wasted on the young.

I'm glad 32 year old me never talked to 21 year old me. I'd have convinced me to do even more stupid shit while I was still a youth.
Article is pretty short-sighted. The overall goal of the Boring Company is to substantially decrease the cost, and increase the speed of building tunnels. This is something that benefits public transit.

Sure the initial demo where a slightly modified Tesla traveled through the tunnel is not practical, why does that matter?

The challenge is digging tunnels quickly and efficiently, even if hyper-loop tech does not come to fruition, efficient tunnel digging can be used with traditional high-speed rail tech. Compare the state of underground transit in the US vs. other countries, there is clearly substantial room for improvement here.
Mighty Suspenseful: Musk Reveals Tesla Full Self-Driving Tech on Monday
I doubt the American government is in any hurry to enable this type of movement.
Stop acting like something that happened nearly 80 years ago is relevant today. Did we go crazy and lock up every Muslim after 9-11? That was a different time, a great deal of progress has been made since then. Sometimes I think too much progress as we are unwilling to be tough against those who seek to do us harm.
This is one of those stories that could only come from St. Olaf.
Gallery of Named Graphs
> My team races at a million miles per hour, and frankly doesn't have the time to hand-hold a juniour as they learn the ropes.

Something is wrong if this is the case. Training new hires is part of the job. If they literally do not have the capacity to do that, then you are badly understaffed.
Agreed, I wish professors were required to take a course in Basic Pedaegogy for Math, as soon as someone invents it.
I'm guessing perfect "AI" will simulate every possibility with the current input sources and to find the best solution. Perhaps similar as our life by the universe being a deterministic system and having slightly small edits compared to other universes functioning with keeping track of one another. What we call "mistakes or failures" are just a summation of events to witness a certain outcome. All the outcomes of all the other universes with maybe our own, hold one sacred outcome. Maybe you're experiencing it now or not.
Misleading headline for a shop that sells veggies in a box. Nothing on the site about 'printing vegetables'.
One of the thing about code review I found sad is that many engineers have big ego.

Time to time, I see review like: "This is confused to me" and the person who write that code explains a lot but refuse to make chances...I think those don't assume good intention in code review.

We aren't in school anymore. We are all get paid to work on something and to help the companies success, or the next engineer to success. When people spend time review your code, read your code, being thankful for these free advice.

I learned so much and thank deeply to people who review my code literally line by line.

The extra emoji, tactic, micro-promotions etc add no value to my learning experience.
http://palmerluckey.com/oculus-goblack-how-to-make-your-ocul...

> I built myself a custom PC inside one of my favorite mechanical keyboards, a dampened Happy Hacking Keyboard Professional Type 2 S
So, clisp or clojure?
> I'm convinced that the real reason why hearing aids remain so expensive is because of the need to see an audiologist.

That might change in 2020 in the US because some laws have been enacted that will allow some hearing aids (for mild hearing loss?) to be sold directly to the customer.
Wouldn't the patents be long expired by now? Also, I believe that Unicomp (PC Keyboard) factory is actually the same factory that made the Model M before (previously owned by Lexmark, which was an IBM spinoff).
I don't see a problem with remembering particularly eloquent ways of expressing a thought I'd be expressing anyway.
First the joke answer. In mathematics, once you understand the proof of something, we say that it is trivial. Category theory is about making things trivially trivial.

Now the serious answer. Category theory is about abstracting away the details of mathematical domains so that fundamentally parallel proofs and constructions can be seen to be essentially the same. It also allows you to create constructions that allow problems in one field to be transformed into problems in an apparently unrelated one where you might find them easier to prove.

The result is that in a new field, you recognize the category and suddenly have a whole bunch of results, and some important constructions to look at. Such as the tensor product.

And in existing fields you can do things like use homotopy theory to turn topology problems into algebra problems, where they are often easier.
I'll give a very, very basic example of why two shards with "half" the data is less optimal. More complicated optimizations can be left as an exercise to the reader.

Lets pretend the only data structure within a Lucene Shard is a Trie.

Given 4 strings, ["Hello", "World", "Help", "Thanks"]; A total of 20 chars.

With one shard, Lucene can utilize prefixing to find overlap between "Hello" and "Help". Meanwhile, "World" and "Thanks" are always fully stored. Resulting in a Trie of only 17 chars, i.e. a whopping (1 - 17/20) = 15% storage optimization!

With two shards Lucene potentially looses that optimization.

If the split is: ["Hello", "Help"], ["World", "Thanks"] then Lucene needs to store two Tries with 6 chars and 11 chars. Totaling: 17 chars and we still get a 15% optimization.

However, if the split is: ["Hello", "World"], ["Help", "Thanks"] then Lucene needs to store two Tries with 10 chars and 10 chars. Totaling: 20 chars for a 0% optimization :(

Now lets get back to reality, and remember that Lucene not only uses a LOT of optimizations (for both storage, and query performance), but also (for many reasons) pre-processing the data to find optimal shard placement is generally not an option, and the amount of data being indexed is generally so large that these optimizations are extremely powerful.

Just to make sure this comment is never used out of context: Sharding is still extremely important, and using a single shard is only recommended if you have insignificant amounts of data.
https://beta.trimread.com/articles/379
Secure nations don't have to behave like this, and usually don't. Nations that feel like they're right on the edge of losing control behave like this.

What specifically does (the government of) Thailand have to be afraid of? I have no idea. Looking weak to their own population? Looking weak to the king, which will make him question whether he really needs the military to run the country for him? I don't know.
Tracking eye movements to help reading
One thing it can be used for is to prove certain propositions that might otherwise be hard to get traction on.

Its concepts are so abstract that many different things can map to them. So if you can prove that something is a group, or a monoid, or whatever, then by the rules of category theory, you can now prove certain characteristics of that thing. This could wind up being a vital step in a longer proof.

When this happens, it usually feels like you moved your proof forward without actually gaining any new understanding (because the concepts are so abstract). Therefore, this is often referred to as "general abstract nonsense," but in a tongue-in-cheek manner, because you actually did derive concrete value.

https://ipfs.io/ipfs/QmXoypizjW3WknFiJnKLwHCnL72vedxjQkDDP1m...
That's a nice explanation but doesn't it give the impression that if we could find a better way to do that experiment, we could find a way around the problem, when instead it's a fundamental limit on what we can know about a quantum system?
That is not necessarily true. There is data showing that total compensation is rising at the same level as labor productivity, and the percentage of national income going to labor, when accounting for benefits, has been extremely consistent since 1970: https://www.nber.org/digest/oct08/w13953.html.

If we assume the status quo in 1970 was acceptable, then the data shows no need for "reconsidering the structure fo the economy." Rather, labor compensation grew just as fast as it was "supposed to" but that growth was eaten up by a handful of sectors.
To clarify, this is the Mexican embassy in Guatemala. I doubt there's anything interesting in there beyond the usual political maneuvering of border countries
I'd agree that bachelor's are also basically useless - all it tells you is that the candidate can put up with four years of bullshit and still jump through hoops at the end.

A masters degree tells you they're willing to put up with six.

I might have just had a bad experience - at my uni the CS Masters program was a pretty blatant cash grab, taking advantage of the visa requirements to pull in Indian students. That would have been fine, but the standards were super low, the students couldn't code at all (by year 5, at least a bachelor's CS student should know how to write a for loop), and we had a major cheating scandal every year.

I'm not saying I don't want those Indian students here - I absolutely do - I just wish we weren't creating these nonsense processes and making people contort their lives to fit them.
Platforms can do more to help us control our perceived identity online
The article says the hacker tried to disclose the vuln before going public but was ignored. You can put your internet pitchfork down.
From the article, it says that contraction of the muscles pushes against the veins. Given that, the less resistance the better. You don't need the muscles to work harder, you just need them to be maximally shortened.

In other words, what you should really do is flail around wildly. As a bonus, this also slightly increases the heartrate of nearby coworkers.
Are free and fair elections a thing of the past?
Generativity is truly the most mysterious part of Rust type system. Like template metaprogramming in C++, I see the great (ab)use potential in the future.
Same here as well. I've had stuff get caught in my (mid-2017) keyboard a few times, but never anything that didn't clear on its own after a few keypresses and I've never had issues with repeated or missed keypresses.

(That said, I have to agree with one of the other child commenters here-- the current Magic Keyboard is actually my favorite of Apple's recent keyboards. Similar feel to the tbMBP keyboards (more crisp and clicky than the older keyboards from the pre-touchbar rMBPs), with a bit more travel and a more robust mechanism, and the numpad version has a nice, big T-layout for the arrow keys rather than whatever the heck is going on with the arrow keys on the tbMBP.)
You're overreacting.
GPU-Based Procedural Terrains in Serious Sam 4: Planet Badass [pdf]