skysight-inc/HackerNews huggingface dataset:
e.g. say you're writing some code that does something like this:

account = queryDatabase(email)

updatedUser = update(account)

ping(account)

queryDatabase returns a dictionary.
Later on, someone decides that a single username can have multiple accounts, so someone changes queryDatabase to return a list of dictionaries instead of a single dictionary. Now the above code is broken, since update expects a single dictionary.
Of course, you could grep through the whole codebase to try and find all the problems, but it would be easier and less prone to human error to rely on the type system to fail, especially if the change was something less contrived, and if changes like this were happening all the time.

The effect of this could be limited by other means (e.g. naming the function better) but type systems are just another way of adding robustness to a program.
This is how you're supposed to search for Haskell operators:

https://www.stackage.org/lts-13.21/hoogle?q=%3C$%3E
Honestly, I've seen so much glowing praise about WeWork in the financial press all year that several times I've questioned (even on here) how much of it is paid for.

It simply does not make sense to me, for several reasons including the ones that you raised. It's such a common sense thing to me that WeWork would stuggle in a market abundant with vacant office space.

I almost feel like I'm shouting that the Emperor Has No Clothes.

----
What makes everyone think that corporate landlords facing unfathomable vacancies won't be able to hyper-aggressively compete with WeWork on short-term leasing, internet and amenities for tenants? They have much more leverage than WeWork does in terms of floor construction/reconfiguration costs. In such an environment, WeWork would not be able to lease and make money and would likely have to transition more of its portfolio to owned-properties, slowing its growth and subjecting the company to more risk...

Companies like Convene are much better suited to what's coming than WeWork is as suitable meeting space is likely to come at a premium.
"Free" is also not nickel-and-diming or bait-and-switching people with in app purchases. I'm not saying data mining my PI for profit is better, but the app store as a market place is an extremely toxic place.
The rumor has it that CDPR got special treatment from Sony regarding certification - it normally wouldn't pass it, but got accepted anyway due to production's high profile and a promise from the studio to get things fixed with the day one patch. In the end the patch didn't fix things nearly enough so here we are today.
You just have to download it a slightly different way. Anyone who has any ability to actually review/inspect is able to do that.

The impact on user freedom is negligible.

But even if we decide this particular situation is in fact locking down, what I said is still true. Locking down is a subset of removing options, not synonymous with it.
I give a donation once a year when their campaign pop-ups appear. For me this works and I don’t see the appeals again until the next campaign.
> There has been nothing more awkward in my life than achieving all of my lifelong goals.

This is why I lament the realities of the path of some who achieved success at too early an age, especially if they delayed coming of age in order to do so. Its not uncommon to hear about the teenage bitcoin millionaire or a really young founder that got lucky on his first shot, but when one of those kids enter your life you're shocked at how miserable and depressed they are. They seem to lack purpose entirely and seem to get in the way of what you would think would be 'happiness.'

Peaking so early in life has to be less about awkwardness and more about the fear knowing it will likely all just be downhill from that high and you're just filling the void until death; many would think (myself included) that you'd enjoy the luxuries it affords all while still having your youth and the excitement that creates but the reality is most just languish in that situation and are aimless if they never saw anything worth pursuing beside those goals from an early age.

I'm guilty of sacrificing far too much to achieve my goals: youth, social life, relationships, stability, money, (mental and physical) health etc... but it took me until my mid 30s to see why that tired cliche about it being 'more about ride than the destination' to realize why its true.

I learned so much about myself from all of the painful mistakes, the struggle and the resilience you create to cope with it and came to value the relationships I made along the way that made any of it possible more than what a 'fat exit' from a startup ever could. I only recently realized I came out a better person: I'm far from perfect, but I noticed I'm a much more compassionate, empathetic, and genuinely kind person, one that people actually enjoy being around and spending time with even with all my 'baggage.'

