skysight-inc/HackerNews huggingface dataset:
Practicing algorithmic questions from https://leetcode.com/ as preparation for job interviews. What watching porn and masturbating is to the rest of the world, leetcoding is to Bay Area youth.
Is it Windows 10?
An independent tribunal sitting in London

---------------------------------------

Doesn't sound independent at all
You're referring to the hedonic treadmill[1].
I find it useful to A) be aware of it so you can B) reset it every so often.

Objectively we both know it shouldn't be an annoyance choosing food from a menu, so go back to cooking at home for a while, at best you rediscover your love of cooking and don't go back to eating out. At worst you learn to reappreciate just how nice it is having someone else cook.

Same principle applies to every expensive thing that you don't now judge to be a luxury.

[1] https://en.m.wikipedia.org/wiki/Hedonic_treadmill
Navigate Without Context in Flutter with a Navigation Service
It runs to the idea that perfection is the enemy of good, and how do you change perfection?

In a growth company with massive scale, a system always has some risky red-line, and so it is better to spin up some competing efforts with different perspectives to tackle different needs in different ways.

The key is to have redundancy of people over time and to create multiple thought leaders within a company; this makes it interesting. Then, at a future date, a "re-org" will happen to condense efforts and the real product is having a number of people familiar with the ideas spread across the company.

This makes zero sense for start-ups, but when you are a risk taking company with massive budgets... strategies are interesting. You see this with VCs having stakes in similar investments as well, and the idea is the same... diversify over people rather than perfect minimal code.
Yes what you need to do as a workaround is a BUG in react, not a problem with WC's - and I think Dan Abramov tweeted that this will be solved eventually (I can't find the exact tweet) - In Vue, svelte, Angular or even preact you would be able to do <my-component prop={something} /> just fine, no need to mess with HTMLEntity. If this is fixed this should be transparent to you and work the same way, you should be able to mix and match both kinds of components.

See here https://custom-elements-everywhere.com/ a list of popular libraries and how they handle events and props.
Nitpick: Emacs is a category of editors. There are also several written in different Lisp dialects, incl. CL.

GNU Emacs otoh is a specific editor.
> > 16. Some trolls and POV-pushers are best fought with a time delay. Let them make their edit; then change it an hour or two later, or even the next day. Trolls are easily bored, and are more likely to go away if you hold your fire for a bit. (Blatant vandalism of course needs to be reverted immediately.)

How do you tell the difference between vandalism, trolling, and good faith but wrong edits?

Even "blatant vandalism needs to be reverted immediately" isn't as obvious as it seems, which is why rollback needs special rights and why there's frequently discussion of misuse of twinkle on Ani.

EDIT: honestly, there are thousands of posts to Ani about people reverting good faith edits as vandalism, or about using Twinkle too fast, or about misuse of rollback, or about projects (eg, vandal patrol) being too quick to revert and too aggressive with warnings.
You are correct about auto-login https://support.microsoft.com/en-us/help/4027599/windows-10-...

Per https://vztekoverflow.com/2018/07/31/tbal-dpapi-backdoor/
After the post reboot "login" happens to the last user, the credential is removed from the disk (registry) but will stay in memory. To exploit this, you would need to find a hole in the lock screen, use an admin account to dump memory, or have physical access to the drive before boot that doesn't have bitlocker.

Is there an attack vector that doesn't require privileged access or physical access to the machine without bitlocker/tpm?
On the flipside, I went back to uni after a few years working - it felt like I was producing stuff that just gets marked and thrown in the trash - time invested felt like it didn't have much value other than producing a mark. It was demoralizing.

But that was an MSc, not PhD or something where your research is more likely to have output/outcome.
Of course, but what I am questioning here is how often we really do change internal representations of simple data structures. The theoretical benefit of hiding every representation behind an interface is clear, but any abstraction also has a potential cost if it creates a barrier to doing something useful and/or becomes leaky.

You can still provide standardised interfaces for things like iteration along with a data structure even if you choose to expose the specific representation, so I am not sure how strong an argument your second point makes. Depending on the situation, you may find your consumer is implicitly coupled to the true representation anyway, perhaps because it inadvertently relies on values being iterated in sorted order or insertion order or because it assumes certain performance characteristics even if these things are not strictly part of the documented interface. More than once in programming history, even standard libraries of popular programming languages have been updated to guarantee some behaviour that had been reliable in practice but was never actually part of the original specification.
Sorry, I should've been more clear on what I meant with the SS. Some (dutch, I think?) cities had registrations of their citizens with religious affiliation listed. The SS got a hold of that "database" and used it for their purposes.

As far as the Stasi is concerned, I just disagree with you. The Stasi was really about gathering as much information as they could get their hands on. They didn't have to torture people, blackmail was much easier for them.

