skysight-inc/HackerNews huggingface dataset:
There are so many ways to do OKRs poorly, and I've seen many. I love the book in theory, but when I saw OKRs in practice, every company implemented this poorly.

> Let's not have objectives just yet, we are not ready to communicate our goals yet with you, let's come up with key results... More like tasks, really just Jira tickets, our team already had to commit with management for the next year, we have a release plan and everything, so there is very little wiggle room there.

> And please, don't ask about any of those goals, you are just a code monkey, and you weren't there at all the meetings, but trust us, it's the most important and impactful thing we can do...

> Anyway, What's in the next 6 sprints? Let's just put them somehow in this OKR spreadsheet. Let's hope we don't need to change anything in the next sprint...

> Hmm, alright, it looks like we have some space there, let's come up with 2-3 extra projects that realistically would need a team effort and a month focused work to complete, but you will do it on your own... Just remember that you should only work on items in the sprint, and the next 12 sprints are already planned, and we can't add your tasks to any of the sprints. You also need to convince the team that it's important, but please don't bother the team with your tasks, they will lose focus on sprint items.

> I remember the book said something about something-something measurable. Unfortunately, no matter how many analysts we hire, they all quit around 3-4 months after they join, I wonder why that is. Anyway, we don't really have "numbers", so we can't come up with metrics, and we can't measure our success in any way, and we don't know whether gigantic projects bring any improvement at all.

> Oh, and I'm pretty sure I will not be your boss, whoops, sorry, "competency lead" in three months because I'm actively interviewing to get out of here. Cheerio!
[Citation needed]

https://www.gimp.org/ still describes it as the GNU Image Manipulation Program in the <title>, in giant all caps letters at the top, and a third time at the center of the first screenfull of the main page ("This is the official website of the GNU Image Manipulation Program (GIMP)."). https://www.gimp.org/about/ also links to the GNU Project under "Important GIMP Links."
Tesla removed from S&P 500 ESG index on autopilot, discrimination concerns
I know there's a lot of power there. Whatsapp was written in OTP and had something like half the world using it with a development team of maybe 12.

I'm glad to hear the community is bigger than what I found. I don't actually remember that search process. What I remember clearest was running into the brick wall of the OTP documentation.
I want to consume but I don’t have enough money in my bank account.
I figure Java has been unfashionable for 10+ years. The applet boom was a long time ago.
Ah yes, the good ol' days of content farms copying from stack overflow, or did you mean the good ol' days of buying back links? Or the good ol' days of web rings?

Let's face it, the heyday of honest results are just as mythical as the political "good ol' days".
App passwords are only available for 2fa enabled accounts, while OAUTH is available for everyone. So far I didn't get a clear answer if "the end of less secure authentication methods" means the end of app passwords as well, or only the end of signing into IMAP with your main google credentials.
I'm curious about the performance compared to something like, say, the RTX 3070.
While I want to execute the idea I am always put off by the essential administrative stuff such as user management, payment gateway linking, subscription management.

Are there any open source plug and play options available out there which can take away this tedious but important work?
I think the extent to which "Americans consider voter ID excluding" is highly politicized and debatable.

ID is required for many things. Off the top of my head I've had to show ID to get into bars or buy alcohol, rent a car, drive, doctor visit, picking up kids at school, R rated movies, at the bank, opening a crypto account, opening a Robinhood account, when I need to prove my identity at work - and probably many other times. You need an ID for many random things in life and somehow that's not exclusionary.

I've just googled to see what percentage of American adults have ID and I saw percentages in the high 90's. Though, these survey results are a bit confused with some surveys excluding expired results or being strictly "driver's licenses" versus any government photo ID or counting people who "don't know" or decline to answer as not having ID.

I haven't voted in a long time, but the last time I did - I think they just asked me what my name is and I didn't show any kind of ID. They then check if the name you gave is on their list of voters. If it is, you get a ballot, and they check that name off the list. If it's not you get a provisional ballot and who knows what happens to that.

