skysight-inc/HackerNews huggingface dataset:
> there is still lots of room for innovation in the live video space.

I always thought human experiments online would be huge with combining live video space, experiment ideas, text chat and a reward system.
> Small style keyboards

I'm optimistic about them (depending on what "small style keyboards" mean to you). I consider ergodox in this category, due to how it does ctrl/z, function keys and layers.

Ergodox-EZ is quite beautiful. The build quality on it is solid. It's heavy, for a keyboard. This is not a logitech or microsoft keyboard where they cynically use cheap materials.

But, there are these "small" hacks: It joins Z with the ctrl key. Z has to be hit twice to type Z. Sounds like the end of the world, right?

No function keys, a layer key has to be used to get to those. Took me a bit of time to find where F12 was to get to the boot loader :)

My anecdote: I am programming and typing efficiently with it (vim, tmux). And I'm hopping onto a laptop keyboard with normal keys and at 100% speed, maybe with the exception of alt-tabbing and accidentally minimizing all windows in Windows 10.
I tried a 60% about 10 years ago with a happy hacker but it wasn't a great keyboard to use and wasn't easily customisable or with many options. I just jumped back in this week with an Anne 2 Pro. I was moving from laptop back to desktop use and was looking to replace my full size with a mech TKL since I never use numpads ever but I wondered if corded replacements for some of those keys wouldn't be practical with a smarter bit of hardware so I gave it a go.

