skysight-inc/HackerNews huggingface dataset:
Your comment helps me. I think I'm getting closer to the mechanism of what causes me to procrastinate. When many tasks are due, all important but of tiny ROI, like washing dishes and vacuuming, I feel overwhelmed because my mind can't sort them by expected reward.

I also noticed that I engage in extreme procrastination when the rewards of a high effort task are uncertain. It's like my body recoils at the idea of expending energy unnecessarily. For example, creating a "portfolio-worthy side project" immediately queues up questions, "But I heard recruiters don't look at them. If they do they'll look at it for a second. What if they think my code sucks and I blow myself out instead?" Etc etc

If anyone has some sort of mental model or frame which they're conscious of in these situations, I would love to hear it. I started researching CBT for ADHD last night and now I have 30 tabs of research articles, infographics, blog posts, book reviews and god damn it if I didnt go and get stuck in Wikipedia instead...
The NFT ticketing example always makes me furious especially the "solving shady secondary market" argument.

This is a ridicolously easy problem to solve: Make tickets personalized, give buyers the opportunity to sell ticket back to the ticket seller. Problem solved. If checking your ID card on entry is too much of a burden, non-NFT tech can help by loads (app with rotating QR code that invalidates tickets).

That is 1000 easier than any NFT gimmicks. If you want to tell me that you want to use NFTs to solve the scalping problem, please explain first why the above example won't work.
You could start by explaining why you think HSTS is a dumpster fire. The idea behind HSTS is to ensure that sites intended only to be used over HTTPS are used only over HTTPS; it's not the kind of thing you're supposed to toggle or fiddle with.
I think the more important question is whether tabs are better than emacs, or whether you should use BSD or vim.
Just one thought (I'm not sure it's feasible, but I think it is). If I have no Google Play/other things to buy, why shouldn't I be able to:

* setup MX record with another provider (many domain register offer that as a commodity, e.g. I think Gandi does)
* setup mail forwarding to my private @gmail.com account
* in my private gmail, setup username@mydomain.com as an alias.

Everything should work. It may take a bit of time for the migration... but gmail.com usage with another domain should not be a real issue.
Speak for yourself, I'm moving somewhere with a higher refractive index so my kids can play in the street more safely.
I adore rclone and am shocked every day when it just keeps working. I figured Google would have staked it through the heart years ago.
I want vintage 80s, 90s and early 2000s TV. TV that still had some manners, modesty and didn’t say everything out loud. It wasn’t all loud, brash and uncouth.
It's still not very good. The state of the art vocoders ( StyleTron et al ) are years away from getting intonation right. But then if you could get intonation correct, you still need to be able to get pausing and pitch correct, let alone timbre and a few other things I'm forgetting from my research.
You can do this in Outlook, just create a task and drop the email in as an attachment. Or just flag the email.
This article takes clickbait to a new level.
I'd like engineering in computing, including software, large server farms, etc. to be engineering not specifically EE (electronic or electric power engineering) but just engineering as in general engineering principles as illustrated in EE, chemical engineering, mechanical engineering, civil engineering, aeronautical engineering, etc.
I run https://stickler-ci.com While it is not currently at 500/month but it has been there in the past.

I started this as a way to improve review speed at a previous position and it was well received, so I converted the prototype into a it's current form and have been running it for a few years now.
I can't disagree here about some really good music using Autotune. Even if it is not your cup of tea, Cher's "Believe" is undeniably iconic.

I am not a record producer, but I feel like Autotune is a big part of the reason that we don't have many modern classics. I would love some producers' hot takes on this article.
Germany Announces Renewables Expansion
The example given, of adding new instances of a session service that consumes from a Kafka topic, is completely wrong.

Kafka producers use a partition key of your choice, so the UserLoggedInEvent and UserActivityEvent that relate to the same userId will always be written to same partition. This is how horizontal scaling of Kafka consumers works, without ordering problems. Anyone that isn't aware of this has very limited experience with Kafka and event-driven microservices.

I respect the author's attempt to give some balance, but I think some parts aren't well informed.

It's important to understand the benefits of microservices AND the costs. Small focused projects have small, fast test suites, can be wholly owned and developed by a single team amongst many, can be released and deployed without fear of breaking unrelated features across a vast platform, can be retired easily when obsolete. They also introduce the complexity of communication across many systems to complete an end-to-end journey, and require incredibly careful design and carefully chosen boundaries and responsibilities if you want to allow each one to evolve independently. This takes time and experience, and many organisations get themselves into a big mess with no governance, consistency or cohesion across a confusing sea of services and teams.