All this is to say that the politicians who believe voter ID would reduce their share of the vote consider it exclusionary. Politicians who believe voter ID would increase their share of the vote do not.
This is very similar to my schedule right now. Everything gets done. I don't feel burnt out. I'm actually able to feel healthy because I can workout during the day. It's great and no one gives a shit as long as I'm doing well.

In fact, it's much better for the company in the long run because I'm likely to stay for more than a few years because I actually enjoy my wlb.
This is pretty common knowledge if you have any experience working with kubernetes.

Some less common knowledge:
Do your pre-startup config with a shell script and then `exec` your process.
If you need some sort of process manager, use supervisord and configure stdout/stderr capture and forwarding. Supervisord will do anything you need from init in a container.

If you're running a jvm in the container, set the dns cache ttl in the java security config.

Sometimes it's very useful to include a preStop hook that will end your process and then sleep for N seconds so that your process unbinds its listening socket and then for a period of time the pod will respond to incoming SYNs with a RST. So your upstream app doesn't sit there waiting on a timeout because for various reasons it still made new connection attempts despite the pod being removed from the service endpoints or w/e.

Fix your resolver configs. ndots. timeout. retry. Remove all the hosts search domains by setting `--resolv-conf=/dev/null` in your kubelet options. Then set dnsConfig.options in your pod spec. While you're at it, set `--allowed-unsafe-sysctls 'net.ipv4.tcp.keepalive*'` so you can configure your pods with sane values. Update pod spec with securityContext.sysctls to set the per pod values. Update the kubelet before applying that pod spec because lol if you don't... (your pods do not inherit these values from the host! So if you think you've set them, you're probably wrong.)
> I definitely think there's an advertising bubble and it's popping.

This is something I’ve been thinking about a decent amount over the past few years. Advertising is the cash cow that underpins a good chunk of tech firms’ value. But the purpose of advertising, ultimately, is to drive sales of real goods and services.

Are those tech firms really driving actual consumption to a degree that justifies their value? I suppose it’s possible, but the massive growth in tech firm valuation doesn’t seem to be paralleled by massive growth in the “real” economy.
Software Foundations is always a great place to start! (https://softwarefoundations.cis.upenn.edu/) It uses Coq not Isabelle, but it's a great starting point and contains a ton of useful information. The book is one large literate program, so it's easy to follow along and do the exercises.
Or technically, or numerically sufficient assets, but based on a subjective (if not controversial) interpretation of the value of those assets.
I believe Nomad is hailed as the replacement: https://github.com/hashicorp/nomad#readme

I would caution one against "javascript framework syndrome:" bah, this framework is too complicated, I just want something simpler ... ok, it doesn't work right in all circumstances, I'll just add this one feature(, ... ok, maybe just this one other feature)+ ... bah, this framework is too complicated!
Yeah, doesn't seem different from browsers in this case. Malware apps known to misuse sideloading usually seem to come from different categories like torches/cameras/social apps. There should be an exception for file managers and browsers.
> We train our proposed system on 8 NVIDIA V100 GPUs with 32G memory

Sounds like openly reproducing this result is within independent researchers’ reach.
This is by far the most useless advice I have ever seen.
You could use `git add -p`

It lets you stage individual changes inside files instead of the whole file.
Container inits don't magically get you clean shutdown if your application doesn't handle SIGTERM, it just gets you, let's say, fast shutdown. (And "fast", if you're not going to shutdown cleanly, might be much worse!) If you don't want connection issues you'll still need to write a SIGTERM handler, and then you don't need the container init anymore.

And "many" is kind of a cop-out word; yes, I'm sure by absolute number it's a lot but:

- If you're in e.g. Go, you spawn thousands of child green threads but it's trivial to route a SIGTERMable context into all of them and wait for only the relevant ones.

- If you're in e.g. Python, you'll be running in an application server that handles it and you're probably not spawning many threads yourself because it's usually pointless.

- If you're any piece of software written to run outside of containers, that's also what non-container environments have used for decades to handle smooth upgrades.

