skysight-inc/HackerNews huggingface dataset:
It doesn’t make sense to have your build tool call another build tool to actually perform the build. In that case, why I would not just use Gradle directly?
Its not even a CMS. Its a newsletter distribution business, funded by VC money and overvalued. They are laying off staff now :-(
> MP3 player UX has ever been comparable to what Spotify offers nowadays.

You might have different experiences to me.

My iPod was never a distraction whilst driving in the way that Spotify, with it's manifold failure modes and inconsistent/unresponsive UX, can be.

With depressing regularity I drive without either music or podcasts because that's preferable to dying (or killing someone else) in a car crash because I'm fussing with Spotify after it's crapped out in some weird way yet again.

Again, not a problem I ever had with my iPod. I know they do crash occasionally - happened to a friend - but I can't remember a single incident in the 7 - 8 years I used mine regularly (multiple hours, every day) where it crashed.

Spotify is terrible software to the point of being dangerous. I can't see how that is desirable UX.
Based on my weekend hacking, CI experience has been the same for me. But MRs loaded up much faster.

Disclosure: GitLab team member, but I was hacking on side projects last weekend.
In defence of 'security' screws, they are commonly used in applications where it is a regulatory requirement to make it impossible to open an enclosure with common tools, such as power bricks which have exposed mains wiring inside. They are a great compromise here, as they can satisfy the certification authorities while still being accessible to a motivated end user with an amazon driver kit.
It's kinda funny, because you could say exactly the same about object-oriented programming as a discipline.

In functional programming the jargon might be foreign, but they correspond with the math they came from. You also have clear rules and clear situations where you can apply all those things.

In object orientation, however, we have mostly made-up jargon (from patterns and from SOLID), the "rules" for the application of those are completely fuzzy, arbitrary and broken most of the time, and even the categorisation of those is mostly made-up. It's pseudoscientific-mumbo-jumbo compared to Monads and other FP silly-named stuff.
It's being marketed as good for the customer, but in reality the reason they're doing it is to reduce fraud and so that they can much more efficiently track the letters for their own purposes. One way this helps for example, is that once you've scanned the letter and figured out the address it is going to, from that point onwards you can just scan the QR code and look up the address from a database. I bet the equipment to scan the actual address is much less efficient than just scanning the QR code. Also it means they can track the exact route of letters from source to destination, rather than only seeing aggregate statistics.
The author could have probably shed a tad more light on why they feel music apps (spotify et al) are bad. I agree with them though - these apps are atrocious to use, and seem to be continually getting worse. Some of my ongoing complaints about spotify are the following:

* Offline mode still doesn't work properly, after literally years of development. If you lose connection while streaming and want to switch to your 'downloaded albums'? Nope, the app will hang on a blank screen or crash. As londoner, this means spotify basically doesn't work on the tube at all - again, _even in offline-mode_.

* App will generally blank screen, hang, or crash semi-regularly for no apparent reason at least a couple times a day.

* Audio quality is awful. The default is 96kbps, which I believe even the most untrained listening can hear the crumminess of.

* Tons of missing music, even from mainstream artists.

* UI makes it difficult to navigate playlists <-> artist <-> song <-> album, traversing the hierarchy of music associations

* UI prioritises pushing podcast & other unwanted commercial content at you, make it difficult to find what you want and navigate the library

Then you've got the scumminess of the company itself that you alluded to (not paying artists, toxic corporate politics, etc).
Germany Faces Collapse of Entire Industries on Russian Gas Supply Cuts
I had the same thing happen with Deliveroo despite being a "volume customer" ordering multiple times per day and providing proof of the wrong orders every time the app asks.

My conclusion is that these services are based on the idea that the customer will "eat" (pun intended) a certain amount of wrong or missing orders. Completely illegal and in breach of card network regulations (I won a chargeback against Uber for the same reason) but the law doesn't apply to big companies.
Looks a lot like Hypothesis https://web.hypothes.is/ which is not only for PDF but also for any web page with a url.

Apparently the whole annotation thing is a W3C standard https://web.hypothes.is/blog/annotation-is-now-a-web-standar... but you know how these things go...
you have restored your streak with money. if its worth money to you, get the super duolingo offering and dont be bothered with it at all.

*once you have a one year streak, you become VIP which means you can 5 days of "vacation" instead of the usual 1. so thats 5 days that recharge once a month. In order to present the number of streaks that this guy has in his screenshots you will need to spend "gems" or "money" whichevever comes more easy to you.

So yeah, its nice that after investing time every day for one year, i get to get a week off in between ;)
Metaverse Land: What Makes Digital Real Estate Valuable
Plan9 has basically invented the idea of namespaces, which are fundamental building blocks of containers. Plan9 also invented 9P file protocol which is used in WSL2.

