skysight-inc/HackerNews huggingface dataset:
I was nodding along to this, but this gave me pause:

> Assertions must always be side-effect free and should be defined as Boolean tests. When an assertion fails, an explicit recovery action must be taken, e.g., by returning an error condition

> ... Because assertions are side-effect free, they can be selectively disabled
after testing in performance-critical code.

Why would you put in recovery logic in if you're just going to disable it?

For example, let's say that I've got a new algorithm for calculating the cosine. Just to be safe, I add an assertion that the return value is in [-1, 1], and return an error if it isn't.

Now the clients of my code (say, the guidance computer) deal with the error somehow: if cos(x) returns an error, show an error to the pilot and maintain course or something.

If that assertion were stripped out in production code, then there was no point in writing the recovery logic. I've never written safety-critical code - am I missing something?
The Chinese auto maker NIO already has battery swap stations and a service that will drive a charger to your location with a container of electrons and charge your car.

Fully Charged on YouTube had a video on this: https://www.youtube.com/watch?v=hTsrDpsYHrw
Fun fact, the author of sc James Gosling went on to design the java programming language.
I tend to rest my wrists/outer corner of hand on the desk, just like I do when sitting. Can't say I've ever noticed a difference between sitting and standing when it comes to typing
> Godel-type unprovability is separate from logical independence

What do you mean by this? The Goedel sentence of a system is logically independent from the system by the standard meaning of "logical independence".
1. Climate change already disproportionately effects the poor. They live in low lying areas that will flood first and are not well positioned to move when necessary.
2. Carbon taxes can be revenue neutral by giving everyone a equal portion of revenues as a tax refund.
Maybe we should avoid the specifics of Samsung, since they are in the habit of shipping different firmware to retail and bulk buyers. I've never used the retail 983, and I have no experience with the u.2 either. All I can say for sure is you cannot overheat the stick version. If it overheats that's because your datacenter is on fire.

I can replicate this at home with a Samsung 970 PRO m.2 in an Intel NUC. It just will not overheat. The only thing I can do to make it shut down is to put blankets over the NUC in which case the CPU has gone PROCHOT anyway.

Bottom line, it seems to me that power and heat are advantages of SSD, not HDD. It seems like people buy HDD purely because of GB/$, which makes sense to me at scale but not at home. The care and management of hard drives, and their atrocious performance, seems to outweigh the price advantage. It's really hard to manage HDDs successfully and even if you are doing it perfectly, it still means you are replacing the HDD every 3-5 years. What a pain.
This is a great achievement for a student within such a short amount of time. I guess kudos to the supervisors for providing these finely-tuned setups (simple PDEs, suitable intial data and guidance how to plot and show the essential data, i.e. the error distribution).
Terminal programs tend to be faster (particularly on boot time) and have better support for keyboard shortcuts. I haven't tried this project out though...
Well yeah, that’s the point. Of course apps want to use iOS to get customers to the point of sale and then not pay for it.

How would you feel about an affiliate program that gave 30% to the referrer but right before purchase had a button that said "buy 30% cheaper without referral commission?"
As it seems pretty much feasible to use automatic objects detection/classification to spot possible tumors during the colonoscopy, wouldn't it be the next obvious step to replace the normal camera (well suited for a human observer) by several cameras in particular on the sides, or even a 360° camera (with the corresponding spotlights)?

This would help get 100% coverage with no effort.
> "but muh munny" is a strong counterargument among those who own them

As it will be for you, should you manage to accumulate any wealth.
With mobile operating systems like iOS one problem you frequently encounter is the user moving from one physical connection layer to another, ie WiFi to Cellular and back. iOS will send requests on both, but won’t move your existing request from one to another.