There's no free lunch, but let's get beyond fashion-driven lurching from one extreme to another. This cycle of having a few years where the costs of an approach aren't acknowledged, to a few years where the benefits aren't acknowledged, is very lame.
He has a bad habit of suing former business partners that don't do exactly what he wants. E.g. he's currently suing the second and third person from the left in this photo https://i.redd.it/ph8slk43st331.jpg and the person on the right is the rube that is financing most of Wright's litigation.
I put software engineering as "can you write an sla and be legally liable for it?" If so, then you're an engineer. If not, you're a dev. I personally call myself a software plumber.
I think “intended for children” is the source of quite a lot of modern mental illness.

Your brain and body are quite plastic in different ways when you are young and become much more rigid as you grow out of childhood. Children are preparing for the world when they’re young and living in an artificial world much different than the one they will face as an adult.

Those feedback loops that were programmed when young in an artificial setting then just don’t deal well with the real world presented long after their ability to adapt has diminished.

Telling fictional stories that don’t pull punches which reflect the difficulties of the world might well be an evolutionary trait which helped prepare children for a dangerous world without exposing them to much of the actual danger.
How’s it immoral to make sure the public knows that a product they are planning to use has been declared illegal in a certain jurisdiction?

In fact, given the state of regulatory capture, it’s a public service to educate consumers locally about how a competitor’s actions are perceived abroad.
> Need ultra stable? More and smaller microservices usually better.

I don't think I agree with this statement. "More and smaller" also means potentially more routing and communication paths, thus increased latency and complexity.
Perhaps some idea and abstractions from Erlang could be interesting to explore in more mainstream languages?
>> When you hear that it is too hot in Arizona and planes can't take off they are saying that the 737 can't take off.

The CRJs and ERJs are usually first to hit operational temperature limits, not the 737.

Edit: Also Boeing did have a 737 replacement project, but airlines did not sign on to that project and instead wanted another 737, so thats what Boeing gave them. https://en.wikipedia.org/wiki/Boeing_Yellowstone_Project
Same, I don't mind the recurring payment all that much - their apps are excellent. I used the subscription for the apps with a synced file for a couple years.

But the cloud push is absurd, and it got too aggressive for me to stomach. It means I no longer have local backups (this screwed over a friend, whose data was deleted by 1P immediately after changing account stuff and could not be recovered). Browsers are also unambiguously not well-suited for this kind of secure-environment use, as exploit after exploit demonstrates. It makes their website a huge bullseye for hacking, rather than needing to somehow attack their entire user-base independently. It's a profit-oriented decision that makes the product's security, its primary feature, worse.
If the target of a law can circumvent the law, and the law ends up harming regular middle and working class people, then yes we should not have this law.
Yes, but microservices maximize cloud vendors' revenue compared to monoliths.
I’m going to be the contrarian in this discussion. I think microservices are awesome and I’ve deployed architectures in anger in both Java and Go. 100% would (and will) do it again.

Most of the problems people are talking about seem to be around using microservices inappropriately, without sufficient preparation, or when an application is not complex enough to benefit from it.

Microservices are not a panacea any more than any other architecture. Properly implemented, they have significant strengths vs monoliths, but require experience to get right.

Properly implemented monoliths built by experienced developers are likely to strongly resemble microservices but without some of the advantages that I enjoy.

As others have said, it’s not all or nothing, one or the other, but I don’t get the hate for microservices here.
Astonishingly polite indeed, compared to them claiming neutrality in WW2, yet:

- shooting dead American soldiers they found inside Switzerland who had escaped from German POW camps

- abusing banking privacy laws to seize bank accounts from murdered Jews (who had been using Swiss banks for a number of years because they saw the writing on the wall), refusing to grant access to surviving relatives

- happily accepting Nazi gold, knowing much of which was melted down jewelry and dental fillings collected from the ashes of human incinerators.

Post WW2, Switzerland was required to return twelve percent of the gold they accepted from the Nazis.
Mostly because, per my reading (as an admitted Haskell dabbler and not fluent), it looks like a variation on a theme rather than a totally different thing. It seems to be a more consistent and refined (har har) way of doing the same thing as the first link, and still has a dynamic check (at least in one form, refine vs refineTH) just like the smart constructors.

But also because we got derailed from my initial point and context.

> Pre/post conditions are complementary to a type system.

Do you disagree or agree with this statement? Because you never addressed it either.

> They can ensure logical properties that may not be encodable in your underlying type system

Note the "may", because that's important. I didn't say that there were no languages in which my example could be encoded in the type system. And maybe it wasn't the best example, but the point itself was that there is no type system (that I'm aware of, not even Idris as far as I know) which can prove in its static type system every piece of logic about a program. This means that some properties of the system will end up being checked (if you bother to) at runtime and not at compile time. That's where pre/post conditions are useful, they contain information (and in a more deliberate form in cases like the Clojure example) about the properties of the system that are hard or impossible to encode directly in the type system.

