skysight-inc/HackerNews huggingface dataset:
Hi HN, KNO is a platform that connects individuals to those with the knowledge and experience they need, when they need it. Pretty much every thing you want to do has been done by someone else before or they’re currently doing it. So by talking to someone on KNO you can save time, money, mistakes and set out on the right path from the beginning by getting the advice/guidance from someone who knows how to do what you want to do. If you’re interested please sign up and we’ll touch base when we’re ready for more beta users. feedback welcome too.
structure preserving transformation
Wow nice of you to assume it was a job in customer service. She’s a core part of the team scaling a multi billion dollar product to global markets and shooting to do trillions in transactions within a few years. Thankyouverymuch

And trust me the interviews for that are just as grueling as they are for engineering. Solid 7 hours of on-site followed by business case studies for homework.

But unlike engineering, you can’t skirt by as a pure code monkey who can leetcode. You have to actually know how to do the job in a real world context.
The solution is to tax vehicles by weight, and time and location of use.

Melbourne, the State Capital of Victoria, has a big problem with congestion at peak hours.

If road use charging like in Singapore or London was introduced, it would shift usage to non-peak hours, and raise sufficient revenue to offset fuel excise.

But that's politically difficult - whereas applying a tax to EVs, which currently very few people use, is much easier.
For a new app, it is a no brainer. I've been coding up an interface in SwiftUI in the last week that would have taken me ages with UIKit. And the resulting interface is so much better, because tuning a small detail corresponds to a single line or two instead of the agony of spinning up a new UIViewController ...
Everything good in the world is kindness.
> Most of the desktop applications (well, literally all right now) are using Standard Dynamic Range (SDR).

Wait, does that mean that Firefox, Gimp, VLC... when run in X11, do not currently support HDR ? What about gamuts other than sRGB ?

Anyway, sound like this means that my old wide gamut monitor should eventually be able to show at least partially the 'HDR gamuts' (and luminosities) ? That would be great!
Why do you think that? They said the same thing after "swine flu" during Obama. Basically, we just got lucky.

“It is purely a fortuity that this isn’t one of the great mass casualty events in American history,” Ron Klain, who was Biden’s chief of staff at the time, said of H1N1 in 2019. “It had nothing to do with us doing anything right. It just had to do with luck. If anyone thinks that this can’t happen again, they don’t have to go back to 1918, they just have to go back to 2009, 2010 and imagine a virus with a different lethality, and you can just do the math on that.”

https://www.politico.com/news/2020/05/04/joe-biden-contain-h...
I'll address your points in detail below. But first I am curious if you really believe that the election was 'stolen' by the Democrats.

"When they are doxxed and their families are threatened (I saw the videos making the rounds and the tweets afterwards), it doesn't make it okay."

Again, they are public officials so calling them by name isn't Doxxing. Secondly, there is an angry Twitter mob saying all kinds of nonsense on both sides, so I think that cancels itself out. Are you saying Trump supporters have never asked for violence at all? Maybe you need to browse thedonald.win a bit first. So let's keep it focused on what was actually stated by the politicians in question.

"Everything isn't attributed to race. You are trying to tell us the intent of these individuals without knowing what they are actually thinking or why they chose to make this decision. I suppose this is the definition of bias."

You haven't really answered my question. If not race, then what was the metric, exactly, that made them question the validity of these black regions when by the same metrics the councilor was so concerned about several white communities with worse numbers were certified. But sure we can give them the benefit of the doubt and say they're not racists they're just trying to block votes from the party they don't like.

"Many Democrat officials still believe the Russian collusion conspiracy theory. Should we discount everything they say as well?"

There's two major problems with this.

1) There was real evidence that there was a russian conspiracy. In case you forgot several members of Trump's team, including his ex lawyer got arrested for crimes linked to this! Robert Muller didn't say Trump was innocent by the way, he said a sitting president couldn't be convicted for crimes by the investigation!
2) For all their whining on social media, Hilary never refused to concede the election, and called Trump the next day.