Plan9 is the ultimate distributed OS. Running programs on different computers is as easy as mounting a remote /dev/cpu file to your process' namespace. Virtual desktop is as easy as mounting /dev/draw. And so on. Many such complicated things that require ad-hoc solutions on Linux are solved on a fundamental level in Plan9.

I wouldn't say that it's going full steam ahead, since its use in the modern world is fairly limited, but the ideas were there, and they have influenced the development of Linux.
what is sarcasm???
Using WhatsApp as an example of a lean engineering org should almost be banned at this point. WhatsApp had a high performing engineering team that used basically the perfect set of tools to build their application (which also had a narrow feature scope; plaintext messaging). Even with hindsight there is very little you could do to improve on how they executed.

Just because WhatsApp scaled to almost half a billion users with a small engineering team doesn't mean that's the standard, or even achievable, for almost all teams.
What it is, is a low-level abstraction that probably wants something over the top of it to hide the messy details. I don't think anyone's really cracked that yet.
I maintain a free, open source, fast paced shooter that really only works with <100ms pings. To this end I have a dozen servers around the globe. Each server runs a docker-compose with four instances of the game server (each for 24 players), along with some auxiliary services that do things like download updates, upload match demos and statistics.

I frequently need to re-provision new servers and close existing ones.

I've been doing all this with the help of docker-machine (now deprecated), and a collection of handy bash scripts. While this has worked, it's become more and more fragile and I need something better.

For years I've resisted Kubernetes because I keep hearing "premature optimisation", but at this point I'm not sure I have any other options. So before I dive head-long into Kuburnetes by what feels like necessity, how else could I possibly:
- Push button provisioning of new hosts across a number of cloud providers
- Monitoring so I can restart services under certain conditions.
- Notification of failures etc.
- Automatic / continuous deployment across all servers and regions.
I always regarded Pozidriv to be a joke, a homeopathic design.
Does it _really_ does better than Philipps? On paper, yeah. Does it feel in the real world like that? Nope, not at all.

Torx all the way!
Yes but it wouldn't be ideal since you wouldn't be able to turn them on and off, or switch between multiple subtitles.
A product type, named after Cartesian product, contains other objects of various types, but it is none of A, B or C itself.

If types A, B and C have respectively a, b and c distinct values, their sum type has a+b+c values (each value of each type is allowed) and their product type has abc values (the part of the value that belongs to each type can be chosen independently).
Btw, that "chain" function is available natively in Javascript, as "flatMap". Monads aren't as mysterious as we make them look.
Apple’s own iOS apps use storyboards.
Why not tidal and Sony Xperia/ LG v60? Dolby atmos, Sony 360, and mqa
Nobody could have predicted this
Femicom is home to the most complete information about the Casio Loopy
RIP Boeing
> * the real problem is getting the bloody things out again after 10 years of weathering or other age effects. *

Try putting grease on thread as you drive it in. 90% or so of the bolts and coach screws i've removed from hardwood or treated pine are reusable after 15-20 yrs in Oz climate. They were all greased up by my dad going in. The ones that failed are rusted badly & the grease wasn't coated around the shaft. The good ones have signs of corrosion (we use galvanised), but essence of grease and the thread is still there.

We don't use Pozi, but use hex drivers (coach screws & bolts) or their negative female equivalent (bugles), which an allen key fits into. We also pre drill holes.
I'm pretty sure the "kubernetes is hell" proponents were always just a vocal minority. But as always technology choices have to be made in the context of each business (available experience etc).
Very thoughtfully written. I can see the part at the bottom about breaking the stronghold of Facebook. Ah the lofty dreams. Twitter, Mastadon, etc. Not sure if the dreams will ever become reality but love the idea of a federated micro blogging site that's both open source and mainstream.
So, what is this even? Site doesn't tell much. From what I've gathered it's dreamweaver meets wix meets wordpress?
Works well, or just barely? Because the last time I checked it still had highly annoying 500ms lag and would sometimes miss screen updates.
"What is Helix?" is the 4th question in FAQ page: https://www.hlx.live/docs/faq

There's really something wrong if you have to put a question to FAQ list to tell what your product is and that question is not the first one in the list.
It depends.

If you do server-side rendering with something like nextjs, then its quite a lot of code.

With trpc you can share types without going through an intermediary schema language (https://trpc.io/) although I think it would've still benefitted from separating the schema from the implementation (hope you don't forget the type specifier and import your backend into your frontend by accident)

For business logic as always the anwwer is "it depends". Does your app benefit from zero-latency business logic updates? Do you need rich "work offline" functionality combined with a rich "run automation while I'm away" for the same processes? etc.
Endpoint Security isn't usable for this. It's meant as a stable API for virus scanners, basically.

The sandboxing API is internal, but, Chrome uses it extensively. So Apple is limited in how much they can break it, otherwise new macOS versions can't run Chrome.
That wares off if they have decent PR processes, and mentors.

I write elixir that smells like rails, but as the months move on, I change.
For sure, there is power at the cost of agility!

I've seen cases where we started off as simply as possible with no k8's. We built the initial product really quickly using a ton of managed services. Whilst it was great to get us going, once we hit "growth" things just didn't scale. (1) The cost of cloud was getting astronomical for us (and growing with each new deployment) and (2) it was totally inflexible (whether that be wanting to deploy in a different cloud, or extend the platform's featureset) because we didn't own the underlying service.