Different type systems (both static and dynamic) let you express more or less with them, which reduces the need/desire to have checks like these in your program. But I seriously doubt that any mainstream language will ever totally remove their utility, as complements to the rest of the type system.
That's a great realisation that especially came to me in my thirties through various crisis happening to people around me and myself.

Being there when other people have real challenges makes you realise how small status anxiety really is compared, and how much more meaning there is in just enjoying time with good people instead of skating around on the brittle surface.
More like: type-systems are a special kind of invariant enforcers, and so they are less useful than generalized invariant enforcers.
Update on Pleroma Maintainance
I don't know what part of "optimize for a large range of conditions" sounded like "wing it". You can't do that by winging it.
The very conflict this article is about gave birth the the Red Cross.
The original comment was discussing sources of road funding, which is completely unrelated to unemployment or welfare (neither of which I mentioned).
Xerox GlobalView 2.1 – the last descendant of the Xerox Alto, the first ever GUI
Firefox supports PWAs fine, it's just the desktop installing part they don't have. Offline works, push works, installing works on Android, pretty much everything works.
https://forwardemail.net/ seems like a decent option for forwarding email from custom domain to @gmail.com (or any other free mail host).
Maybe your mother saw Reign of Fire, it makes the exact same claim, Star Wars will be the new folklore in the post apocalypse.
In the EU don't they have an obligation to let you remove all posts due to GDPR?
TSMC’s 2022 Expansion Budget Exceeds $40B
Firefox does support most features for a PWA. It's iphone and their safari lock in that's the problem. No support for features like web push.