So for one app I write the user (say a company executive who always complained his photo uploads failed but was too busy to give a detailed bug report or even a specific time it happened) would take pictures at home or office, which starts uploads on WiFi, then put the phone in their pocket and get into their car and drive away. So I ended up using relatively short timeouts (30 seconds) and automated retries.
Please keep personal swipes out of your comments here. They're against the rules (https://news.ycombinator.com/newsguidelines.html). We've had to ask you this before.
I said they don't have equal rights by any means, in other words they're not close to having equal rights. But it's still not slavery. Navy blue isn't as light as aqua blue, but that doesn't make it black.

I'm not arguing for Saudi Arabia here, I find most things I know about their culture and traditions to be disgusting (though they appear to be making progress, no doubt thanks to international pressure and the oil money drying up). But I'm strongly against this trend of constantly reaching for the most extreme words for dramatic effect.

Saudi Arabia does have slaves, actual real slaves. But they're not Saudi women (they're often women, but they're from e.g. Malaysia or the Philippines and are forced to serve these Saudi women you call slaves). If you call the Saudi women slaves, what word would you use for their slaves? Slaves' slaves? Super slaves? Real slaves? Why not just call them slaves, and call the Saudi women something else, describe their situation with different words. Something like saying they're not given anywhere close to the same rights as Saudi men of equal standing, are not given the freedom that we consider a basic human right, and are forced to live in an underdeveloped society. That's bad enough, and I hope their situation improves, but it's not slavery.
Not sure the analogy is fair. There is an onus on users to have some sensibilities in security such as password quality / non-reuse.
I don’t think I’ve ever found a chair that I felt completely comfortable in. I like to sit upright and feel alert and most chairs seem to be made for relaxing. I’ve always wondered if it’s just me or not, and have often thought about designing a chair but realistically I don’t have the skills :(
Yes, I agree. As a mathematician, I spend lots of time trying to find the correct definitions with only a rough idea what I'm trying to prove (the theorem).
Yeah, I read about a fintech api recently due to hn. It can be useful.
Consumer + lots of storage usually equals lots of cold data that you don't care how fast it is. Lots of cold data without strict performance requirements calls for spinning disks still-- whether we're talking about enterprise or consumer. Paying $100/TB for things that I might access once per year and will still be close to instant when I choose to (video, photo) is silly when I can pay $250 for a RAID-1 pair of 12TB drives.
It's due to the standing - my mum spent most of her life standing at the counter in our shop and she has suffered from vein issues since she was about 50. Lots of swelling as well.

Like anything, sitting, standing, jumping - it's worth doing everything within reason. Possibly just switching between positions throughout the day.

Of course, these things can be gene dependant as well, but if you already have some spider veins showing, hopefully you can be a bit more aware of the problems that can come about later.

She really suffers badly from all those years and it's not something that's easy to fix.
Bill Gates and Jobs I guess.
I think this is the wrong analogy to make. I bought John-Deere farm equipment. Are they allowed to break it remotely if the GPS detects I've resold it or did my own maintenance?

In other words: I bought something in the general understanding it is 'tractor'/'general purpose computer with 4G' but its capabilities are an artificially restricted.

I think it would be in everyones best interest to have such consumer protection/rights from such practices.

Perhaps they should be required to market themselves with a prominent disclaimer saying they are restricting it's normal functions.
I take the bus in Chicago, including the poorest parts. It's fine, I even prefer it to cars because I can't stand driving. The bus drivers consistently kick off trouble makers.
std::fs::create_dir:

https://github.com/rust-lang/rust/blob/7fc048f0712ba515ca11f...

-> https://github.com/rust-lang/rust/blob/7fc048f0712ba515ca11f...

-> https://github.com/rust-lang/rust/blob/7fc048f0712ba515ca11f...

-> https://github.com/rust-lang/rust/blob/7fc048f0712ba515ca11f...
I’ve found the same. Thanks for sharing!
see my comment here: https://news.ycombinator.com/item?id=24319007
Parent comment and you could maybe bring some evidence. Right now, however, the vast majority of killings are being committed by police, with some additional killings by right-wing "militia" protestors, like those talked about in the original article. I'm substituting nothing; I'm bringing the thread back on-topic after parent tried to whatabout and ignore the origin article.
Are you looking for a VPN service? [pdf]
Been using PureVPN for three months now and I can finally give you some sort of an idea of what
to expect if you sign up for their service.
Hydrogen costs 9.5€/kg in Europe. Most cars need 1kg of hydrogen for a 100km trip.

That's expensive as fuck.

Just did the math on my EV, the cost for a 100km trip is around 2.5€, and that's me using public chargers, because I can't charge at home. With home charging, that number would be about 1/3 lower.

PS. Hydrogen cars use the hydrogen to generate electricity, which is again stored in batteries and used to run electric motors.
In such times, I spend most of my time studying products that I use. Understand what makes them work, why people are buying, who is buying etc
It just help train your mind to identify what matters when building a successful product

I have also started blogging, which helps me organise my research and past learning
Weird seeing Sandvine declared a "U.S. Firm", as a Waterloo resident
Uber made money this year if you take uber eats out of the equation.
The same thing happened to my previous employer a few months ago.

Our SRE had used a very long novel password and access was very limited, but 2FA wasn't enabled because it lacked some features (I'm guessing it was the SMTP, as other poster mentioned).