- etc. for other common cases in the end, "spawning threads" is no excuse for not handling clean listener shutdown and seems to be more about how "Unix-like" the application is and not threading - e.g. old Java programs tend to be worst in my experience.

I've used tini et al mostly when putting entire legacy environments (e.g. nginx+PHP+memcache+mysqld) into a single container with a hacky shell script around them because we needed them off bare metal yesterday but there's no dev resources to properly adapt the application. There's definitely "many" of those in the world, but it doesn't speak to picking tooling to support that by default.
Along with hooking into as many subscriptions as possible.
One question for GUI folks. Comparing to the classic RAD tools such as VB and Delphi, does QT match the efficiency and easy-to-use? Appreciate any insight.
I always had the feeling Dennis was just going along with the bit.
Probably supposed to be referencing the text under the plot stating the specific configuration of the hardware and software.
I'm not sure on your exact timeline, but the documentation has also seen several upgrades.

For example, see the "telemetry" library, written in Erlang and published to the Hex repository. Its documentation is built using the Elixir-based ex_doc https://hexdocs.pm/telemetry/readme.html
Is there a player similar to raspotify which uses librespot-java?
> Almost exclusively, really?

Don't take it from me, take it from Wikipedia. ;-)

"By 2021, woke had become used almost exclusively as a pejorative, with most prominent usages of the word taking place in a disparaging context." https://en.wikipedia.org/wiki/Woke#Woke_as_a_pejorative_term

> Why is that such a concern to you?

I wouldn't say it's a concern. It's an observation.
Lessons learned from interviewing 100 founders about fundraising
In 2021 I interviewed 100+ founders about fundraising for my side project. I learned a lot and decided to put everything into one Notion page — 8 guides, 10+ templates, and 20+ tools.

I spent 5+ months writing articles and putting all this together. And I will continue adding new things so let me know if I missed something.

Hope you enjoy if you are fundraising!
I heavily advise AGAINST not using CI. If properly applied it solves .gitignore mistakes and many more, made by those infamous junior devs. On second thought, not just juniors. Oh well.
P.S. Tether is USDT — can't just tell them they're wrong, help them be right!
Specifically, eating sources of ecdysteroids like Spinach, Quinoa, Masal Root, etc. These are anabolic but do not have any androgenic side effects like conventional steroids.

The Popeye spinach meme is real.

I suppose if you come from a culture that eats insects you could also get a large amount of these compounds.

https://en.wikipedia.org/wiki/Ecdysteroid
Nice results! But why are people still reporting benchmark results on VGG? Does anybody actually use this network anymore?

Better would be mobilenets or efficientNets or NFNets or vision transformers or almost anything that's come out in the 8 years since VGG was published (great work it was at the time!).
Ha. I refuse to play the game. I set my slack to away the day I start and never turn it back to green. I've done this at every job during the pandemic. The stupid green bubble vs gray or yellow or whatever is a form of always being at your desk micro management and it isnt productive.

I'll happily explain that to anyone who asks but I've only had a few people ask. Again, if you get your work done most people dont give a shit.
It is a google problem as well as a web problem.
Make up your mind: are you complaining that MillerAutoPlaza is in the Google search results, or that MillerAutoPlaza is asking for your location?
> When Salesforce bought Heroku back in 2011, it was pretty clear Heroku would become yet another dead product that once was an absolute great piece of software.

That feels like a angsty-tinted view. I recall the day it happened. The Ruby dev shop I was at was optimistically nervous. As Heroku had been a shiny new thing and only deployed Ruby. Acquisition allowed them to expand and support other languages. They didn't even have pipelines!

https://techcrunch.com/2010/12/08/breaking-salesforce-buys-h...
You're conflating workload related issues (which is what I responded to) and manufacturing defects / electron weirdness.

Using GPUs for mining doesn't destroy them any more than using GPUs to render p0rn videos doesn't destroy them.
I disagree with it too but I don't think your argument is good enough. They're arrested for joining the terrorist group which not only signals intention but means and possibly opportunity to carry out actions.

