skysight-inc/HackerNews huggingface dataset:
The ISO 27xxx standards in Information Security don't tell you how to do it, they tell you how to formalise what you decided to do (and how it can be monitored, audited, etc.). So the reason your ISO compliance forces you to do password rotation is that some twit added "password rotation" to the policies you decided you were going to implement. New task: Find the relevant policy and revise it citing the modern NIST guidance. Extra credit: Go through other policies that get in your way, figure out why they're in there and either you'll be reconciled to this annoyance in your life or you can revise the policy to not be a problem.
The lack of physical mirrors is an issue (at the moment) for US homologation, but wouldn't be for EU regulations.
> In addition, they have inserted a gene in the bacteria that allows them to receive energy from a substance called formate.

These bacteria don't "eat" Carbon Dioxide, they just eat formate https://en.wikipedia.org/wiki/Formate instead of sugar.
That’s true regardless of the login method. The benefit of the method I described is that you can 100% log out without any MITM, as you initiate the logout from a trusted device
Too “bad” it will be economically uncompetitive compared to next generation wind and solar.
The rain and lack of vitamin d sucks. I dont mind the dull sunshine if it means everyone is a little less horribly depressed.
Ohh I’m stupid lol
It may not seem like it, but poll after poll shows that the majority is concerned about climate change and supports government actions to tackle it. Worldwide. Just a few examples [0][1].

Also, you don't need to wait for the majority to rebel [2]

[0] https://ec.europa.eu/clima/citizens/support_en
[1] https://www.pewresearch.org/fact-tank/2019/04/18/a-look-at-h...
[2] https://www.youtube.com/watch?v=YJSehRlU34w
One thing about the free market is it is constantly reallocating resources from lower performing uses to higher performing ones.
Every coal power plant from 1927 to 2019 (earth plot animation)
Which is ironic given they used to push a lot for yocto where everything is a recipe that build stuff from source.
> "But my auth service is over a network link," cries the architecture astronaut, who now has more problems and fewer solutions.

There are at least a few cases where a central auth service makes sense. Gov't here uses it for example, so that the services from all the various departments and whatnot don't have to roll their own auth.
Can you provide some references on "General learning is uncomputable"? Thanks.
Where were the parents while she was signing this?
You have one of the best landing pages for a product I've ever seen
The Filecoin Testnet Is Live
Yes, eventually it will leak to the press that developers at X are arguing if they should ignore pedestrians in the self driving cars because the code is too bad, or colleagues that work on other sections will find the shit that is happening and would intervene.

I understand that you are thinking at some stupid politic arguments but I am talking about larger topics like killing drones, self driving cars, law enforcement AI , I want the developers to be able to speak when they see something questionable then leave.
That one, and also the one from Barry Schwartz.
>> What people crave with caffeine and amphetamine is mental alertness. Caffeine delivers, speed delivers more. And with that people can do, have done, incredible things.

Sleeping well, eating well, keeping fit and surrounding yourself with interesting people - those deliver many times more than caffeine and amphetamine without any of the side-effects or the risk of addiction.
> As a case study, see how China is breaking up some of their huge electricity grids (in to still-large ~1000mile or so regions), as maintaining reliability and preventing faults from propagating across the country became too difficult.

Have a source on this? IEEE says they're planning to merge the regional grids into a megagrid: https://spectrum.ieee.org/energy/the-smarter-grid/chinas-amb...
Apple started working on 64-bit application support back when they were still on PowerPC, where they only had 64-bit for desktop processors, not laptops. Then the first round of Intel Macs had 32-bit Core Duo processors. Less than a year later the second round introduced 64-bit Core 2 Duo processors that were pretty much a drop-in replacement, and at the time it certainly didn't make sense for Apple to overhaul their EFI, kernel and drivers with a 64-bit transition only 9 months after switching from PPC to x86.