It's clear apple will happily cripple it's own browser to keep people using the app store.
Yup, and you can still find quite a bit of that "popular" sheet music on IMSLP if you search around for it. The nice thing about sheet music compared to recordings alone is that it makes music into a truly literate artform; it becomes quite easy to read what the composer expected to be played, and to recreationally engage with the music on that level - perhaps even by performing it yourself! (It's of course a far more intellectually and audiatorily meaningful engagement than just passively listening to a recording.)

There's also a flip side in that when comparing what we read with a heard performance, we become far more intuitively aware of the additional improvisation-based elements that a good, 'inspired' performance can bring to the music. The sheet music itself is a bit like a structural sketch, a blueprint that ought to be suitably "ornamented" in a good performance.
Thanks for this. I had the same series of thoughts after reading the article, and struggled to feel more charitable about it. "Shitshow" is a kind description.

On my father's increasingly rare good days, I often think of Stanislaw Lem's "Solaris" — "I persisted in the faith that the time of cruel miracles was not past."
Livebook v0.5 – Collaborate Widgets, Mermaid support, standalone macOS app
An Architect Asks: Can the U.S. Build Big Again?
FWIW, in this legal action Wright expressly states that his claims of being Bitcoin's creator are irrelevant for the case.

His claimed cause of action is that as a user he negligently handled his bitcoins and lost them to hackers, and that the some random subset of the authors (e.g. the ones best able to debunk his claims of being Bitcoin's creator) owe him a fiduciary duty to make him whole.
They are especially useful when refactoring, or as a documentation tool.

However, without a type checker, choosing your names wisely will get you a long way.

I think anyone advocating type systems should spend a year working in a dynamic language, to get out of their echo chamber and form a more objective opinion.
Oh god. Why did you do this to me.
I’ve done monoliths and microservices. Having a monolithic codebase with many entry points is my preferred.
I had occasion to be out on the back roads in Utah with a local. At every little hamlet the speed limit dropped 20 mph in two increments over about 50 yards. As was explained to me it was for revenue. Either you'd break one or the other speed limits, or you'd do a panic slowdown & get ticketed for "reckless driving"; either way a nice fine for the town coffers.
Do Feature Attribution Methods Correctly Attribute Features?
What do you mean?
I confirm I can install a PWA using Firefox on Android.
FWIW, sqlite now has 'strict' tables.
I'm not a fan of eliminating landlords, but I can easily and trivially see a system how housing is built and provided without landlords or mortgage providers. The old Latin American way: you buy each brick when you can afford it. Unfortunately the imbeciles in government would have an aneurism: "NOO!!! you can't just buy bricks and stack them without a special stamp on a piece of paper!!!! How else can I buy my next new Prius without your tax money?"

I lived for months out of a tent, and virtually the only reason I don't now is because of the retarded CPS / child abuse regulations in US let petty bureaucrats arbitrarily decide what adequate housing is. The US has insane building codes and zoning regulations that make housing way less affordable than it could be to build with a working man's cash.
Its use is kind of a code smell, and I believe it was a relatively (prolog is old) late addition.

In any case, I wrote "doesn't need", though perhaps you consider that hair splitting.
Sorry of that came off as a straw man, I was trying to cut to what I saw as the core of your position, i.e. "the deprivation of resources that causes most of it" (theft).

Theft, like all of human behavior has many causes. You can look at what differentiates thieves from the working poor with similar lack of resources to determine some of the causes. Alternatively, you can look at what is in common between rich and poor thieves.

I have known far too many honest and hard-working poor people to believe that a lack of resources constitutes either a necessary or sufficient cause of theft.

If your primary point was that a hungry person will steal to feed themselves, I agree but don't think it is relevant to the social problem at hand.

If you were to ask me, I would say that people steal when they have little to lose, including integrity and empathy for their victims.
I'd be okay providing those documents to the government. I'm not okay providing those documents to a third-party for-profit company.
Sure, on mobile, until they decide to drop it from there too. And "pretty much everything works" doesn't make for a compelling user experience.
GDPR still makes transferring data off of ones device necessary. It relies on post-hoc enforcement. A good first step toward data ownership for sure, but can we do better?
I can definitely see them at night under intensified IR. Perhaps not “all night” - I haven’t exactly done exhaustive tests - but I regularly see dots of constant brightness, moving at a consistent speed, from horizon to horizon.

If I understand what you mean, though, I don’t see how it’s relevant. The article was speaking to astronomical telescopes, and my parent post in reference to high quality IR optics.
I am curious: as a HW project how did you go through the CE / FCC certification process and production 0-series batch? Did you have some investor or paid from your own pocket?

Asking as somebody who thought making some embedded / HW projects, but the initial cost seems to much to be paid by myself.
Yes, but Dicotyledons are pretty important in our current diet.
> If your data is not position-dependent a tuple doesn’t sound like the correct choice.

That's kind of the problem though. Software is written by humans, and humans are fallible. We don't always make the correct choices. Also, there are economic pressures, deficiencies in specification, and changes in business requirements.

Personally, I believe businesses should accept the aforementioned reality and optimise for cost of change.
Thanks for noticing these two masterof0!
We're working on an improvement to our job offers crawler that should add a lot more data related to software engineer salaries.
On the other hand we'll try to improve the data presentation layer, to better explain the cases where the number of samples are not enough to give reliable data/results.
The article mentions how the AI partners can also be verbally abusive themselves. I don't know how Replika works, but Cleverbot would take statistically appropriate responses it gathered from human interactions (leading it to often asking if you are human), so I wonder if the mistreatment by users contributes to it learning abuse.
In any case, I see the harm in such AIs and it warrants monitoring. Once, in a moment of weakness, I asked GPT3 if I was a monster. Its answer could be summarized as "Yes, as evident from you asking. You monster." Now, I have some understanding of how it works, but even then it was still unpleasant. I could only imagine how it would feel for someone doing worse.
"PWA" is a buzzword, that Google invented to categorize a group of APIs.

Different browser support a different bunch of these APIs that some people call "PWA".
It’s my understanding that all kinds of people fantasize some “violence”. Not necessarily sadistic or anything just you know, retribution of some sort when they feel slighted or whatever, or the enjoyment of a violent film, it may have base instinct fantasies of violence, etc.
In Chicago, PTO is accrued at a minimum rate of 1 hour of PTO per 40 hours worked regardless of employment type or status. You guys should get with the times in the rest of the nation.
Piling on here to add gym's dont have the monopoly on exercise!

Consider any of the following they all count:

* Hiking in the woods or parks

* Dancing lessons

* Running, Walking, inline skating, long boarding, bicycling, and really anything remotely similar

* martial arts in a dojo / club

* Strength training doing calisthenics at one of those outdoor gym things.

Keep in mind traditional strength training is great[1] for a number of reasons, but it's not the only way to get exercise.

[1]: dare i say superior due to it's muscle preserving and bone density effects? but getting overly picky about optimality can be a source of burnout in of itself.
This is such a simple problem. I really can’t believe it. Just give people strong passwords, strong backup passwords and maintain identity verification stations at post offices. If both your password and backup password are compromised, or to settle an identity dispute, just go to the post office and produce irrefutable evidence including biometrics. But if you just remember your password this should almost never be necessary. Am I crazy?
Did they predict the future or invent the future?
> The German Wind Energy Association (BWE) has repeatedly stated that just 2% of German territory would be sufficient to build enough onshore wind to meet Germany’s renewables targets.

I don't know what the limiting factor is for how fast new wind turbines can be manufactured and installed, but it would be interesting to know how many wind turbines it would take to fill that 2%, and how much that would cost.

Perhaps it's easier to work backwards from what the target is, what the current level is, and how much energy is produced per turbine. In any case, here is a page with some helpful charts for contextualising Germany's current energy situation, and its historic trends:

https://www.cleanenergywire.org/factsheets/germanys-energy-c...
take the shortest path instead of cheapest-to-ISP path I am guessing?
I know Golddigger but couldn't have told you who it was by.