I have ~` replacing escape since I need them for shell and programming. I don't understand how any keyboard could drop that key. I set caps as a function key to access arrows (on hjkl as well as wasd) as well as the function keys and a few other features and it operates as Esc on tap which would be useful if I didn't have jj escape from insert mode. Overall very happy so far. There are a few window manager and term combinations I used to need to reach over to the arrows and which I never bothered to remap that I can do one handed.

It makes me want to become a proficient typist.

The only problem is it has better led light shows than the old full size gaming keyboard and the kids want to type on it all day.
> [1] This makes no sense because the colored keys imply you enjoy looking at your keys

I completely agree with you here. I've been using a Das Keyboard S for years and at this point I tend to forget it's even there except as a keyboard-shaped lump on my desk. It's only when someone else tries to use my computer and stops with a blank stare that I remember that most keyboards have labels on them. :P
This is a silly article.

This is the clever idea of this paper. They assume that there are at least two compilers say {X} and {Y}. Then let {A} be the output of {X(P)} and let {B} be the output of {Y(P)}. The key insight is: If {A} is not equal to {B}, then one of the compilers is wrong.

Seriously? It's called having a reference, and comparing your fancy compiler against a reference to make sure the results match.

That's the entire insight of that article, after spending half a page discussing the order of authors in a paper.

Really weird.
> They also lied and said you had a message when you really didn’t. Just to force the messenger download.

I bet the line of reasoning is that the message notification is for the upsell telling you how great Messenger is.
>He offered repeatedly to be interviewed, first in the UK and later in the Embassy.

I'm pretty sure most people are not allowed to dictate terms to law enforcement as they conduct an investigation. Why should Assange be different?
I strongly suspect that if I bought a current-gen console today I’d probably be stuck waiting overnight for it to download and install whatever new updates it thinks it needs, and then if I didn’t use it for a few months it would be downloady-installs again.

Consoles used to be nice and easy, plug and play, but the last couple of generations they’ve started to become almost as much trouble as gaming PCs, and I can’t be bothered dealing with that, so I’ve pretty much given up playing games.

If there was a decent subscription service (Netflix priced) which let me play new games without having to deal with all that crap, I might take it.
Who says she knew what his salary was?
Ok, perfect excuse for me to wheel out the Buffalo! https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffal....
But my WASD keys and my mouse are exactly shoulder width apart. If I didn't have a numpad I'd just have a gap between my mousepad and my keyboard.
matrix.org is best modern gateway to date.
Show HN: itl – Translate your apps into 103 languages (powered by Spreadsheet)
Sounds like every production environment I've seen in the last 20 years. [Stuff] hits the fan -- quick, apply this hastily assembled patch so we have time to think about how to fix it properly.... except we never do go back to fix it properly.
For me, it was Kermit...

https://en.wikipedia.org/wiki/Kermit_(protocol)
"Effectively inside the horizon" isn't a good way to think about GR. Observers have reference frames, and can only observe according to their own clocks and rulers.

If you (a distant observer) watched your blinking probe approach a black hole, you would see its blinks slow and red shift as the probe approaches the horizon. You cannot see it enter the horizon, as light cannot escape from inside the horizon. There would be a last blink, as the red shift approaches infinity.

If the event horizon were to increase in radius, the effect would be to further slow and red shift the blinks.
Related PBS Space Time episode about the "Black Hole Information Paradox" (in general, not about the particular paper discussed in the article):

https://www.youtube.com/watch?v=9XkHBmE-N34
Bought a Corsair K95 a year or so ago and it's fantastic for me, even bought a second for the office. Pricey but it's worth it.
He claimed he was part of an "investment group".
By "just crossed the 30 year mark" I'm not sure if you mean you just turned 30, or that you have been working at the same place for 30 years.

Assuming that you meant you just turned 30, I am 31 and managed to get myself a 50% raise this past year by getting the offer from a different company in town and then negotiating to stay in my current role for the same pay as the offer.

To get better pay, you need to force your employer to acknowledge that someone else out there is willing to pay you more. That requires you to do most of the legwork, and to actually be willing to switch jobs.
not only that, 20 years from now = new ownership group and records get lost in the shuffle
Show HN: Firm360 – Practice Management Suite for Accounting Firms
> and would likely be bounced to the US at some point.

From Sweden?

He fled Sweden, which has stronger protections against extradition, for the UK which has weaker protections. Had he been extradited from the UK to Sweden, further extradition to the US would have been prohibited.
I want to play RDR2 but don’t have a console, because dealing with consoles is just too much trouble these days.

Mind you I’ve also heard that RDR2 is about eight hours of slog before you even get to the point where you can just dick around, so I guess modern games just aren’t designed for people with any other time commitments these days.
Claiming the home sale exemption is not exploiting the tax code any more than claiming the standard deduction.

If you don't claim depreciation on your rental property, the IRS will still recapture when you sell it- even though you didn't take it. So how is taking it an exploitation?
Boeing gets $5.9B of orders for grounded 737 MAX jet
Follow the links in the article to the godbolt compiler explorer. The disassembly there has a short description of each instruction when you hover over it, and links to the full reference.
Part of the reason for the end-to-end argument is to enable more clever (or, at least, more purpose-designed) functionality to ride on top of the dumb network. So e2e would suggest (to my reading at least) that you keep the "real" IP layer dumb and flexible, and do the fun stuff in overlays, which is what this is.
Don't Talk to Corp Dev (Paul Graham Essay)
Left mousing provides a similar benefit, plus it confuses people who use your terminal -- left mouse and unlabeled keys is basically hacker proof.
Ok, but what if you take the limit as +1 -> 0?
CalTech Uses PyTorch to Build Smooth Landing Drones
I had the opposite experience. My 60% keyboard ruined my hands with RSI.

I strongly recommend Xah Lee's advice to anyone suffering from RSI: http://xahlee.info/kbd/ergonomic_keyboards_index.html

In my opinion the ideal setup for people people with RSI is a 80% keyboard, a seperate number pad, and a programmable keypad for commonly used shortcuts.
I'm seriously saying that burning coal isn't that much worse and not that much difference. People who think that solar is better are just fooling themselves. There is no free lunch and those solar panels are going to wear out, so it's not "forever" at all. And big ugly solar farms in the desert are just a different kind of "blight".

It takes conservatively 4 years for a panel to generate as much energy as it took to manufacture. It takes even more for that container ship to move them here. They're supposed to last 20 years, but really can be as poor as 15 and they loose efficiency each year. So 1/3 to 1/2 of their lifetime is just plain wasted already which means the stated efficiency and economics are grossly overestimated.

So yeah, I wouldn't build more coal plants either. Natural gas is like 1/3 the price of either solar or coal. But to applaud destroying existing infrastructure? And to shore that up with propaganda like "blight the landscape". That is naive and won't do anything to fix the basic problem.

If we choose to be wasteful materialistic energy hogs, then we have to pay for it. So give up your house AC and your car and everything else that uses so much electricity first - then play that moral high road card. The problem isn't the supply source or even the choice of raw material. It's wanton greed and wastefulness of the consumers.
It being centrally and easily searchable is a nice newish thing. Used to be it was scattered about and hard to search the whole breadth of the library for images.
I find it remarkable that so many here feel they are in a better position to make judgements on the validity of an indictment than the justice systems involved.

Here I thought legal factfinding was the purview of a courtroom, rather than the court of public opinion.
Air Drop Used to Spread Racist Manifesto at Syracuse University
I've built a Planck (40% ortho) and I can say for sure that I personally don't find the short finger travel between keys to be worth having to hit two keys to type a number, for example. Instead of moving one finger an extra row to type a number, I now have to move two fingers.
Thanks for the .pdf and the research in general, great stuff!

One thing I'd love is a look at 'noise' in these systems, specifically injecting noise into them. Addons like Noiszy [0] and trackmenot [1] claim to help, but I'd imagine that doing so with your GPS location is a bit tougher. I'd love to know more on such tactics, as it seems that opt-ing out of tracking isn't super feasible anymore (despite the effectiveness of the tracking).

Again, great work, please keep it up!

[0] https://noiszy.com/

[1] https://trackmenot.io/
Behind the Code: Meet Abhishek Thakur, World’s First Kaggle Triple Grandmaster
Good argument, but counter:

No they won't because china doesn't give a crap about the environment. If coal or hydro or whatever is cheaper they will use it first.
Well, yeah...anyone who doesn't bother or isn't capable of explaining why they make absolutist pronouncements as to how other people should do thing aren't particularly important to anyone.
It sounds like you both agree then. It's for fashion.
Thats...not quite a meant by high end. I mean stuff like a bespoke PCB so you can change all the switches out, an aluminum case... one of those $500+ custom jobs that /r/mechanicalkeyboards likes to drool over.

It's a very very deep rabbit hole.
Oh yeah I can do that, I'm just wondering why they're not too interested in direct user feedback from my end. Surely it would be useful to adjust their algos.
Honestly if our mains was 110V rather than "240V" (read 250-260V thanks to all of the rooftop solar in our area) I'd probably be a bit more casual about it. I've been nipped by ~100V from poor earthing and it's not that bad. 240V hurts.
I spent a few years living near a nationally well known American university with very tight housing. And we had to pay `finder's fee` to apartment managers for the privilege of applying for a rental to the tune of a grand or so. Like 20+ years ago.