We were able to catch it pretty fast and never asked for refunds or anything, but Sendgrid's support was very standoffish and combative when we asked for help with our "investigation" of how the account was compromised, to the point the company started seeking a competitor.
If you're using a mouse my PT told me to "anchor" your elbow on the desk so you use your wrist to move the mouse, not your upper back. This is true whether standing or sitting.

There was a good reason I was in PT and was told this ;)
keycloak

hydra/kratos

fusionauth (not FOSS; not very good for a public internet application - probably ok for internal apps)

gluu
How does color pickers work?
If that’s the case, then my friend, you live in a better world than I’ve come close to sniffing.
There is a lot that I know which was relevant but is not anymore. A large percentage of knowledge needs constant replacing and often I do not know with what until I‘m exposed. HN gives me exposure. It is part of my solution to staying on top of developments. It does not provide answers to questions I have but to questions I should have had.
There is so much dependency on proprietary technologies here that anyone pursue anything serious should just stay away from the suggested architectures. If AWS were to raise prices in the future or to kick you off the platform, it would be that much harder to move elsewhere.
The real hilarious conspiracy is how the media latches onto these troll communities with breathless reporting. One of the founding beliefs of the "movement" is that birds aren't real, they're government drones.

I can't wait until The New Yorker is telling me about how a new dangerous cult is worshiping meme magic and praising at the altar of Kek. Honestly I wouldn't be surprised if that's already happened.

It reminds me of when the NYTimes caught wind of the NPC meme* and their initial reporting was along the lines of "ARE THESE RUSSIAN BOTS? IS OUR DEMOCRACY BEING ATTACKED?." No you out of touch ivory tower fools, it's kids in their 20s with too much time on their hands who love the attention you give them.

As a side note, I know someone who fell deep into the gamergate hole as it was happening and then realized how toxic it was and did a complete 180. Now they spend all their time arguing with conspiracy theorists on the internet about how their logic is faulty. There's a certain type of person that is susceptible to this kind of stuff in general, for or against.

*https://www.nytimes.com/2018/10/16/us/politics/npc-twitter-b...
What is your opinion on the fact that game devs aren't allowed to have a cheaper price on Epic due to Epic's much lower cut because Steam doesn't allow the devs to?

Isn't that also a net negative for the consumer? The fact that a game dev cant charge $8.20 on Epic vs $10 on Steam or else Valve will ban their game?
Roman coming of age rituals varied with time and social status. Still, most Roman males came 'of age' at ~25, with females considerably younger, sometimes as young as 14: https://en.wikipedia.org/wiki/Coming_of_age#Ancient_Rome

Strangely, Seneca's wife, Pompeia Paulina, was ~26 years older than Seneca. I'm not super sure I have the sources right on this (Seneca the Younger vs. Seneca the Elder), but from what I could find it seems legitimate.