And, yeah, neither of these is connected to web privacy. I'm trying to make the argument that privacy is just hard to grasp. "People care more about privacy than they think." You don't notice till it's gone. SS and Stasi were wholly different situations, but at least for the latter it had the effect of people understanding the value of privacy. GDR citizens knew the Stasi was surveilling them. They knew saying certain things would mean they'd never get their children into university, or they'd just lose their place on the waiting list for a car. The effects were close enough to be noticed.

They aren't on the web.
I'm surprised the shell doesn't use a `((` prompt ))
Some storage systems work by holding a charge, and electrons have mass.

In practical terms it night as well be 0 but in silly discussions on the internet terms it's a very small non-zero value.
Flathead screwdrivers are indeed very useful.

But I think you'll find that the iFixit Guide to Nuclear Warhead Testing recommends more specialised tooling.
How to create an Instagram-like app
Go to production with your Machine Learning model in 10 minutes with MLflow
From a selfish point of view, I care more about the benefits to me brought by Firefox having a bigger market share and Mozilla having more influence on the development of the web, than the benefits brought to me by other people looking at ads.
To read the credential file from other user's profile.

As somebody shown below, that could be done by anyone with physical access, but only if full-disk encryption is off.
Linux PCS, servers, gadgets may be crashed by 'Ping of Death' network packets
And arguably influenced The Matrix, The Terminator, and The Truman Show as well. Virtually any modern film that questions reality has probably been directly or indirectly influenced by PKD.
Getting this data aggregated from mobile network providers seems much more accurate. Having the TV on is not the same as being home and it doesn't record if (or how many) people are actually watching. It's certainly worth something but I also doubt it's significant compared to the price of a TV. Online behavior and movement data is much more valuable.
I bought a LG smart TV because it was only 50 Euro more expensive than the non smart one and its display was much better. I never configured its WiFi so it's as dumb as any other TV set but I enjoy the screen.
Data oriented design makes sense in video games where perfomance Is very important, but in most business applications having good abstractions which are flexible and easily maintainable is much more important than optimising for cache usage.
I terminated all my TV related subscriptions over the past two years and now also finally sold my TV. One of my best moves ever. I am not missing anything, have a lot more useful spare time, and save around 1k a year.
But the average Americans aren't all going to lose their job at the same time and end up homeless.

The average American will never experience homelessness so citing that as an example of adversity for the average American is wrong.
There is historic reason for this : all carriers and phone makers see messaging experience as critical and want to control it themselves. Google didn't have enough pull to make messaging mandatory part of default google apps bundle.

Then iMessage and WhatsApp happened and Google desperately tries to rectify the situation. See Hangouts SMS integration.

Latest two-prong attempt is Allo and RCS. Allo failed. The reason RCS kinda works out is that carriers can't combat iMessage alone anymore. RCS was conceived as asymmetrical response to iMessage which aligns both Google's and carriers' interests. Many carries don't even try to implement it and rely on Google's default client implementation and route through default google servers.
That's a bit like believing you are capable of emptying the ocean with a teaspoon.