So, yah much there's much white collar crime going on, from a grand at a time to a few millions. I'm not surprised.
The idea seems to be a bit broader than that: we can test any group of compilers, none of whom we trust to be correct, by comparing their outputs against each other.

Though it won't tell us who is wrong, it tells us one of the pairs is (or both).
Yes, we've been in touch, and I'm really excited to see this.
The point-in-time percentage isn't the best metric. These companies hire a huge number of recent grads each year, with sub-200k total comps. Need to look at expected 5+ year compensation to get a better picture.

Using FB as an example, engineers are expected to make it to E5 within a set time period (~5 years) or they're fired. So anyone still employed after that time is at least an E5. The E5 comp target is 330-400k. So yes, anyone still employed after 5/6 years is making at least that much.

Its not expected nor required to go beyond that, so that will be the career top for many. E6 is a 500-600k range, and I've no clue about E7-9.

Google is similar, and there are equivalent levels at Uber, Lyft, etc.

And then there's Netflix which only hires senior engineers and has a single level with a huge comp range. Pretty much 100% of Netflix enginners are making 300k+, most 400k+. But, Netflix is also an all cash shop - need to pay for benefits out of pocket, buy stock out of pocket, etc; so not 1:1 comparable to others.
Ask HN: Driver Development for App Devs
To keep it short, the idea of using DriverKit to write userspace drivers for abandoned USB devices in macOS Catalina has piqued my interest, but having been an app developer my entire career, I’ve never written a driver or anything remotely resembling one.