Look I'm fine if you want to say this wasn't a 'fair' election, you can even make a good argument for that. Tucker Carlson, who I really don't like, has made arguments to this. But for this to be a 'stolen' election, for the president to routinely say this without any evidence beyond affidavits is absurd.
Missing BART? I can't take anything this person writes seriously.
My opinion: The transition from ICE vehicles to EVs is a very large net benefit to society, so during this period when new ICE vehicles are still legal, we should be giving EVs special ("unfair") benefits to encourage people to switch. If this new tax results in people choosing to buy an ICE vehicle who would have bought an EV without it, that's a very bad outcome.

As for the loss of revenue from the gas tax, I think a two-phase solution would be best to solve that. In the first phase (now), make up the revenue by raising the gas tax. In the second phase (once ICE vehicles are almost gone), ban new ICE vehicles and then implement this tax. This way, the tax would never result in someone buying an ICE vehicle instead of an EV.
A Java library for safely accessing private fields and methods
> Patrol scrubbing is a RAS feature of only more expensive platforms.

All of the ECC-capable platforms I've used (including my AMD-based desktop PCs) have supported patrol scrubbing. What have you used that doesn't?
Money is not distributed to people who create wealth. That's just not how it works.

If you create value, you can use that value as collateral for a loan. The loan is funded by money creation. The money is not "distributed" to those who create value, it is created and exchanged for that value.

Again, you're positing that economies depend on rich people spending. They don't. The market is almost entirely made up of goods for non-rich people.
A framework for R&D
Matt Aimonetti did something that made me stop and think about how I'd define a useful R&D framework, probably for the various stages of the company (I like Kent Beck's Explore, Expand, Extract). Having such a framework can help to align people around common goals and stories (e.g. how success would look/feel like) so try it yourself. How would you define your R&D framework? What would you try to optimize for?
In the USA, snow removal is (mostly) not paid from gas tax.

Growth should pay for growth, so, no, we also don't need to pay for new roads.

Roads are also funded by property tax.
I think the largest deposits would take thousands of years to be affected, but there are shallow deposits that could be released, especially those near glaciers, where the glacier melting allows the nearby seabed to rise.

https://en.m.wikipedia.org/wiki/Clathrate_gun_hypothesis
Right, so there are few layers to this, and lots of them involve the system not following the principle of least authority. For example:

- If you're just taking a photo and need to save it, why does the app need access to all your photos? Surely an append-only capability would be sufficient.

- This depends on the app, but if you're just taking a photo why does the app need internet access? If the app is a typical camera app, it sure doesn't - you might often want to pass the data to an app that does (via e.g. a share sheet) but in general the camera app itself has no need to reach out to the internet. (And if it does, does it really need to be unrestricted access to the internet?)