Whereas my younger self idealized a cunning, scheming, cut-throat opportunist who could thrive in any situation whatever the cost. Essentially it made be re-evaluate the value of People, Community and Humanity in general; instead of just succumbing to the nihilist, reductionist that feels that the height of one's existence could somehow elevate them to a fabricated position and even allow them to take pleasure in seeing the World burn from an ivory tower because at least 'I made it.'
Of course anyone would agree that transparent and predictable payments are better than deception...

But I don't think it's that clear cut or even about that. Usually we favour open markets, where companies can compete on features and price. The App Store has a monopoly on iPhones as it's the only App Store, and the only reason the fees are that high is because Apple owns both the market and the only player, and they can set the fee to whatever they want.

If Apple wasn't the only one running the App Stores on iPhones, it's not as clear cut that they would act in the same way. But since they are, it makes sense they push people towards apps and paid apps from the App Store.
"What if the vendor goes out of business without warning?"

I think the open source equivalent is:
"What if this library stops being maintained"

Which I have encountered multiple times. Having the source code is useful, but most people don't have the time to add another open source library to the code that they need to maintain.
Users have less freedom and cannot do many things by definition. Granted, this may not be important for everyone, but neither is freedom of speech.

In economics, vendor lock-in, also known as proprietary lock-in or customer lock-in, makes a customer dependent on a vendor for products and services, unable to use another vendor without substantial switching costs. Lock-in costs that create barriers to market entry may result in antitrust action against a monopoly.

https://en.wikipedia.org/wiki/Vendor_lock-in
GTA 5 does that too, but it may be observed more often when you’re low on RAM/VRAM. When I played GTA 4 on a microwave, it spawned the same car over and over until you get far enough from a current location. Not saying that it is okay for CP2077 in 2020, but this behavior is not unique. Maybe they overestimated where hardware industry will be in 2020Q4.
Can you show me this "initial highly condescending wording of your comment"?
I have a full-time job and a pregnant wife and a 2yo. I work on my side projects in the evening when my kid is sleeping, because it is the only time available. I don't trade family time for side projects, it's not worth it.

I am more productive than before I had kids because time is very limited I don't lie to myself anymore. Either I'm going to sit down and work on a side project or not. No more sitting in front of a computer and clicking around while not doing anything.
users don't opt-in to ads/tracking. Facebook is worried because they want it to be complicated and confusing to opt-out.
The only "workspaces" which behave correctly to solve this are
DWM's tags, but in practice I find it much more cumbersome to
pin windows to multiple tags than just flip through the windows,
or as I often prefer, switching to a window based on
fuzzy-searching its title - this has completely replaced my need
for workspaces, just like I stopped using tabs in Vim once I
figured out how to efficiently switch buffers.

Also, when I want to quickly open a terminal on dynamic WMs I
have to setup a shortcut for a floating terminal if I don't want
it to rearrange everything, while on a static WM I just open a
terminal and it'll have no effect on the layout by default.

Ironically I find static window managers to be more comfortable
to use the more dynamic my workflow and window arrangements are.
i3wm isn't as bad because it doesn't enforce a fixed layout, but
it's still more cumbersome once I want to quickly resize or swap
around some windows on the screen.
We do have a frontend component as well as instructions for implementing the backend. Currently we support login for nodejs and session management is supported for several frameworks. We will be adding login support in the near future
I see where you're coming from, but I think the practical chances of a given chess player who hasn't played in a decade becoming GM-level are realistically similar to beating Alpha Zero. Ben Finegold tweeted about this once: https://twitter.com/ben_finegold/status/1316936206844821505?...
>Is it because the Kazakh market isn't important to their bottom line?

Kazakhstan population 15 million, GDP 179.3 billion USD

China population 1393 million, GDP 14,342.90 billion USD

You might be onto something here.
> paying for reviews should cause a ban