I would imagine there's a lot to learn even before getting into the specifics of DriverKit (which from a layman's perspective looks to be similar to traditional kernelspace driver development). Does anybody have a rough path and/or resources they can recommend for learning driver development for those coming from higher level backgrounds?
Yeah they can decide for any reason except prohibited reasons.
Another person here who went to a 60% and I really enjoy it. I have built two with custom switch setups, one for gaming and one for general typing.

There's a lot of satisfying craftsmanship to buying a circuit board here, a case there, switches matching your style of typing, and lastly keycaps that have a nice aesthetic and color balance.
It's a decent technique to check on compilers, but it's older than that. Arial Faigon discusses that approach in an undated blog post:
http://www.yendor.com/testing/#compiler

I don't know the date, but I cited it in my 2009 dissertation:
https://dwheeler.com/trusting-trust/dissertation/html/wheele...
Do you happen to know if it works for vagrant VM's? Because having a file system mismatch (symlinked dependencies in vm, IDE doesn't recognise them) is a bit of a pain point for me right now, it would be really fantastic to find a solution within VSC.
Doesn’t sound that bad. Most of the games I’ve ever bought, I theoretically could but practically couldn’t play right now if I felt like it — I might still have the disc/cartridge somewhere but the old console won’t plug into a new TV or else I’d need to find some ancient computer hardware.
Krita Weekly #4 – Krita Development Updates
>> Isn't this entirely the point of running a business?

No, the point of running a business is not to ransack investor money, but to grow it. Why would investors invest otherwise?

>> I feel like you know what you're getting into working for this sort of company

This sounds like victim-blaming to me.
The problem here is not the lack of an additional row of number keys, but the poor other choices in physical keyboard layout (based on largely following the historical pattern of a 19th century typewriter design; in the “planck” example with an arbitrary ergonomically-useless horizontal shifting of the rows). It also doesn’t work very well to put the numbers on a shifted layer but all on the same row, requiring 8 fingers across both hands to type them.

If you re-arrange the keyboard into a shape according with human hand/arm ergonomics (of particular relevance for chording, moving or extending thumb keys toward the body; the standard spacebar and modifiers are not especially comfortable), and use a thumb key located in a convenient spot for the layer shift, with the numbers typed using the fingers of the opposite hand, then chorded numbers are just fine: more comfortable and efficient than the standard approach of putting numbers on a separate row.

For cases when many numbers must be typed in sequence, making that layer shift key into an optional mode switch (to effectively turn half the keyboard into a numpad) works pretty well.
Maybe AR. I mean, look at Jeri Ellsworth, self taught and probably has the most plausibly commercial AR solution (Tilt Five) so far.
One can make a programmable matrix layout keyboard with Two Koolertron keyboards. While it may be a bit bigger than the 40% keyboard, it's small, programmable, & has 96 keys or 94 keys in 3 toggleable layouts.

Gamers tend to use it has an extended numpad but I use it as my general keyboard with bespoke tilting upwards toward the middle.

https://www.amazon.com/dp/B076LRJ528?ref=ppx_pop_mob_ap_shar...
>> In fact, he took advantage of poor corporate laws, which is not a crime either.

Taking advantage of poor code by breaking into systems is a crime.

Why isn’t it a crime to take advantage of poorly written laws?
It’s interesting that things weren’t so siloed then, that a draftsman could be an ad hoc PCB designer.
Obligatory article: Text Rendering Hates You [0][1]

[0] https://gankra.github.io/blah/text-hates-you/

[1] https://news.ycombinator.com/item?id=21105625
I suggest installing a basic Linux distro or even Linux From Scratch. Get a taste for command line tools and an overview of the environment that supports programming. Its a vast ocean of possibilities. Start anywhere since its a hobby. Have fun and learn the principles of implementing solutions. There are tons of Youtube videos that spoon feed any language you choose to learn.
Google has one thing that previous actors didn't have. A lot of machine learning to schedule on idle cpu & gpu. Because of that they can potentially provide the service at lower cost.
Look for custom keyboard pcb sellers, or /r/mechmarket
And the impact is minuscule compared to our lifetimes chained to the desk.
Gheesh I would def want stadia ! I no longer have to fret over which bodypart to sell for the latest in graphics cards or wonder should I rather go the console route. Which version of WINE should I try to use today.