Support for 64-bit GUI applications on OS X didn't arrive until 2007, a year after Intel Macs started using 64-bit processors. Support for running a 64-bit kernel arrived in 2009, and only for machines that had 64-bit EFI firmware. In 2012, Apple dropped support for the machines that had 64-bit processors but used 32-bit EFI, so from that point on they were handling the 64/32-bit mix the same as other operating systems.
>I’d love to only spend $17 except there is no way 17-dollar leather gloves won’t be fake and off color and smell of gasoline

Being annoyed at my local shops wanting £100 for a wallet I went on ebay a ordered a leather one for £2.25 inc post in 2014 and still in daily use now. The internet is remarkable for shopping in some ways.
There is also the friction added by throwing in another language and subsystem, potentially with some fancy build system requirements for integrating code generation....
Is it a lot more funding than space ? because spatial exploration, as cute as it can be, is somehow a lot less critical.
The largest anonymous and free marketplace for hacking
This isn't accurate. Whatever Jevons and Menger thought of each other, the Austrians and the British were not completely distinct schools. People would call both groups "neoclassical".

The Austrian school in the modern sense only broke with the mainstream with Keynes. They had their own alternate explanation of the Great Depression that never caught on. I think the leaders of the school just moved to the US and became increasingly dogmatic, so modern Austrianism is a small niche.

There was a more recent form of macro that is anti-Keynesian that can be called "neoclassical", which would be the real business cycle theory, but it doesn't owe much to the modern Austrians. If you want to identify it with a specific marginalist, it's closest to Walras.
What benefit does the iterations examples give over just looping through the values and ignoring the undesired values?

E.g for the iterator slice:

for i, val in enumerate(range(50)):
If 10<= i =< 20:
Print(val)

It has the seem limitations but doesn’t require you or your colleagues to know and learn itertools. It has the same number of lines
Weren't most of those books created to begin with for "narrow business reasons"?
I feel you. If it makes you feel better they do not take a dump only on small customers. Their axiaa business also screws their customers so much. Worst vendor in the industry. We are talking about multi million businesses.
I hope this is sarcastic because it illustrates my point perfectly. Qt is a great cross platform framework but maybe you are not developing a cross platform application? Maybe you actually prefer native look and feel (I do for example). Maybe you are developing an app that must be published on the Windows store or work in Kiosk Mode (all of which require you to build on top of the native UI framework).

> If you're going to use bloated proprietary frameworks, why even use Linux at all?

You could as well rephrase your question as "Why not use the most appropriate tool for each part of the software?" Linux servers have the advantage of being supported by all major providers (including Microsoft), they scale well, have good security, have low footprint...

Also as much as I dislike Windows I must say that their UI frameworks are not bloated and arguably work better than cross platform solutions. You mentioned PWA's which come with an enormous bagage (e.g.: they are throwing native look and feel completely out of the window).
They are not using both of these. It's a state owned company...
The 4000 Year Old Story That Explains How to Live Life
Is the local presentation mode a single file that can be transferred via USB stick to another PC that has no internet connection?
if you have money and time:

- reinsulate your house

- if you live in a sunny place, build/buy a solar heated water tank

- plant trees

- try zero waste lifestyle

- fund lithium recycling plants

- buy electric companies stock

- fund a local veggies club

- fund a repair / recycling shop

- harass your family and neighbors to use the two above

- walk any distance below 5 miles that doesn't require heavy loads (or rain)

- stop buying

- go to an AWS datacenter and cut some wires at random

If you don't have money nor time:

- paste this comment to people you don't know on the internet
ReMarkable: The Perfect Tablet for Academics
Made my night! Thank you
I usually download some additional metadata and then send it to my Kindle via the "Mail to Kindle" Mail address, I could probably script that part easily but for the few times I use it right now I'll just have to stick to the GUI.
Another thing to consider is the type system of Idris where the compiler may recognise at compile time that the value can only be of a certain subset of a union and, more importantly, can use the type of a function to infer much of the correct implementation, like, all the cases that must be handled and sometimes even how to handle them.
Ask HN: Is there any programming language with a Physics-like dimensional types?
I am curious if there is a programming language with a type system that would cater to types in Physics?