Morally it should, but business-wise, for Amazon, it shouldn't. Amazon already has the monopoly and drove a lot of smaller retailers out of business; the counterfeit problem is not (yet?) causing people to shop elsewhere, probably because for a lot of goods there either isn't an elsewhere or the elsewhere is still a worse experience (longer delivery, etc).

Our regulatory environment also doesn't hold Amazon liable for selling counterfeit and/or dangerous goods (bad batteries which catch fire, etc), so there is yet again no pressure on Amazon to do anything.

Amazon doesn't really care whether you get a bad/counterfeit item, they get their money regardless. Until this changes there's no reason for Amazon to act.
Where’s your proof that advertising or tracking conversions even works in the first place?

https://freakonomics.com/podcast/advertising-part-2/
China’s Nata Opto-Electronic Gains as Photoresist Product Passes Tests
I mean, the Steam Linux Runtime alleviates this quite a bit for games at least; my desktop's somewhat exotic, but I haven't had any issues running Linux-native games through Steam. e.g. Chrome, Mathematica, and Zoom have all been easy to install too, the most I've had to tweak was replacing some of Zoom's bundled libraries in a previous version.

I agree for the general case, though; I'm hoping AppImage makes headway here; I'm not sure how it works with libGL, libEGL, etc., but my understanding is that for most libraries, it moves the "compatibility boundary" to the kernel's ABI. (I guess for libGL and friends, the use of glGetProcAddress etc shrink the compatibility boundary a bit too.)
If you want to see a game whose graphics are unbounded by consoles, take a look at Star Citizen. Yes, it's incomplete. Yes, it's buggy. Yes, it might be a microtransaction hoax. But damn, it looks good.

https://www.youtube.com/watch?v=nJ_9kli9gwU
If we are going with humour posts I just want to add this link as a reply:

https://youtu.be/WRWrmT0ovPE
why Kazakhstan and not US
> you will be better off investing into proper testing (I mean here code coverage)

Type safety and tests are completely orthogonal issues. Gary Bernhardt explains this really well:

https://www.destroyallsoftware.com/talks/ideology
Oh thank you! I very much agree. But I still, as a dev I often feel the urge to keep things simple and wish that I didn’t have to make so many tradeoffs between structure and layout.

It’s many little things, workarounds that pile up given a sufficiently complex/bespoke page. And each of them feel a little bit wrong. Especially when I have to „fix“ things via JS, which fortunately almost never happens anymore.
What are the best free SEO tools for Nonprofits
Surely it's reckmorely?
From private ownership accounting to commons accounting?
I use it mainly for fb groups 1. flat n flatmates groups - when moving to different city, this by far is the most efficient way to find genuine flats and flatmates (you can see the background profile of person which gives you some context). 2. to join niche communities like Notion group on fb.. kind people there helping each other out. I love hanging out there.
> I used to think CSS was complex and everything was a hack

I do web development only occasionally, so I'm not familiar with current best practices and rely on trying to mine the docs for what I'm trying to do and googling for it. I've always very strongly had the impression that while CSS was good at styling, it was hopeless at layout.

That changed with the introduction of flex and grid. Suddenly I'm able to use the layout I want without any real problems. CSS is now usable for both styling and layout.
> 5 years

If indeed 5 years suffices, Debian LTS may also be a candidate.
Strapi v3.4 with relational fields now displayed in the list view
I have so much I want to do, I can't see ever retiring until I'm forced to or they carry me out in a box. I work most every day on various projects. Vacations are dull, there's only so much running around and looking at things until I just want to get back to work.
The fact that these popups are contained within the frame of the website makes them less abusive, although it also makes it harder to dismiss them.
> I don't understand Facebook's concern.

That's OP's point. Facebook's concern is nothing to do with "protecting the poor little businesses". It's everything to do with protecting their own business. Because they know that opt-in will drastically reduce their ability to track.

But they can't say that. They can't put out an ad that says: "hey. We've been sucking up your data for years, without your informed consent. And we've made a ton of money from it. Now Apple wants to stop us doing that unless you're OK with it".