- Why is it so easy for apps to request access to everything and so hard for the user to say "no, actually you only get to see this"? (iOS has been improving this lately but it's still a pretty rare feature.)

But yes also as you allude to, it's not obvious to the user what access a program has after it's been granted.
I found the actual article:

https://www.aging-us.com/article/202188/text
See also

https://en.m.wikipedia.org/wiki/Clathrate_gun_hypothesis
Might be time for some Nausicaä of the Valley of the Wind style remediation
> To given an example: the Pythagorean theorem, the parallelogram law, angles, transposes etc. are all properties/concepts a space has because it has an inner product.

Could you elaborate a bit? This sounds really interesting.
This is a pet peeve of mine. Engineers make 100k+ a year and wouldn't pay for 10$ a month for a productivity tool unless they could expense it.
Inflation is taxation on your savings. It's effectively the same thing as any other tax.

Laws and regulations are the reason as to why taxes exist in the first place. The government holds the monopoly of force, therefore it can issue any laws and regulations it wants. Because of that it can have a monopoly on the currency and tax its people.
Sure, it's not likely to cause harm - that's not the point. The point is, it's not of medical benefit.
> Superior documentation and AUR. You can find almost anything in AUR, including all the proprietary crap, and install it all with one command. It's also very easy to write a PKGBUILD and upload it to AUR if you don't find what you need, because the package format is so much simpler.

I'm a Debian fan, but these two points are very true. Arch documentation is great, and writing PKGBUILD files is easier than packaging for distribution via Apt. I don't even use Arch, but I still release for it because it's easy.
I think the point was that if they're fast enough to connect to the internet they will be fast enough to calculate PRNGs. If they're not connected to the internet, they don't need them.
To explain away dark matter, gravity would have to be weird
Microsoft acknowledges the 'Overwrite confirmation dialog box missing' bug
So? You need trucks to deliver stuff (food etc) if you want to live in a city.

The correct way of looking at this isn’t by asking “what’s fair” but instead “what we want to incentivise”. People moving out of cities? Ramp up city property taxes. People moving into cities (more efficient)? Subsidise transport of goods. More green energy? Tax CO2 / fuel, subsidise (clean) electricity. Less trucks, more railways? Tax trucks more, but this hardly makes sense unless rail a viable alternative (i.e. there’s enough railways leading to the city).
That is exactly what happened to my Facebook account, and it only got reinstated after this issue: https://github.com/facebook/react-native/issues/30395

Though mine was probably locked solely because of the way I've metodically checked out every configuration option, and used Firefox with fingerprint protection enabled.

This whole ordeal made me realize that Facebook is sitting on personal data from possibly millions of profiles that are banned. I've read several reports about people logging in years after the account got suspended, and their personal data is still downloadable, but they are not offered further control of the data, such as deletion, which is illegal in the EU.
Nice, one of those that makes you stop and think for a minute.

Know what might be fun -- if one could click a box and it would say somewhere the date range for that week and what age you were, and you could apply a color. It would allow you mark a milestone like graduation, new job, marriage, kids and visualize it in the context of your lifetime..

Like it as is, though. Simple.
> countryside Europe [...] personal offices or small offices for 1-3 people

But of course there's more space in the countryside!
Wayland is heavily used in the embedded world. But the embedded world is not using KWin, Mutter or Sway but instead more minimal compositors like Qt Wayland compositor or Weston.
The issue is that in my experience the entire aerospace/aeronautics sector is like that. As well as most industrial sectors. At least if I stay in Europe.

So changing that means doing something else than my studies and experience. And I like working on aircraft.

I don't really have complains about salaries though. I find it's pretty normal compared to other industries. It's pale in comparison to the US, but that's a matter of continent, not sector.
You keep talking about db views as though you can only read from them (an not write to them) :)
Running an unsupported kernel doesn't mean that support won't help you at all. It just means they won't help you with kernel-related issues. There's still a lot of value in support for the rest of the system.
You're right, they shouldn't give all of that away for free. They deserve to make money for their service. I don't really have an opinion on the business model, or whether it's right or wrong to force ads on all videos.

I just become worried when they use their monopoly to extract as much value as possible, far beyond what they need to sustain their profits. I think monopolies are bad in principle, and Youtube is another example, just like Microsoft was, cable companies are, telecom was, railroads were, etc.
This is insane and I love it.
Robinson’s use of “escarpment” rivals Ian M. Banks’ of “whorls”.

Jesting aside, it’s a beautiful series. The landscape descriptions sometimes get tedious. But you find yourself missing the old land as the series progresses, an effect woven brilliantly.
Thanks for pointing this out! I'll try and track it down.
No it's not. The "10x" is 10x average.

And yes, they will make your team 10x better, as can will decisions which will help the whole team be more productive, or allow you to hire juniors, simply because good code and architecture is simple to understand and work with.
Yes, I'm using Wyre for this. Feedback is always welcome, so once you've had a chance to try it, don't hesitate to let me know what you think!
CNN “Fact-Check” on Dominion Voting Systems Is Gaslighting
This “skin in the game” reasoning is nonsensical. Highly competent and passionate engineers don’t avoid mistakes because they’re bummed out about being woken up in the middle of the night with the consequences of them. That thinking is just based a cartoon version of human motivation; its twin is the idea that offering money and promotion as an incentive will lead to better performance.