Your questions are about an action and a desire (or intention), not about ideas. Your last sentence was acknowledged and addressed by their post I think...
That just depends on how the client consumes it. I'm the developer of Kavita and our reader doesn't download the epub at all. We read one page of the epub and rewrite the html and send it to the UI to be rendered. This way it loads like a normal html page (without having the iframe mess), images can load later, Javascript can still work within it, etc.

https://kavitareader.com for those interested.
Low. Apple doesn't have matrix math accelerators in their current GPUs.

The neural engine is small and inference only. It's also only exposed by a far higher level interface, CoreML.

Where it could still make sense is if you have a small VRAM pool on the dGPU and a big one on the M1, but with the price of a Mac, not sure that makes a lot of sense either in most scenarios compared to paying for a big dGPU.
Right. Panels are so cheap now that, unless you are limited in how many panels you can physically install, lower efficiency just means another panel. Even then, maybe you cant a pair of them in place of one so one picks up morning light, and the other afternoon.
Where’s the trees? Gathering and using timber in Neolithic Orkney
Does speed up refer to absolute value or percentage?
Billing systems are a nightmare for engineers
Orbit acquires Hoopy to expand its DevRel offerings
The Ness of Brodgar: Uncovering Orkney’s Neolithic Heart
It's not exactly best practice to store passwords in version control.
Honestly, it feels inaccurate to call any modern programming language slow. Most are remarkably performant in the vast majority of cases. I’d be quick to yield that if your going for the bare minimum of latency, Python is likely not the right choice, but it feels a bit unfair to say Python is slow.

I will say that I agree with the sentiment of your comment: if your main focus is speed, you won’t be using Python, and if you’re using Python, you likely don’t care about speed.
I had a manager like this. I eventually got some software to keep my computer awake/active from 7am-7pm. It was stupid.
And I can't fathom why anyone would prefer to declare fundamental components of their proof using identifiers as terse as this:

nominal_datatype fm =
Mem tm tm (infixr "IN" 150)
| Eq tm tm (infixr "EQ" 150)
| Disj fm fm (infixr "OR" 130)
| Neg fm
| Ex x::name f::fm binds x in f

These are not pencil-paper formula notation, they are declarations of named entities, and they don't need to. be so terse.
100%! I have to set goals at the beginning of the year but so far every time priorities changed and the goals became deprioritized or obsolete quickly. And at the end of the year I have to map my achievements into categories like "increase market share" or "fuel international growth". My work is so far away from these things that it makes no sense at all.

I can see this working for VP and higher who have a multi year perspective and can changes things as needed, but for lower ranks it makes no sense.

The only realistic goal for my work is "Keep the f...ing system running and enhance as needed"
Bronze Age women led change in Orkney
> We don't know if the task is impossible because Google has no incentive to do it at all,

On the other hand, they have an incentive - increased competition, they can still monetize better pages, search is what makes them money.
> But that's not anything any single company can do much about.

Well, one company can certainly make it worse, by e.g. ignoring years of API ergonomics around process spawning and give you a vaguely-specified "command" string, then pumping VC money into their marketing budget to make themselves an "indispensable" daily tool.

(Mostly I agree with you - just want to point out that in addition to the necessary complexity, the tooling around it also produces a lot of unnecessarily wrong-by-default behavior.)
Recent discussion:

https://news.ycombinator.com/item?id=31143327
> all crypto holdings are at risk

Of what, a few months of a 50% dip? Look at the chart, we've seen all of this before.
I miss when those settings were separate from "screen time". They were much simpler. Screen Time's more flexible but takes a lot more effort to set up, and I'm never sure I've gotten it all the way I want.
We’re used to free because google decided free was the answer and they had so much clout, no other answer could compete. Now that their time is ending there will be room for other answers.
Ask HN: If Web3 just a P2P database is it incapable of fulfilling its promise?
HN had an article about how web3 is just an expensive p2p [1]. If that is the case then its core promise - of an internet where content is owned by its creators, can't be held hostage by tech oligarchs and can be moved anywhere its creator wants, is impossible to fulfill from the start. The data will have to be created by apps that are going to be coded by tech companies. What is from stoping them from adding data to the blockchain in a proprietary format? Won't that defeat the core promise? But then I can't reconcile it with the ebullient shower of praise by the likes of A16Z[2]. What am I missing in trying to understand web3?