We ended up porting everything to k8's. That was a long & arduous process but it gave us total flexibility at significant cost savings. The benefits were great, but not everyone has access to the engineers/skillset needed to be successful with k8's.

That's why we built Plural.sh – it takes the hard work out of k8's deployments. I've seen people go from zero to a full production deployment of a datastack on k8's in just 2 weeks. It deploys in your cloud, and you own the underlying infra and conf so you have total control of it. And because we believe in being open, you can eject your stack out of plural if you don't like it and keep everything running.

Great post, and hope all is well with you!
I'm not saying it's impossible to sell software with one-time payment model, I'm saying it's noticeably harder. There's always going to be companies that make do with such business models, but what's the ratio of successful companies with one-time payment out of all companies that have tried that? How does that compare with companies that go for subscription model (or ad-supported model)?

And are there any behemoths (i.e., hugely profitable companies) that do one-time payment software? Because as far as I know Microsoft would have been one of the few or only such cases (and obviously it only applies to a subset of their products, many others are using other business models) and they are also moving towards a subscription model, e.g., for Office, which considering they probably have a legion of financial analysts, accountants, etc. I assume they have done their due diligence to figure out it's worth it.
Thanks Adobe, 3 minutes of my life wasted to figure out that you have converted the bounce rate, after 2 second page load hesitation, to epic ragequit after 3 minutes of having to go through developper documentation to figure out whats the actual, tangible and practical experience you are trying to sell.
Nice explanation! As an aside, I wonder how the illustrations and diagrams are animated. What tools are used for this kind of content? I genuinely don't know.
Yeah, getting an account on those two sites, in particular, without knowing someone would be tough. HDB is the only other one I can really think of like that, though. Most others are relatively straightforward, with passive time often being the only real requirement (e.g., the most sought-after anime tracker is basically "have an account on --insert site-- for 12 months without getting banned").

In those cases, anyone who wants an account is probably best off just having conversations and meeting new people on IRC/forums of some of these trackers. Both of those sites have a lot of active accounts, so with a bit of mingling, you'll befriend someone who can invite, plus you get to meet interesting characters along the way.

But yeah, I don't envy anyone actively trying to get an account on PTP/BTN. It takes a long time to build up the credits to invite someone, and more importantly, given things like tree bans when someone does some serious offense, you don't want to invite just any stranger.

I think that is the aspect I like the least about private trackers; as a whole, the scene can be a bit elitist and unwelcoming towards new users. I get that it is a difficult balance to maintain, though. On much less important forums, the ban evasion problems are already bad enough as it is, so I can't imagine moderating a place like PTP.
Why on Github?
It was a nice option to have, because normally it seems we would've paid like 50 euros or something to get around for three days. But it was weird that the tickets reset on the 1st of the month, so we had to buy two of them because of unlucky timing.
as european i am not entirely convinced that it makes sense to have hundreds of companies providing the same heavily regulated service.

if there were too few of those i would probably also object.

idk about the situation where there are no private companies involved at all and the government takes over healthcare top to bottom because on the one hand i see a massive problem with for profit healtcare as it is and on the other hand i can see how incentives would wither away if there is no drive for efficiency at all.
I'm using the Zalando one. It only took a couple of hours to get it running (first time running it) and integrated in graphana. Includes incremental backups to S3. It really feels like a cloud independent managed database.
Unity’s global menu system was wonderful and once getting used to how well it used vertical space switching to gnome was like going back 10 years. Seeing multiple empty bars across the screen makes it completely unusable to me not to mention their need to replace simple menus with seemingly random icons scattered everywhere. I’m using kde plasma now with a global menu set up. It’s good but isn’t as hassle free as Unity was.

I’m really sad that canonical abandoned Unity. It was so easy to use and was really easy to recommend to people. I think it was a case of an extremely loud minority who weren’t even using it that contributed to canonical abandoning it.
> Also, pretty embarrassing that this was published by University of Chicago and not the University of Washington meteorology department. I guess the relevant UW profs should spend more time doing research and less time complaining about “wokism” or whatever nonsense they’re on about this week.

Almost as embarrassing as thinking the University of Washington wouldn't have hundreds of people studying this.