As is typical with humans, it seems each person comes of age at their own pace, society be damned.
I've had to use these for some time, the worst part was that I'm left-handed and of course there was no chair with the armrest on the left side.
threat of terrorism doesnt justify hating the entire community, the policy of the current ruling dispensation is Islamophobic, Islamophobia wont help fight terrorism.
https://www.phoronix.com/scan.php?page=news_item&px=SuperTux...
> It's really hard to manage HDDs successfully and even if you are doing it perfectly, it still means you are replacing the HDD every 3-5 years. What a pain.

Neither HDDs nor SSDs will last forever.

It's as easy as sticking a pair of drives in a cheap NAS enclosure and listening for the warning alarm when SMART predicts failure or a drive fails.

I did have to replace the previous NAS after 5 years-- not because of failure, but because I needed more storage and wanted more performance. Otherwise it might have lasted quite a bit longer.
Google is very trend-orientated. It cherry picks the hottest trends, and displays them on the first few results. You can of course constrain your results to match a certain time-frame, then you will find your `The Mask` movie results. You could also use something like DuckDuckGo which isn't as trend-orientated and gives you a basic result, not a trying-really-hard / popular result like Google does.
Googler, opinions are my own.

Open sourcing anything at Google tends to be rather difficult because much of the technology we build is built on other technology that has not been released. It tends to take a great amount of effort to open source anything at Google because of all the internal dependencies you have.

It should be noted that Prometheus is an open source recreation of the precursor to monarch (developed by a former Google SRE that has since returned).

https://prometheus.io/
Once Sony's driving force, electronics division gets new mission
Get rid of all furniture... just levels.
It makes me waste valuable working memory remembering my position in the document, and the animation of it appearing and disappearing is distracting. I have a widescreen monitor so I have plenty of horizontal space already.
I’m an avid screentime user. I never run out of new ideas.

Often my surfing feeds my ideas. My latest creation is derived from downloading Reddit to my brain on the regular.

Boredom is a great stimulus. It’s not a pre-requisite.
These technologies are fascinating and make good sense for some APIs for sure. But if I look at our APIs, and I don't think we're unusual, they characteristically are not "fire and forget". Instead, the API call actually returns some data in the API response! Even for POST /widgets, I want to pass back an identifier for the just created widget, not a 200 code that means "request accepted and queued but no data available right now".

The uses for APIs that don't return data seem pretty limited in our realm (SaaS). One example is handling incoming notifications/webhooks from other systems. By their nature these are asynchronous and the caller (the external system) does not usually expect a meaningful response, so for sure we can use SQS to buffer the incoming API calls.

But for the APIs that we offer, virtually all of them have an online response. In my experience this is not an unusual pattern (for SaaS APIs anyway).