I think if the Stadia experience works(technically speaking) it might just be the "new way" and make the "old way" well feel old !

Like Uber(the concept not the cmpy). Prev I had to look up a taxi's company number... phone them and tried to tell a person what my address is (keep in mind in my country we have 11 official languages, can you imagine the accents and trying to correctly spell your address over the phone), after that I have to phone them a few times to ask "Where are you" etc...

I hope cloud gaming will be the new thing ! I can't keep up buying graphics cards and lugging my desktop to my gf's house.

Google please make Stadia work !!
I only knew he wasn’t a good guy (was it possible in Stalin’s circle?), but this guy was just evil:

>”Evidence suggests that not only did Beria abduct and rape women, but that some were also murdered. His villa in Moscow is now the Tunisian Embassy (at 55°45′34″N 37°35′10″E). In the mid 1990s, routine work in the grounds turned up the skeletal remains of several young women buried in the gardens.”

I think I’d want to choose a different property to use as for the embassy...
WOW HEY ... ANYWUN REMBER BIFF AND HIS BROTHERS VIC 20?
I'm a huge fan of my Corne (crkbd for those looking it up) also and I agree with everything you've said here.

In fact I'm even thinking of building one with the outer columns chopped off if I can get a bit more used to chording.

It didn't at all take me long to get used to the 40%, the split boards, or the column stagger after using a 60% for years and I was quickly back up to ~100wpm in about a week. This was my first time with the three. Most of all, I'm never going back to a non split if I have a choice.
Before that Sun tried the JavaStation, also an attempt to return to the mainframe/terminal paradigm. Management was stuck on the idea that such a paradigm was the only solution for Sun as a company.
The Corne (crkbd) is great. I’m building a curved crkbd, similar to a dactyl manuform.
> Though it won't tell us who is wrong, it tells us one of the pairs is (or both).

If it's implementation-defined behavior, it won't even tell you that.
Yes, depending on the detergent content. Reclaimed water is usually water that's been treated for pathogens at the treatment plant, but hasn't had been through all of the post-treatment cleansing required before discharging into waterways.
> As for your clothes, if no one makes clothes that fit you, then yes, maybe you should learn to sew.

Absurd. And should I also grow food that's fit to eat, play the music that suits me, and provide my own shelter, as well?

We sacrifice our entire lives to these firms–studying for them, then working for them, all backed by the same few investors–and it's not too much to ask for clothes, shelter, food from the society they claim to serve.
I'm always surprised by people's willingness to leave so much personal information on a work computer. In this case actually leaving the breadcrumbs there.
I can tell you that University of California is like this. It’s infuriating.
> As of early 2011, the under-development version of CompCert is the only compiler we have tested for which Csmith cannot find wrong-code errors. This is not for lack of trying: we have devoted about six CPU-years to the task.

Buries the lede?

Sure formal methods have a high overhead but for compilers maybe it's worth it?
I considered that but I would also want to replace the outer shell of the keyboard since thats kinda crap as well and then all I am left with is a pcb and switches. I'd rather have a fully working keyboard I can give away or keep as a spare and get a new one which suits my needs since the cost will be pretty similar.
SMS Based Password Manager
Google Stadia’s data use is over 100MB per minute at 1080p
Stack uses cabal underneath though. What kind of issues are you running into?

Personally I love the language but struggle with all the (necessary) stuff around it. Configs, deployment, dependency management, editor setup, lint, auto-formatting... Everything feels unnecessarily painful.
Wow. Under "Arrest, trial and execution": He was found guilty of treason, terrorism and "counter-revolutionary activity" but not for his numerous other depraved crimes against individuals?

How many other monsters get away with evil that we wouldn't even know about to condemn 50-100 years later?

The recent case of Jeffrey Epstein comes to mind, and whoever his "clients" were that still walk free.