https://www.google.com/search?ie=UTF-8&oe=UTF-8&sourceid=nav...
Yes from BER, it was an IC, but we didn't actually need to go to another city, it just happened to stop near where we were going in Berlin and be the fastest way to get there (first option that navigation apps suggested).
Ended up fine, just got on some slower train that was fine for those tickets.
What does migrating into Saas mean? Those are two different concepts
OpenRent | London, UK | Full-Time | ONSITE+PART REMOTE | https://www.openrent.co.uk

What sucked the last time you rented a house or flat? Come and fix it.

OpenRent is a force for good in an industry tarnished by rip-off agencies. Enabled by an unrelenting focus on technology, we now let more properties than any agency in the UK. In the last 12m we let over £45 billion worth of property, to over 4 million registered users, without ever charging any admin fees.

You'll be working on things that vary from machine learning models to predict the right price of a property, to the future of property management, all to help tenants find their dream home, and landlords their ideal tenant.

We're VC backed, profitable, and have plenty of ambition to maintain our fast growth in this absolutely massive market.

We're looking for people with a passion for solving real-world problems. You'll be working in a close-knit team, directly with the founders. You'll have full autonomy to work on, and figure out how best to solve, the biggest problems in the industry. We find problems and improve customer experiences via code every day.

We have a bunch of roles available at the moment and keen to find great people like you!

- Full Stack Web Developer (C#) | All Levels | Equity Available | £35k-£150k (based on experience) + Quarterly Bonus

- Customer Experience & Product Development

All roles visible here: https://www.openrent.co.uk/jobs

OpenRent is already impacting millions of tenants and landlords each year, join us and make every tenancy better than the last.
I guess you could also say that the world is made of state, state transitions and state derivations, and functional programming does a great job of making the latter two reliable.
Parental oversight is the only solution to technology-based ethics issues of this nature.

The OS vendors need to have their feet held to the flame until they produce parent-friendly interfaces that allow oversight of what their children are doing with their devices.

Regular inspection and attention to your kids is key to raising them to be safe from these dangers. It is the child left in the dark corners of the room with nothing but a world of strangers influencing their minds that is the problem.

OS vendors: give parents better tools, or face the repercussions for the insane generation the current broken tools are producing.
AsmBB v2.9 (2021)
There is a violence filter enabled by default that might cause that issue. Could also just be a tough query - good test!
Nah, depositors should just use smart contracts to ensure they don't get screwed. /s
I think the set of cases where "we need to scale up rapidly if it succeeds" and "Kubernetes solves all of our scaling needs and we aren't going to have problems with other components" is almost empty. On the other hand, there are quite a lot of startups that fail because they put too much focus on the infrastructure and Kubernetes and the future and too little on the actual product for the users. Which is the point of the article, I think. Ultimately what matters is whether you sell your product or not.
Modelling Distributed Locking in TLA+
I’ve asked GPT-3 to generates hex colour palettes and it worked
formal verification is about functionality, not about your emotions.
"The idea" practically, is whatever resolves the polymorphism. So context is a compiler function from syntax->semantics.

Eg., `+` is polymorphic, `1 + 1` and `"1" + "1"`... the context is whatever implicitly resolves `+` to `ADD` or to `CONCAT`.

The utility of these ideas is, in practice, just they provide a syntax for different kinds of polymorphism. Eg., for monads, we're basically just telling the compiler to change its implementation of `;`
Then why did it tell me too many characters when I copied and pasted directly from the PDF?

(Feel free to try to replicate it. I actually spent a few minutes playing with ellipsises to find a different way to chop it.)
The easiest way is to just compare what your actual public ip address is (e.g. using `curl ifconfig.me`) and what actually configured as WAN ip address in your router/modem. If it doesn't match, you're likely behind a CGNAT.
I’d say that the title is a bit ambiguous, but I wouldn’t call it misleading, I’m almost certain that there wasn’t any attempt to mislead here.

And just to add a datapoint, for me it was perfectly clear what the article would be about.
This. At my current company any blockers that need more than a minute discussion inline get moved to an optional "parking lot" session at the end of standup. The point of this isn't to deepdive but just give a people a bit more support by ensuring there's a plan in place to either solve or further discuss the issue. I've found this really useful, but you need some discipline to not deepdive the parking lot - although sometimes if your team is desperately in need of more alignment, just do it. People not process, and all that :)
Glasnost
Yes.

There’s a great YouTube view about exactly this by Stand Up Maths if you want to go down a rabbit hole.

https://youtube.com/watch?v=3cNdM7W0VlQ
Monads themselves aren't really contagious, it's the actions that would otherwise have side-effects that are, and also the fact they have to be executed in sequence.

This is also true for other things in other paradigms, such as async functions in javascript.

This is a good thing, however. In imperative programming, you have invisible temporal coupling. In pure-FP you have the same coupling, but it's exposed.