[1] https://netfuture.ch/2022/05/web3-is-just-expensive-p2p/
[2] https://a16z.com/wp-content/uploads/2022/05/state-of-crypto-2022_a16z-crypto.pdf?utm_source=tldrnewsletter
really hope to see some comparisons with nvidia gpus!
It's a little sad we have to '.edu' filter searches just to not be directed to SEO sites at this point. Kagi's and You.com's searches are really smooth and painless from this perspective. You.com also has built in site filtering which helps a ton.
"I was sort of disappointed management didn't follow up and ask him to perform for us all at the end of the quarter."

that would have been pretty cool and given me lots of respect for management.
Looks great, thanks for this!
Doesn’t DuckDuckGo use bing for the search backend?
How was it working for Spotify? They are kind of an interesting company for me
From a security standpoint, it seems something like this being vetted on the app store is safer than forcing users to download from a browser.

I wonder if this is specifically about anti-competitiveness, or placating governmental censors, or something else.
I think some of it also comes from the IRA and PLO, as well as various other European independence groups such as ETA having a lot of similar backers and similar problems to solve and so working with each other. The Soviet Union, Libya, Castro, etc backed them all and to some extent they helped each other out.
The main problem I've seen with OKRs in a technical setting is that they haven't accounted for steady state support, or sudden urgent issues.

Both of those make up important work that has to be done in a timeframe shorter than the OKR reporting period.

As a result important work goes untracked, and completeness of KRs are affected since people had to focus on "unexpected" issues instead.

A compounding effect is burnout because a persons OKR workload and review process doesn't accurately reflect the day-to-day work that they did. Heroics are needed to avoid people higher up the management ladder seeing unfinished work under your name.
Don't be too hard on yourself. Over the years I've come across a few folks who never figure out how not to smash their thumb with that hammer (and never figure out that what they need is a screwdriver).
I've seen more than once recently an engineer saying that software solutions outside of the Serverless ecosystem (FaaS, DB, etc) is "the new legacy". And that cloud providers have solved all the pains that Erlang was supposed to address.

What's your feeling on this? Elixir sounds very compelling to me, but I worry that I might be going in a direction that's not where the industry is going.
Many exchanges have one or the other as a default, carrying different rules, or promotions(!) for using a particular stablecoin.

Some of these appear to be sponsored by/affiliated with Tether? That's where the rabbit hole really gets deep.
Please do, I very much look forward to the details.
I would be willing to bet substantial sums of money that Google tracks metrics for these alternative results and has concluded that they add value to the user. Maybe not to you, but to most people.

Personally, I'm ok with a bit of "oh, this is what I think you meant" rather than a literal interpretation of my query. It's not perfect but neither are my queries.
With Nx[1], there might be fewer limitations than there used to be.

https://news.ycombinator.com/item?id=26168304
Yup. I've left most jobs in the past because of a bad to okay manager. I've stayed at jobs that honestly I should have left sooner because of great managers.

Good managers help you improve your skills, give you meaningful feedback, facilitate work getting done, and get out of your way.
I've seen more than once recently an engineer saying that software solutions outside of the Serverless ecosystem (FaaS, DB, etc) is "the new legacy". And that cloud providers have solved all the pains that Erlang was supposed to address.
What's your feeling on this? Elixir sounds very compelling to me, but I worry that I might be going in a direction that's not where the industry is going.
But an immediate retry would've ended up going over the same socket and getting the same response.

Yes, "do some backoff", etc., but then we're in much murkier waters where Pages probably also has a latency SLI and if you're talking to a connection that might not let you know it's going to reset for up to 30 seconds, that's probably not going to fly either.