So instead they're pulling every lever they can to make Apple look like the bad guy while avoiding the truth. Hypocracy, exactly as OP says.

That they're stooping to these levels just emphasises how much they think the change is going to hurt them.
In this instance, I think it's used in parellel with "pivot towards a new passion" to demonstrate an absence of meaning. They both sound nice but don't convey practical information that a person could usefully act on.

More broadly, "time is a flat circle" was popularized in the first series of True Detective, but it originates in Neitzsche's doctrine of eternal recurrence, which was itself influenced by various western and eastern thinkers.

https://plato.stanford.edu/entries/nietzsche/#EterRecuSame
They certainly wouldn't want to be classified as banks. That would invite a whole lot of regulations, which they don't want. So they'll probably try to skirt the law for as long as possible on that front, just as PayPal had done.
In moderation, yes. As a career, definitely not.
A more suitable analogy to me would be - did Formula 1 kill off all other motor racing series? I don't think it did.

Do you feel like, because you couldn't beat a supercomputer there's no point in playing all the humans on the way towards competing at the highest levels? Also, was there much innovation left in the game even before the AIs took over? As a casual chess player I (probably naively) thought that the game had been explored pretty exhaustively already.

No sarcasm intended, as I said I'm strictly a casual player so I enjoy the game for the intellectual challenge and the social element, but all the upper echelon stuff is a mystery to me.
> Your second statement struck me, and I was curious how the manufacturing sectors compare for California vs Texas.

And Wall Street was great in New York until they moved to Florida, North Carolina, and Hawaii... and Oil headquarters were huge in California until they moved to Texas... and Big Auto was big in Michigan until they moved to the South and on and on.

What is so mind-boggling about all these people not seeing the trends is acting like what is is what has to be. There's no divine right for these companies to remain in California. It has a terrible business climate. Were it not for oil, agriculture, and defense in parts of CA the Bay Area loathes, there would be very little actual "stuff" produced in California. Software has no geographic attachment to the land like ag or oil, so there's no reason they have to be forced to the Central Valley. They can just leave.
I genuinely wonder what this means for the future of DeepMind. Is it supposed to be profitable or is it just R&D spending for Google? Where are the paths to profitability for them? Are they counting on more expensive GPT-4,5,6 APIs?
boring is key.

linux vm/dedicated (bare metal) server depending on the compute power I need

docker. plain docker. no kubernetes
django
htmx (the successor to intercoolerjs)
postgresql
traefik
pycharm as my IDE of choice
Scaleway, Hetzner, or DigitalOcean for hosting.

However, I now have some enterprise customers who want SSO. I will need to figure out how Keycloak fits in.

No remote storage like s3
No queues/streaming like kafka or rabbitmq (I use postgres for that)
I think we’ll leave this thread here, but if in the future you need to ask something from someone in good faith I would work on refining your wording a bit.
AppImage? What about snaps, or flatpak, or that new thing that came out just today XD
> We inherited a py2.7 codebase, written by one dev. It uses a library written also by that dev. We had absolutely no idea what worked how. Sure, looking at the code gave us a very rough big picture, but adding typing helps with the details.

I see how this could be helpful for legacy codebase - add typings, run mypy and see if it breaks. Good point - thanks.

How many lines of code that inherited codebase had btw?
Share your best cold email sequence (into and follow UPS)
For classical electromagnetic waves it's the relative position of the electric and magnetic fields. [1]

There is a difference to Zeno's paradox, as a sibling comment suggests the impossibility. For a flying arrow we can assume that it's motion is driven by Newton's law, which is a second order differential equation for the position. Therefore you can't use the position only for initial condition to solve the equation, ie. you can't decide where the arrow travels from a snapshot of time.

However the Maxwell equations that describe classical electromagnetism are a system of first order partial differential equations in terms of electric and magnetic fields. So if you know both the electric and magnetic fields everywhere at a given time point then in theory you can predict it at every future time points.