Your manager may fancy themselves as a latter day Cortés, but you don’t need to play their mind games (most of them based on the misunderstood readings of an unsettled science) to create an effective and high functioning organisation.
Looks doable, but I’d like most of that automated.

Syntax highlighting would help understanding as well.
For personal use, maybe.
For fleet usage, production, set'n'forget servers and any critical role, no.

I can provision 100+ Debian servers in any configuration I want under 15 minutes by utilizing the features of the OS itself and, forget them after setting them up.

We actually lost one Debian server in a system room (in a rack of unlabeled cluster of identical servers) and, it was working flawlessly when we re-found it months later.
The author of "What Gödel Discovered" has a good point that

Gödel numbers are not a convenient representation of a

proposition of Russell's Principia Mathematica (PM). (Nor

are Gödel numbers adequate because they omit the order of a

proposition.)

Lisp expressions are an improvement. However, a Lisp

expression, as used in the article, is also not adequate

because it also omits the order of the proposition.

See the following for a high-level representation of

propositions of PM that includes the crucial orders on

proportions: https://papers.ssrn.com/abstract=3459566
Fundamentally, omnisci locks you into:

- omnisci SQL. in contrast, rapids.ai opens layers below (cudf arrow, dask, ...) that enable cooperating solns on top (blazingsql, cugraph, custreams, prefect, ...) that are faster + easier for their domains, w fallback to general dataframes/sql.

-- omnisci is governance by a VC co, while rapids.ai is by nvidia (who wants to sell hw, not sw) and more OSS partners

Omnisci did good engineering, so it does have strengths. ex: its geospatial visual analytics means it's a good esri alternative consideration, as it is more polished than manually stitching together cuspatial + blazingsql + leaflet etc. Likewise, commercially polished for hostile enterprise environments (procurement, ...).

re:scale, see rapids tpcx-bb numbers ('big data'), I think on 10TB datasets. it shows scale + cost effectiveness wins vs others. less obvious, out-of-core so can do TBs even on one GPU, and full tpcx-bb needed the above versatility where sql is a kludge.

re:graph vs table, if you do just points and no edges, the node table is just a regular table you can do regular tabular data analysis + viz in. ex: load in samples scored by some ml model (x/y plot w lots of data columns for each point), then connect nearest neighbors to make it into an interactive graph. we are doing more and more here in practice, it's fun :)
Sure, in the same way you ask your house painter to paint you a picture. Both are about putting paint on a surface, after all.
UEFI is much like MS-DOS. It is capable of loading programs from the FAT filesystem into memory and running them. The entry point, EFIMain() is passed a couple of pointers that point to system tables that can be queried to find the address of various services. These include things like reading or writing from the system console, get the system memory map, reading/writing files or even things like reading and writing from network adapters. It's really pretty elaborate. An EFI program runs in 64-bit long mode, with paging set up as an identity map (logical address X maps to physical address X).

An EFI program can exit and return control to the EFI shell. A kernel, however, makes an EFI call to terminate EFI services. After that, it can only call a tiny set of certain EFI functions, but the kernel is considered to have control of the machine. At that point, it will relocate itself from where EFI loaded it to where it wants to live, initialize new page tables, switch to those table, and proceed with its regular initialization.

The Linux EFI stub is a bunch bytes at the start of the kernel image that make it a legal EFI program.
Misinfo Monday: Warning Social Media Posts May Contain Misinformation
> "OpenAPI-compatible too, so you get code and UI generators out of the box"

That is a pretty awesome feature to be mentioning as an "oh yeah, also..."! :)
Bookmarked.
If your teams don’t give a fuck about the quality of their code, why would they give a fuck about the quality of their production support?
Except the kernel, unlike in Arch.
I make a github repo with personal notes, like how tos, common commands, etc.