For example, I could say:

deftype distancd from double;
deftype time from double;
deftype speed from distance/time;
deftype acceleration from speed/time;

distance d = 10.5;
time t = 1.2;
speed s = d/t; // okay
acceleration a = d/t/t; // okay
acceleration b = d/t; // error

Is there any programming language type system that supports this idea?
Why does rain suck? It doesn’t stop you doing anything except maybe parties outside.
Thanks for the feedback, we’re looking at how we can change up the page a bit to make it a more digestible.
You Can Create Your Own Paper Tesla Cybertruck
That has drone killing, but not an assassination market. No one pays or receives money.
The local presentation mode will be a joint release with a Desktop app that can be used without internet access, it won’t include portable files at this stage but it’s on our roadmap.
Yes, I am in the same situation, I research graduate level mathematics outside academia. Right now, I am collaborating with top scientists from around the world by staying connected online via a website called https://bivector.net and am publishing my own research at https://grassmann.crucialflow.com

As it turns out, I don't have an undergrad degree either, so it is tough for me to find jobs, but I find plenty of interaction!
How Simple Analytics calculates unique visits without cookies or fingerprinting
> See e.g. the early chapters of "Sapiens" (Yuval Harari).

This part of Harari's book have been debunked quite a few times already: his views of pre-agricultural are romanticized and doesn't match with the work of the specialists of this period. (While Harari is indeed an historian, he's a specialist of medieval times and has little authority on early-humans history).

Btw, I'm not even disagreing with you about agriculture, I just wanted to point out that quoting Harari on that has really little value.
same for me. it feels like there should be more
ÉLISABETH I LIKE HER SO MUCH
After More Than 6 Years, IMDB Finally Gets a Redesign
Wind and solar produce variable power sources.

Power for baseload has a 99.99% uptime requirement.

The batteries needed to make variable power sources even 95% capable of meeting demand are economically unfeasible as well.

As a couple examples.... The laegest solar plant in Arizona produces only 10% of its peak summer power in the winter. ...similarily, in Texas the wind turbines are usually not turning during Texas peak demand because it's during high pressure systems where there's not wind.
I've always wondered how much traffic a site receives when on the front page of HN. Would you mind sharing some stats, and your server size? And perhaps what was the breaking point was for your server in terms of traffic? Thanks!
> The author seems to want 'type-safety' to mean that it is made sure that an integer in memory is not accessed as if it were a float. While this is clearly a desirable feature that also dynamically typed languages provide by checking and/or converting at run time I really don't think this is the meaning of 'type-safety' in common parlance.

The author is wonderfully clear on this point. Under what he calls “Saraswat type safety” (not the best name), a dynamically typed language is type safe. So is a language like B that just has a word type (sort of... B may or may not have had UB depending on your perspective and UB may or may not preclude type safety... again depending on perspective).

There is a modern new-age use of the term “type safety” that means something less precise than this, namely your idea that it somehow precludes dynamic type checks. What nonsense. If a language checks array bounds dynamically, does that mean it’s not type safe? Give me a break.
> JWTs are inefficient for performance and are bloated in their data structure and have a performance hit when you parse the token to extract its properties compared with the same operation in other alternatives (simple session cookie require zero parsing and thus is faster)

While a session ID doesn't require parsing, it is useless on it's own; a fairer comparison would be: time to validate and parse/deserialize a JWT vs time to retrieve session data from the backing store (e.g. database, redis).
None said it has to be 1.5MWh, it can be 5 or 10 x 1.5.
Instead of whatabouting it, maybe you can answer sadfklsjlkjwt’s question: do they know this is happening?
When the first 64 bit Macs shipped none of the software was 64 bit clean. Even if the kernel source code had been 64 bit clean, it would have broken support for all the the 3rd party 32 bit drivers that existed.

So the kernel switched itself in 32 bit virtual mode, though some parts of the pmap layer understood 64 bit page tables in order to manage the 64 bit physical address space. While the kernel could not see all of memory, it did not need to, it could map any apertures it needed in by manipulating its own page tables.

At that point it is pretty trivial to setup a 64 bit address space for a process. The kernel could not directly map all of virtual address range of the process at once, but it already had the pmap and aperture management code to deal with that. That decoupled 64 bit user space bringup from the 64 bit kernel port. The first release that supported 64 bit processes did not have 64 bit UI frameworks, just the C library and some low level posix functionality, but it allowed scientific code that benefited from more memory to run.
Last time I was in SF (last August) Apple Maps couldn’t even correctly locate the Walgreens stores downtown. I so much want it to be good, but Apple refuses to take it seriously even in their own back yard.
I've come across PASETO before, but never heard of Branca before.

I certainly like the lack of footguns in PASETO, but I'm curious about how much real-world adoption it (or indeed other JWT alternatives) really have?
That's very easy to say, and I am definitely NOT saying you are wrong. But I'd be somewhat careful.

Space exploration has in the past provided us with lots of information that we can use to understand our own climate and planetary systems. Not only that, but the often mentioned advances in material sciences and other areas might end up helping us much more than the sunk cost at the beginning.
Buy Ambien Online with Best Offer
Hey boss, just found a way to save 2 grand a month without any operational impact!

Johnson, you’re fired! I just saved myself 10 grand a month!

Narrator: where do I sign up to work for that guy...........
That entirely depends on how complex the set of valid and invalid coordinates is.
Yeah, those Soviet lead-bismuth reactors were basically single-use devices - once they ran out of fuel, they were useless and had to be replaced with a new reactor. I don't think Russia had any plans on how to safely decommission and dispose of them at the end of their life either.
we are just building a new remote team, and what we are missing is a good/affordable collaborative whiteboard or mindmap solution.

something where we can visually structure our work.

for the rest we have etherpad (as alfernative to google docs)
and gitlab with all its tools to structure issues
Why do you think so? Solar + battery is already considered the cheapest option. How would spending more be a better form of capital efficiency?
And the music. So many places are trying to be hip with their music choices and it makes me more impatient than having to pee. I've walked out of so many restaurants because of the loud, obnoxious music. I can't even pump gas at my local gas station without having to hear their garbage pop music. It really makes me miss muzak or I don't know . . . peace and quiet?
Entitlements aren't new, they existed since ages (OS X 10.11 already used them quite a bit).
> For a video game running at 60 frames per second each frame has 16 milliseconds in which to complete, so a pause of less than a millisecond is not going to be significant relative to other overheads.

This is definitely very significant, you just took away 6% of the CPU time available to the game to calculate everything necessary for that frame. And that's if there's only one pause inside each frame. And if you are running close to 100% CPU time, and the pause happens right before the vsync, you might miss the vsync and you will drop a whole frame.

This is not only a problem with GC, even with more deterministic memory management, like plain malloc() and free() in C, you can have pauses if the operating system needs to go and find some free memory, update page tables, flush TLB caches and so on. So for games and anything real-time, you probably want to avoid memory allocations as much as possible, and certainly don't want your whole process being paused at random. So if you are stuck with GC, then one question would be: can GC be done for individual threads without blocking other threads?
And there are already active civilian nuclear propulsion vessels, mostly russian: half a dozen icebreakers and the icebreaker cargo ship Sevmorput.

A variant of the concept is the floating power plant Akademik Lomonosov, a barge housing 2x35MWe reactors. Though somewhat oddly it's not intended as a mobile power plant, it replaces a "normal" power plant being shut down in a far eastern autonomous district.
That's demonstrably not true; it might be more efficient for loaded systems, but it's certainly not simpler.

Looking up an ID in a database is much simpler that using JWTs (which involve crypto) and handling revocation.

Libraries might hide a lot of the complexity of JWTs behind abstractions, but that doesn't mean it doesn't exist.
Python only has venvs because it needs venvs.

For most other language-provided package-managers the software project you’re working on is the env, so you don’t need to construct or manage a venv at all.

So my point still stands.
Similar experience with Realsense, except that I need to run them in USB2 mode due to GPS interference from USB3. Their USB2 interface isn't just the USB3 at lower bandwidth, no, it has a bunch of completely unrelated bugs that only appear on USB2. Moreover, even if you turn down the framerate to make sure it isn't a bandwidth issue, the point cloud quality on USB2 is worse than USB3. No idea why, but we've binned our Realsense cameras too.
> walk any distance below 5 miles that doesn't require heavy loads (or rain)

what's wrong with the rain?
the problem with wind and solar is not 99% uptime requirement. it's always sunny somewhere or windy. it's not like at one point in time the whole world will be covered in clouds with no wind at all.

the problem is distribution the power over long distances.
> If we take 'specifications' one level further and actually want our algorithms to be proven correct, as in, by a proof assistant it is quite unclear that this possible or desirable.

It is not only possible, it is how dependently-typed languages/proof-checkers like Agda work.
Depends on what you signed in your employment contract. Microsoft et al clearly state that they own that code. What I dont get is why is it a problem at all if it's open source. Just give it to them with the name changed (you keep the branding) and you can always keep working on your fork
If you have a medical problem, you go to a doctor. If you have a legal problem, you go to a lawyer.

If you can't afford a lawyer you might as well roll over right now because that will be the end game.

The idea that some advice given in an online forum would reduce the need for finding a lawyer is akin to taking medical advice from a forum. You have no idea what the qualifications/experience/jurisdictions are of the people giving you advice so it might be good/neutral/detrimental.

Get a lawyer, one that specializes in IP and if possible to find those skills in one person as well as in employment law in your place of residence.
That is true. But they could, they have the technology, they would just need the marketplace.
Nuclear is not that expensive over its entire lifetime though, the biggest issue (aside from safety and security concerns) is the huge up-front investment. In theory SMRs improve that significantly by providing smaller self-contained units which are easier to reclaim (unlike a traditional power plant site which can't really be reused even if you decommission it).
Seconded, I've referred lots of people to George over the years and never heard a single complaint.
Five Years of the Right to Be Forgotten [pdf]
I went further and negotiated copyright ownership of all open source code I produce for my employer:

https://lists.sfconservancy.org/pipermail/contractpatch/2018...

Software Freedom Conservancy reminded me that everything is negotiable:

https://sfconservancy.org/contractpatch/
Gasper, Your Cloud in a Binary
I'm deeply disappointed in OpenAI for this.
I was looking forward to them playing the full game against the world champions, instead they played a very limited version of the game, a version of the game that the world champions doesn't play before mind you. And then they call it a win and case solved.

1. They should play the full game without restrictions.

2. They should have the same input and output as humans. So a direct link to the graphic and sound cards outputs as input. And a direct link to USB as input. (Let the ai be a mouse and keyboard driver).
I don't think bot should have any artificial delay under these circumstances.
For purposes of a life insurance payout, ordering a real hit on yourself, and dying in it, is most definitely suicide.
Dirty bombs are cold war FUD. You could build a dirty bomb out of some smoke detectors. You could build a dirty bomb from the countless orphan sources scattered around the world with far less fuss than attacking a ship and causing an international incident. You could also build much more potent terror weapons without using any nuclear materials.

https://en.wikipedia.org/wiki/Dirty_bomb

The biggest threat a dirty bomb poses is fear. Meanwhile shipping pollution is estimated to be responsible for hundreds of thousands of deaths every year which we just take as a fact of life.
You still need legal advice, even if you do not wish to pursue the legal route because your position and its strength need to be established.

If you don't want to do even that then my advice to you would be to hand over the code, fork it, leave this employer and call it a day.
Nuclear power has a capacity factor of ~80-90% [1].
What is the 99.9% requirement?

[1]https://en.m.wikipedia.org/wiki/Capacity_factor