[1] https://en.wikipedia.org/wiki/Electromagnetic_radiation#/med...
Maybe it's not so much that it's impossible to do so. Perhaps there is just no reason to do so.

Sqlite is one of the most battle-tested pieces of software in the world. It's used "everywhere" and it's performant.

It is not the case, as some seem to believe, that rewriting software in Rust will magically eliminate all bugs and give a free speed boost compared to well-tested and optimised C.
Samsung, Sony, Xiaomi, LG will demand this feature if they sell less phones because people switch to apple. Or they will implement it by themself and gain an edge about competitors who don't have it.
> then why even play it at all?

Because it's been hyped. Because game sales is to a large extent about that pre-hype, not the gaming experience.

Publishers have (correctly) realized that the games themselves are following the same mechanics as in-game loot boxes.

You might also think that these poor/disappointing experiences would turn gamers off from buying the next game because they were burned the last time, but no that's not my experience either. The gamers disappointed about the release of AAA game 2018 from one studio, will happily buy the 2020 game on launch day from the same studio. And the studios know this.
Thanks for posting that link, it was a very interesting read. I'm a big fan of Rust, but that article really convinced me that C is the best language for SQLite. A couple of highlights IMO:

> 2. Safe programming languages solve the easy problems: memory leaks, use-after-free errors, array overruns, etc. Safe languages provide no help beyond ordinary C code in solving the rather more difficult problem of computing a correct answer to an SQL statement.

(My commentary) So SQLite development is at such a different level to normal application that the memory safety errors that are a concern for us mortals are the "easy" problems for SQLite developers!

> 5. Safe languages insert additional machine branches to do things like verify that array accesses are in-bounds. In correct code, those branches are never taken. That means that the machine code cannot be 100% branch tested, which is an important component of SQLite's quality strategy.

(My commentary) I don't really agree with this one: If a branch cannot possibly be taken then I don't think it counts towards your coverage percentage... just like, if you're careful never to dereference null pointers, you don't include dereferencing null pointers as a missing part of your test coverage. Still, I thought it was very interesting, especially since it's not quite the argument I was expecting (that those checks are wasted CPU time and binary bloat because they're not needed). (Edit: What's more, exactly this situation applies with SQLite's own ALWAYS() and NEVER() macros [1])

[1] https://sqlite.org/assert.html#different_behaviors_according...
This will break other tests because there is no logic here for reverting SomeClass back to it's previous behaviour. Use the patch function as a decorator or as a context.
The fact that Google and Facebook are doing so well, is proof that people generally do not care about privacy.
But what's the difference between Chess and if they stopped updating League of Legends? Even as an esports fan I find odd how much value people place on a game.
Those weren’t using SVN, though, I don’t think. I can’t remember the name of the version control system they used, but it was some custom license of a proprietary system. Clear-case, maybe? Anyway, it was a nuisance, and I imagine the move to git was both a money saver and ultimately (once all of the migration pain and missing capabilities had been addressed) a nicer dev experience.
Is this link still valid? It says the invite is invalid.
I have zero faith that a significant proportion of consumers will switch to iOS solely for privacy reasons. We've seen time and again that mainstream consumers would gladly surrender all their private info if it saves them $100.
I don't get this line of thinking at all. It seems like such a random goalpoast. Why does it matter if the computer is better? If you're an 1800 rated player, you're still so far behind the best humans that it's irrelevant. Or why care if a computer has examined some similar positions before? As an amateur the positions won't be novel in qny way anyway.
No more human innovation is blatantly false. If anything, computers have led to lots of new ways to play. And humans play humans, what a computer would do in a position is irrelevant.
One more StumbleUpon experience: https://weirdweb.netlify.app/

Mostly web dev stunning experiments
> There's EPUB, but it has some shortcomings, like the lack of mp4/webm support...

As a PDF replacement, that seems like a good feature to exclude