Google chrome bookmarks for commonly accessed web urls
Fedora is the experimentation lab for RedHat. Test on Fedora, include in RedHat enterprise, retire to CentOS. That's a similar model of Testing, Stable, OldStable of Debian. Just with a different flavor.
I didn't downvote you and I think you bring a useful point to the discussion, but I also think you'd be better-received if you completed your argument.

Please tell us, what is a good estimate for the impact of producing and EV on the planet? And how does it compare to a gas vehicle? If that's too much work I'd be glad to learn more about battery production, since that's the point of difference.
I taught myself for a long time before breezing through a reputable EE/CS program. I always did both software dev and sysadmin. I worked up at numerous big-name shops and universities in multiple fields, starting at 15.5 yo. (I should've lied about my age at 15 to get an IBM Almaden dark matter paid internship job offer, but I was too honest.) I worked on a nuclear reactor simulator, industrial embedded navigation systems, biomedical informatics, HPC, app virtualization startup with a guest driver, email startup, numerous web/internet companies, and sales engineering and consulting.

The most important part is to never get lazy by always keeping skills current, never accepting something is impossible and roll up sleeves to dig deep. Do what other people won't, i.e., confirm/refute root causes with evidence rather than shrugging.
I had a motorcycle accident in Tajikistan and it was invaluable. I wrote to a friend who could check the available options for me. I'm really glad I had it with me. Unfortunately I forgot it in a taxi a bit further down the road.
So is your main problem with WFH or the pandemic?
Stripe Atlas: Guide to managing founder stress
Without hardware-level ECC support, how would a memory self-check (that isn't along the lines of a diagnostic like Memtest86) work?

You would have to have some way of detecting that memory is corrupted, which non-ECC platforms do by writing a known pattern to memory and accessing it to verify that the pattern matches. You obviously can't do that during runtime because that memory is being used by the kernel and applications.
I haven't gotten that popup. Are you sure that's actually a meaningful choice you can make and not just a test to see how many people are going to opt-in when this finally rolls out in iOS?
> That is the real problem

A real problem. Both are real problems. The importance of road maintenance isn't diminished by the importance of environmental considerations. Roads are vital to the economy. Governments need to multitask; they need to handle many important matters at once , not focus on one issue at a time while letting others fall to the wayside.
In case anyone is thinking the FTC is sticking its nose where it doesn't belong, the article doesn't illustrate that. It seems like the FTC basically came in and asked Apple "What's going on here?" All was apparently well when Apple doubled down on their position after that FTC meeting.

The title is a bit click-baitey.
Sort of the official policy is that inside proofs (i.e., terms of types in Prop) constructibility doesn't matter, but inside definitions (i.e., terms of types in Type 0 and above) try to be constructive. For example, it is ok to define a function constructively but with a nonconstructive proof of termination.

LEM is used everywhere because it's actually a theorem. It follows from functional extentionality and the existence of quotient types. https://github.com/leanprover/lean/blob/master/library/init/...

The axiom of choice is an actual axiom, and it too ends up being used everywhere, but mostly to introduce decidable instances to permit things like double negation elimination inside proofs. An illustration: [1] introduces these instances to the file and [2] implicitly uses the instance.

[1] https://github.com/leanprover-community/mathlib/blob/master/...
[2] https://github.com/leanprover-community/mathlib/blob/master/...
Tomsrtbt is based on a 2.2 kernel which may have problems with modern CPUs and devices. It remains amazing for what it does.
"I learned the hard way that failing to have a pacing strategy can lead to disaster. We should stop treating our businesses like short sprints. Move fast; don’t break you." -- I found Dr. Sherry Walling's tips relevant not only for founders but for anyone with a desire to create a massive impact in the company. I see many people switch jobs to deal with burnout, instead of learning to pace themselves and increase their overall impact on the company they are today. I highly recommend reading this post to find some new strategies and tactics to operate within healthy limits, and buying the book The Upside of Stress by Kelly McGonigal.