I feel that these technologies are somewhat biased towards super scale systems that are highly decoupled and asynchronous - perhaps the sort of systems that Amazon are used to dealing with in-house - rather than simple old business systems.
techempower has been very resistant to alternative databases. i pursued the effort for a couple years and gave up (so possible that it's improved in the last 12-18 months). their business is based on enterprise consulting - i suspect it's clouding [sic] their view of frameworks
Seems odd also. My understanding of assertions is if they fail, there really can be no recovery because you've reached an impossible state (impossible = this should not ever have happened).
Uncomfortable, but about perfect for popping your back. Though the back discomfort probably came from the horrid chairs in the first place, come to think of it.
Should You Listen to Music While Programming?
Public transportation should really just be bus-based.
Every city that has a large public transit system — worldwide - spends an absolute fortune on trains, track maintenance, overhead lines, operators, and so on. Even shiny European systems are hugely hugely expensive. They often use a wide variety of approaches — Boston for example has about a half dozen completely incompatible rolling stock. Buses can be deployed and scaled cheaply, routes can adapt quickly, dedicated bus lanes can be built with paint and not tunnels. Choke points can use dedicated right-of-way and electric infrastructure can go into tunnels with far less ventilation need. Buses can handle a fallen tree by driving around it. Buses don’t need special tracks to take them to depots. A down bus doesn’t back up the buses behind it. The list goes on and on.
> If you live in a city and want to live somewhere affordable, you're often looking at 1hr+ of commute each way. You have to get up a little early to prep for the day. Some jobs don't count a lunch break towards your 8hr day, or expect you to stay later, so you end up working more like 9hrs. If you factor in ~30-60mins chores that you do after work such as cooking/cleaning its easy to take up ~10-12hrs doing _work type_ stuff.

I thought the same thing, until I focused on tightening up my schedule and making active choices to minimize wasted time.

If you want to live somewhere that requires 2 hours (!!) of commuting each day, take long lunch breaks away from the office, have relaxed mornings with hours between alarm going off and leaving the house, that's fine.

However, you have to recognize where you're making personal choices. You don't have to choose a job and house combination that requires an hour long commute each way. You don't have to leave the office for lunch every day. You don't have to have leisurely mornings. It's perfectly fine if you choose to do those things, but you're not being completely honest with yourself if you start portraying those personal choices as completely out of your control.

> And do you really want to spend all those 4hrs being productive?

It's not about being productive all day every day. You can spend those 4 hours watching TV if you want, or you can spend those 4 hours going to dinner with friends, or going to the gym. It's your choice.

> If you follow the pomodoro technique and use 5min for leisure every 30 mins, you end up with only ~40mins of "leisure" in that type of day.

The Pomodoro technique is for work time. You shouldn't be Pomodoring you personal time after work.

> What if you want to do things like spend an hour working out at the gym / looking after physical health?

Make a priority and make it happen.

If you spend 1 hour at the gym 3 times per week, that's less than 3% of your waking hours. Surely you can find 3% slack in your schedule somewhere?

> It quickly drains away at any time you would have to spend on your own personal projects, interests, hobbies.

The idea of "side projects" has become a major problem for many new grads growing up the internet era. For some reason, many of them feel obligated to be working on side projects when they're not working. They basically end up with two jobs, a day job and tending to their side projects, and then they wonder where all of their time has gone.

The solution is simple: Don't do side projects if you would prefer to spend your time on something else.

It's all about making active choices in how you spend your time. Once you go down the spiral of assuming everything is an obligation in your life, your schedule starts to feel out of your control. Start being honest about the choices you're making and what you want to do with your time and it becomes much easier to take control again.
> the number of popular mobile web apps (that didn't also release an app) is basically zero.

This could be because it’s easier for companies to monetize a mobile app and not because users would prefer a mobile app.

Also: I’ve heard that many reddit users would prefer to use the web version and they’re annoyed by being asked to use the mobile app.
Did you have kids? I feel like that is a hard stop and pushes you beyond burn out with sleep deprivation and all your undivided attention, free time and career notwithstanding.
In many games it does make sense to update th GUI on every frame. E.g. if you have a minimap you will need to update that every frame during which the player is moving.

Updating every frame also solves the issue of the GUI updates not being synchronized with screen refreshes (v-sync). You could do something like use event driven programming to draw the GUI to a buffer off screen, and layer that on top of the main render. But that's probably about as intensive as drawing the UI, and more memory intensive.
2015: “While we have not yet identified the shooter, there's some indication it was an insider," said Caitlin Durkovich, assistant secretary for infrastructure protection at the Department of Homeland Security.
Ask HN: Started reading the TAOCP from Knuth, but I’m depressed since it’s hard
In the coming years I started to lose my computer skills. Decided to refresh them by reading the art of computer programming by Mr. Knuth but some exercises are too complex that that I’m losing the motivation.

What can I do to improve myself? Basically I would like to re-learned most of computer fundamentals, since I noticed that I know how to program something, but most of the times without really knowing how the things work.

Also learning isolated and by my own is not that great.