By all means, go ahead. But excuse me for believing you will fail.
This article is mainly about performance improvements, so I guess GitKraken wanted to remain competitive since Sublime Merge was released. But not being able to use it for private repos (sometimes I work on a project I plan to release as open source in private until I'm ready for the world to see it) without paying yearly is potentially a deal breaker for some, no?
Can confirm. I am sitting here with a 9 week old puppy that I've had since Friday. It's relentless at first.
For that you'd need good cameras, not microphones. The lack of an audible response says little about the perception of the ad. And even if there is a response, you don't know if people were even watching at that time.
Spam for a taxi service. Really?
I'm not in the US, and I stopped using WhatsApp for several reasons. It doesn't provide me any benefits over SMS (people still need to know your phone number, for example, and if they change phone numbers, there's the whole game of figuring out who is messaging you). Not that many people I communicate with regularly really cared if we used it or another communications method either. It is one more app draining my phone's battery. And I want to limit the apps that Facebook can use to gain information about me.
It's like the old story about when airbags (or was it seatbelts?) became mandatory, serious injuries from car crashes became much more common - because many more people were surviving serious crashes and being counted as injured, not killed.
Opening Inform [programming language for interactive fiction]
It is not necessary to go right down to assembly level to introduce these concepts, though. Just a language with a transparent memory storage model and explicit reference vs value distinction is enough. C is still the lingua franca of the programming world and IMHO it is useful to know basic C for these reasons even if you rarely write much code in it.
Literally the second result on goog for "arso tbal". Did the authors of this article not look to see if anyone else had found this? I guess it's good for seo and visibility?
I would be very surprised if Dragon did not include the 21st century equivalent of the Apollo 8-ball, manual translation controller and stick.

NASA is a very conservative organization and if there is a lesson to be learned from past near disasters, is how limited is the foresight of mission planners and how infinitely adaptable are the human astronauts.
Absolutely agree with this. Parenting is just another stage of personal growth - having kids is definitely replete with life lessons ..
Interesting read. What immediately sprung to my mind was Rust's Trait system which sort of manages to give you the best of both worlds. With Traits you can implement common behaviour/functions for multiple datastructures.

When I started using Rust I wasn’t used at all to seperate data and behaviour that strictly, but it makes sense. OOP paradigms were still hardwired in my head so the hardest part was actually wanting to do it in that decoupled way. Something about a car object that has wheel objects and a car.drive() function gives you a good feeling as a programmer, but sometimes it is more effective to stay with the data structure and describe the car as a struct of vectors which implement a Driveable trait..
> I recently bought a 4K HDR smart TV for $199

I find it hard to believe that the manufacturer sold it for less than that. Maybe they had to get rid of that unit, but selling that far below cost cannot be profitable.
That's exactly what they did with Google Allo...
When I went through my depression, I did some reading on it, and this comes up in the literature. Essentially, people who struggle to feed themselves don't get depressed. Depression is a first-world problem because we have the time and luxury for introspection and contemplation.

A large part of what got me out of my depression was making meaning for my life. Discovering what really matters to me, and living my life by my discovered values.

I'm also, now, easily the most optimistic person in my peer-group (I definitely was not before). I believe the world is getting better every year, and that the human race will rise to overcome all the challenges presented to us.
I think you forgot the most important feature: Physical on/off switches for cameras and microphones. These should be mandated by law in any device, even smartphones.
I'm not saying that disasters aren't possible, but we've using centralized grids for over a century. They've held up decently.

And they're pretty good at scaling human activity since they can route/draw power from other places.

About pedal power, it's nice to look for alternatives but if there's one thing I learned, convenience trumps everything else. We literally die for convenience (drugs, alcohol, being overweight, not exercising, etc.).
I seem to value my privacy more than most people around me. That is why I left windows and installed Linux on all my machines.

I have un-googled my life as much as possible and don't have any social media where you post under your real name. I think more people should follow suite.
It is now completely legitimate to be afraid of every single thing connected to the internet. Thanks technology!
Summary: Machine learning makes a superior interpolation algorithm. (Surprise!)
Pretty smart guy but enslaved by his own fatalism. I do think time will prove him right to a degree, but it won't be the end of civilization as often inferred.

Still worth a read if you are able to separate it from the murder he committed. I wonder if the press would still release manifestos like this today. My government would not and by doing that ironically works towards what he saw as a threat.
AS a Systems Engineer in the Defense industry I completely agree. It is only because we talk about a maintenance role that DOORS doesn’t come on the list with Word.
Its Windowth
This article is pretty hilarious. Its mostly just quotes from someone hawking their wares so any decision they made will be trumpeted (by them) as the next big thing.

That said, LA construction is only a few stories (2-3) high and turning escalators into stairs is an easy way to save cost and make a place feel a bit bigger. You can join the up and down into one large stair and you can often put them outside too.
This leg uses advanced AI and Machine Learning algorithms with a cloud Prosthetic as a Service (PaaS) model. Utilizing the latest in state of the art open source blockchain technology, this leg will bring added value while synergizing with your efficiency to optimize your bottom line.
I once heard a better phrase, but I now realise I've forgotten it and can only paraphrase.. But it was something like, "There's a difference between annonymity and privacy. Privacy is when you go toilet and lock the door even though everyone knows what you're doing".

I wish I could rememnber the phrase!
There's more. If Timmy does not make the competitive job market he might as well have been eaten by the lion. Which depends on access to right tutoring and right connections more than right skills.

Getting eaten by a lion is less misery. And a lion you can fight with a few guys. Job market? Might as well be hitting a tank with your bare fists.

If anything, it's the lack of control and not the level of adversity that is the problem.
looks like this in VirtualBox https://www.youtube.com/watch?v=Wd_-h5kRQLo
There are still people explaining to me why you need a 'system programming language' like C or Rust for certain tasks. Meanwhile, I'm playing a game of Quake on Mezzano, where everything from drivers to the actual videogame is written in pure Common Lisp.

In case you wonder how froggey managed to obtain a Common Lisp version of Quake, have a look at https://github.com/froggey/Iota.
Application of formal methods is always an interesting read, and this article is a gentle introduction to some of the ideas exploited in probabilistic model checking. However to me, the way the article is written, gives software verification, and CBMC in particular, an unnecessary bad reputation.

> There is no need to define “game progress” or implement a naive game AI, as formal verification methods appear to require.

> The mathematical verification code is about one-third the size of the formal verification code presented by the TTTM author

Most of the author's argumentation stems from the different levels of modelling. He pursues verification at model-level. That is, he does the interpretation that a "game progress"/"native game AI" would provide, and lifts the problem from the source-level to a formal representation as Markov process.

With that in mind, it should be clear that reasoning on that higher level can be done more efficiently. In fact, if the author of TTTM would have chosen to verify just the transition relation, an even simpler modelling would have sufficed, e.g. via Prism, ITSTools/GAL, SMV.

I just want to stress that the author of TTTM did not just formally verify that the concrete transition relation can not reach a "bad state", but proved that the actual implementation indeed cannot reach said states. For example, this also includes proving that the game's pseudo-random generation of initial states is safe to use.

> The TTTM formal verification code requires a value called MAX_FINISH_DEPTH, which represents the maximum number of steps required to finish the game from any valid state. It is unclear how the TTTM author arrived at the number 18, but the value can easily be calculated using the matrix representation of the game.

Again, when reasoning at the level of an actual implementation, i.e. software/binaries, such high-level reasoning is not applicable. Therefore, when employing bounded verification techniques, an educated guess about a sufficiently high number of steps must be provided.
If I read that comment optimistically, I think it was a joke.
Perhaps the F22 runs on VBA
This is very true, the need for cleverness of algorithms tends to be... sadly low compared to discipline needs to execute on a schedule. Build stuff, and then get used to the grind to finish and ship something.
This is not the first time "serious" flaws have been found with DPAPI. Here's another example: https://cqureacademy.com/blog/windows-internals/black-hat-eu...

In this case, it turns out that if you have access to the domain controller as admin, you can decrypt DPAPI secrets by using user's private keys stored there (keys for DPAPI need to "roam" with the account, as do keys for EFS, so it's not surprising that they're there). Likewise, it also turns out that if you decline to provide a password (encryption key) for secrets stored in a PKCS#12 blob (PFX), Windows makes one up for you and this is deterministically bound to your user account (and can be broken with said access).

Neither of these "attacks" cross a privilege boundary - it just turns out crypto isn't magic. As pointed out by other commenters, bitlocker should be enough for most people, but the truth is that if you don't trust your physical environment you need to put in place physical access controls, tamper detection, have a TPM etc, as well as full disk encryption.
Previous discussions:

https://news.ycombinator.com/item?id=8943709 Jan 2015

https://news.ycombinator.com/item?id=8955140 Jan 2015

https://news.ycombinator.com/item?id=12358177 Aug 2016
No, Google Authenticator is not tied to a device. It's a standard (TOTP, RFC 6238) and you just need to use an app (perhaps not Google Authenticator, I use a different app myself) that will let you see the numerical code that you need to save somewhere.
These both seem illogically logical, kind of like the other story about an engineer who figured out where to armor aircraft by looking at the ones that came back -- he armored the places that were never shot up.
Thank you for this comment. I'm currently going through a stressful time dealing with a legal situation that's, objectively, annoying at best. Yet I'm paralyzed every time I open up my mail client to type out the next email to my lawyer, fearing to make an error.

Your comment put it in a very different perspective. Thank you, I'm going to write that email now.
How to Avoid Budget Overruns: Tips and Practical Advice for Business Owners
Have any data to actually back it up? Such as real number of people who made an effort and failed? And how they failed, and to where? And how well they were initially off?
> Pedal power could play one (minor) part in such resiliency.

It's less "minor" and more "insignificant". A healthy and motivated laborer can sustain ~75W mechanical over a continuous work day, that's an entry mat worth of solar cells, or a small turbine / windmill.

You can derive some productivity from your exercise, but humans as power source is inane unless you have literally no infrastructure worth speaking of and no other options (e.g. no wind or water streams).
Or don't, because this isn't a real risk.

It's a risk if you and another person you don't trust share a machine, and that person has admin access, and you store sensitive stuff on that machine, protected by DPAPI, and some other technical restrictions on updates etc.

But seriously, don't share a machine with a hostile user with admin access and expect secrets stored on that machine to stay secret.

Edit: the auto-credentials saving happens every shutdown, not just for automatic ones, so this is much easier to exploit. The link somebody else in this thread posted is easier to follow (for me anyhow) https://vztekoverflow.com/2018/07/31/tbal-dpapi-backdoor/, and in the meantime I'm chomping down on my hat. All those fibers must be good for me, right?
I think it's because they're all publicly traded tech companies worth over a certain market value