skysight-inc/HackerNews huggingface dataset:
Yep. After a while I disabled notifications, so Slack just doesn't disturb me when working. Sometimes I just quit it completely for an hour or two so I don't look at it because it usually sits on screen 3(the laptop) and I see stuff moving in the corner of my eye.

If someone would question my work ethic or similar because of my Slack status I would explain to them that this is bogus. If they insist, I would complain about them with their boss. If that all is not futile I would just find another job.
trueSpace my first love https://en.m.wikipedia.org/wiki/TrueSpace
Are these all "hand made" or are they autogenerated in some way?
Double-entry accounting is tough for a lot of people. It's a different domain and trying to fit it into traditional "math" will only cause headaches.
"How to realize when you're about to build your own billing system" would be a more useful discussion.
Tony's personal assistant may have intimate knowledge of everyone at the party, but probably knows nothing about people outside the industry. And she probably spent a fair amount of time prepping for the party. So she's bound to an upper limit of what a person can reasonably do.

And his personal assistant is a person which is a building block that innately fits into society. Any given person has some level of morals and integrity which would limit what they were willing to do with their knowledge. And even if they don't, people can be brought to justice if they abuse their knowledge/skills or otherwise have some kind of public pressure used against them. An algorithm cannot be imprisoned or even really destroyed and doesn't care one bit what it's used for because it doesn't care about anything at all.

Some of these things seem inevitable, but that doesn't mean they aren't creepy!
Read the first sentence of what I wrote "Sorry this might be true, but certainly never been true for me".
nah, it legalized using client funds for the purpose of backing your political allies over profits.

If you want to invest into a company you like go ahead, but fund managers and other fiduciaries should be required to prioritize profits for their clients over ESG goals.

None of this is good for anyone except companies burning money but who can point to the DIE programs.
You can compensate for drift with GPS updates, just like they're doing with the ML net. I don't think "add moar ML!" adds value to every domain.
This hidden agenda issue can be very problematic, as you say it might be self-evident based on watching people leave that they've gone somewhere else for the "better" tech stack but you'll unlikely to get anyone to admit to it, unless you're working somewhere progressive and/or with a progressive manager etc.

My last place we intentionally didn't use K8s but we were upfront with our team and hires (it was almost one of the first things I mentioned when recruiting) along with the reasoning.

But unless people are honest about their motives, and this is something that has to cascade down from the top, you'll get all sorts of sabotaging behaviour, especially if OKRs are imposed from the top and not bought into/negotiated across the org.

This gets worse when (due to human psychology and fast brain/slow brain traits, with the slow brain backing up the knee jerk fast brain) goals like the ones you mention are hidden (in shadow - see Jung).
Or as mentioned in other comments you get the whole Economics externalisation problem when all sorts of 2nd and 3rd order+ goals (like team/org cohesion, fixing technical debt, taking ownership of incidents/problems or going the extra mile) which aren't in any of the OKRs get gamed out of the system because no-one's tracking them. This would be fine if the OKRs are light touch guides and not excuses to stick everything else on the bonfire. i.e. OKRs are in service and not master.

I'm not sure how you mitigate this other than hiring people aligned with company values/goals/action who are less likely to just be (understandably because it's a jungle out there) maximising their pay and the modernity of the tech stacks they know and foster a culture of co-operation not competition.
This. Historically, a company is fundamentally valued by the discounted rate of its free cash flows into the future. The discount rate is decided by several factors including the risk free rate.....which is frequently tied to interest rates. So interest rates go up, the risk free rate goes up, cash flows become worth less, and corporate valuations go down.
That's times the entire 5 billion person population of the world who was on multi year restrictions of their freedom and lockdowns.

2 years times 5 billion in healthy human hours lost.

With the exceptions of Texas and Florida maybe.

And most of the entire world recently just said "Fuck it we can't control this" and did what Texas and Florida were doing anyway even though new cases and deaths were at some of the highest levels.

So restrictions were mostly ill informed and pointless.
Would you rather more revenue, and deal with happy, and appreciative, tenants, or less revenue, more liability, and adversarial tenants?
It got worse a while ago, but it's quite fine again. Compared to the rest of music apps, it's a mile above.
The problem set for the stanford linear dynamic systems that he taught is also fantastic. The level of difficulty and the breadth of applications leaves you with so many tools.
The short of it is during one of his investigative blog posts, he released the real life names of two security researchers who he believed (based on a single source from Twitter) ran a scam. Sean Hollister, a reporter for The Verge (among others) rightfully called out Krebs' actions as extremely misguided and potentially harmful [1].

In another case, he released the names and details of the people he believed were running the Coinhive cryptomining scam. He also compiled and released information on three people who he thought were connected to the Shadow Brokers group, although he has since unpublished that post (some analysis at [2]). There's even an urban dictionary term: 'krebbed' [3]. There's been discussion here, and elsewhere, although it's mainly back-and-forths on Twitter.

The issue I take with it is separate from whether or not he was correct, but that he is taking it upon himself to act as the judge, jury and executioner of potentially innocent people by releasing names and personal details of people on his blog and on Twitter.

Edit to add: He's even posted someone's passport before, which is kind of wild to think about [4].

[1] https://twitter.com/StarFire2258/status/1283892893539635200

[2] https://www.emptywheel.net/2017/11/28/the-russian-metadata-i...

[3] https://www.urbandictionary.com/define.php?term=krebbed

[4] See his blog post "Meet the World’s Biggest ‘Bulletproof’ Hoster", where he still has the dudes passport picture (with all info, no redactions) up.
Job creation comes always because of hard-things to build; When getting easier, it cuts job!
This happened with me, and I thought to myself "how does this work? How am I still as productive as before?" And I tried to recall what life was like in the office. Turns out a lot of my time was spent trying to look busy, rather than actually being busy. It's not like I was Peter Gibbons from Office Space, I wasn't lazy or jaded. But sometimes my brain just wouldn't do what I needed it to do. And instead of doing the correct thing, which is stepping away from the computer and taking a walk, or doing the dishes or whatever, instead I just sat there and mimicked my working routine. Tons of wasted time, wasted potential, and yet it still drags on your energy just as if you were actually working. All of that was because of the social pressure due to being physically in the office.
Doesn't sound infantile at all. I strongly resonate with everything you're saying.

A little over a year ago I submitted this Ask HN, which helps shed light on my situation: https://news.ycombinator.com/item?id=27039701

It is now a year later and I'm still wondering the same thing as I was back then (as in, I haven't changed up my work setup at all / haven't hired people). I do rely on contractors here and there, but it's rare.

I quite enjoy the peace and quiet that comes with no employees. These days I just do a bit of focused work each day, prioritise spending time with my family, and enjoy sticking to my daily training regiment (the latter has been a key aspect of my life ever since I started my entrepreneurial journey).

Every time I consider hiring people for the sake of more growth, I find myself asking if it'll be worth it, and whether I'll regret it.

I doubt I'd be able to enjoy the work/life balance I currently have if I were responsible for managing people at scale.

Perhaps I'm being narrow-minded here, but it's good to receive affirmation from someone whose done it all before.

Cheers mate.
Thanks, i will look them up!
NoiseTorch is dead
> In practice it is not slow at all.

In practice, you're either not using Python (sleeping, while waiting for IO operations) or not using Python (C/Fortran/whatever libraries for heavier lifting: Pandas, numpy, PyTorch, etc).
Okay if the stock price more than doubles in two years then yeah you can end up making a lot of money. This is why it is foolish to use vest price rather than grant price when discussing compensation. It isn't actionable information.

And Google wasn't giving $880k sign-on equity grants for L6 in 2019. You can't use todays numbers for past cases. And then you are choosing a peak pay before it drops dramatically after the sign-on grant ends. And after all that, you aren't even at 1M, let alone "easily 1-2M". With literally everything being used to pump numbers up, you don't get to where you cite.

So yes, there are people at loads of companies who make way more money than advertised because the stock ballooned. But this is a completely useless way of analyzing compensation.
Worth noting that one of the first and largest web based photo development and printing companies based in the UK since 1999 is called Photobox

https://www.photobox.co.uk/
So when are you vacating on the Moon or better still, can you beat Elon Musk to Mars?
I feel like it's much harder to shoehorn in proofs to existing codebases than it is to start with the proofs first.

The automation in Isabelle is quite good; good enough to where I don't feel that writing pure new code with proofs takes me a prohibitively long amount of time (about 2-3x writing the equivalent Haskell) (sledgehammer ftw), but I can't imagine trying to retroactively go and prove any of my old projects that are considerably smaller than 20 million lines.

One big perk for using Isabelle (or other proof systems), outside of the obvious correctness proofs, is being able to prove equivalence. If you can inductively show that two functions have the same inputs and outputs (say one was quick to write or easy to prove things about, the other is efficient), then you can tell the code exporter to replace any instances of the inefficient version with the efficient version. This means that your optimization is proven safe, and is done for free, which is worth its weight in gold when used correctly.

Of course, this really only applies to pure and mathey functions. It's substantially harder to prove properties about business logic.
about time, Youtube amazingly slow on the e-commerce trend. Astronomical numbers been happening in China for years, so much so the CPC actually started to intervene. Hope they succeed, but I suspect it will be another dud, like Youtube shorts
Heck, some cameras have NDI built in - look up the Logitech Meevo, for instance.

Pretty amazing for what it does and I've found NDI support in OBS to be rock solid (unlike RTMP!)
Also now that I'm sat down there's this:

> it's not easy standing up for what you believe is the truth when it's inconvenient

From what I can tell, it sure doesn't seem like what you "believe is the truth" is inconvenient for you at all. For somebody who just had about 1% of their lifespan re-assigned as human incubator it seems pretty damn inconvenient.
Agreed! this triggers also complex behaviors because sales people want to handle this in their env (Salesforce, hubspot or whatever); You also have to build the logic to update subscriptions and pricing directly from it, in a two-way sync. Things getting crazier ;)
They have their family of apps tied to Google e.g. Gmail, Google Maps, Google Translate, Google News etc. That could be a drawback if you wanted to switch to a new search engine.
Too true, and it’s an insult to those who indeed suffer from a mental illness. (Myself included!)
Have you written anywhere about the technology you use underneath - from languages to libraries to hosting?

I’ve got a few ideas somewhere between just started and half-written, but I often grind to a halt when it comes to figuring out sensible hosting. As an amateur, the world of AWS vs. GCE vs. Azure vs. Heroku vs. many, many others is difficult, and there are scary stories about out of control costs abound.
> so it may look unattractive compared to old big name universities, especially on the usual metrics used for ranking universities.

Mostly research output and quality.

> it's currently one of the most popular universities in SV and Big Tech

How much of that is due to the sheer size of the undergraduate class? There are more undergrads at Waterloo than at MIT, Stanford, CMU, Caltech, Harvard, Princeton and Yale... Combined!
My (96 year old) father is quite sure that every such system worked far better before computers got involved.

In some cases, perhaps he's right.
Have children. That’s the easy natural way to prolong the life of your genes, the unit evolution and natural selection works with. Kids and grandkids also keep you on your toes and help you feel younger. Technology to extend the life of an individual so far only extends the more grim elderly part, which unfairly imposes costs on the young with no offsetting benefit. Wanting to live forever or get revived somehow in the future seems deeply narcissistic and no different from believing in an afterlife. Better to make the most of every day you have than put your hopes into getting more days.
Wow, TIL! Thanks for the correction. They definitely aren't shouting it from the rooftops!
Artificial Intelligence and Machine Learning– Explained
Missing the LDLT decomposition.
Ask HN: How are urls shared within your company?
How are links shared internally within your company? I.e links to services/dashboards e.g sentry, grafana etc.

I'm looking for a simple solution open source self hosted solution where bookmarks can be shared. It should be just as simple as chrome://bookmarks that is
- as you type in the search box it filters based on the bookmark title (client side search) - same as chrome://bookmarks
- No need to login to view the links
When they say a single cable can deliver 340 Tbps capacity, do they mean a single fiber strand, or a bundle of strands in a sheath that we know as "cables"?
I measured the concentration of lead in the hot water from my kitchen faucet. My plumping is copper with lead solder, so I expected some but not too much.

The result was 105 ppb. This is insane when you consider that Flint's level was 20 ppb during the crisis.

The cold water should be zero, but I installed a lead filter to ensure this.

Lead testing is pretty cheap and there are usually a lot of labs around big cities. Highly recommend water testing even if you don't think you have the risk factors.
And just like a spellchecker, a suggestion of what it thinks you meant is welcome, but an automatic change is extremely not.
> Cars Suck. They’re big, loud, smelly and basically the most inefficient form of transportation someone could imagine.

My Tesla is none of those things. It takes 30 minutes to drive to the airport. If I want to take a bus I have to walk 30 minutes, pay $10, and then ride on a bus for another hour. It takes three times as long to go the same distance, at three times the price, and runs on fossil fuel. And that is only if I arrive precisely when the bus does. If I have to wait for the bus, tack on another 10-20 minutes.

Plus, I like cars. I would own a car just to own a car because I think they are cool.
Identification systems that no one will use are fundamentally broken
That is interesting, why do you think that? This seems to come from a place of someone who has worked a lot.
Biden administration is to push for firewalled crypto accounts
Dennis Abts livestream 5/18 4PM Pacific “Dataflow for convergence of AI and
Seeing as how this is VC thought leadership piece, how will a boutique search engine work? Deliver pre-2004 style Google results on a free basis while coasting on VC money, then switch to aggressive monetization, advertising and tracking once the SPAC IPO takes place?
> So yes, there are people at loads of companies who make way more money than advertised because the stock ballooned. But this is a completely useless way of analyzing compensation.

I couldn't disagree more. If half your total compensation is derived from stock, then you better be looking at yourself not just as an employee but as an investor. And part of that means making projections.
These index tells you only that the company was willing to jump through a bunch of hoops to get approved. It's like "Top 100 employers" lists in various countries. It reminds me of the "Tethics" from the Silicon Valley show. Big companies will just get someone to write some non-binding stuff to get added.

It is funny that Exxon made the list though.
Nothing is done well unless it burns enormous amounts of power doing useless work. That’s why I only use XML and blockchains.
> "everything will be on-chain"

This can be either true or false depending on what is your understanding of how blockchains work and what benefits it brings.

Some people will understand it as "some data will be on-chain and all or most businesses will do it", other might understand it as "every bit of info will be on a public blockchain"

Blockchains are very inefficient "databases" in the general sense of a database (and also expensive). They are only used because of the security characteristics. Only data that needs to benefit from those characteristics should go there.
Duplo means a hole on a tree in my language.
I just looked at both new courses. All the page reading time estimates are pretty fucking misleading. All the ones I saw said 5 min. but they just have a list of links that are an hour of reading material each. I'm bewildered.
It's too late to reply there (IIRC the commenting period closes after (about) 15d).
I feel like having a bunch of tiny projects is probably a great way to learn a ton. I've slowed down on personal projects since graduation, but focusing on something tiny might be what I need to hear/do to get back into learning some new stuff. Good on the author/OP!
Stanford EE380 lecture, Livestreamed. See http://ee380.stanford.edu.
I think first and foremost is bringing yourself into a position that gets you enough runway (time and money) to be able to take things seriously — even if that sounds like the opposite of a side project. For me it was skipping university and having kids in favour of starting a web agency in the dotcom days. Also, I don't believe in working on something you love — you just need to hate it a little less than the other ideas and be positive that someone will find it useful. Like I mentioned below, luck and timing play an important role and these days I'd say you will also need one unfair advantage (contacts, cash, distribution, etc) to increase your chances.
> Why billing systems are a nightmare for engineers

My guess: Because basically nobody wants to develop one of these as a hobby FOSS project. The whole idea is collecting people's money, which when you write your own code for public benefit, you basically don't do :-)

> We quickly decided to add plans, and 'pay-as-you-go' features

So, the author talks about things getting more complex, beyond their expectations. But - why did they not expect this? I mean, they know that companies pricing changes over time; that payment models change, including rates, cadence, use of internal credit etc. We all know this without ever having worked on a billing system.

> Qonto is a 'neobank' ... Fintech unicorn

So they were expecting billing to be easy for a bank-like endeavor? Hmm.

> #1 - Dates

The date problems per se are quite mundane and any non-trivial software system which involves timed activity deals with them. The billion period problems are not really date problems and are a recap of what OP had already written about. They are also problems most of us are well aware of from our personal experience as people in modern society ("Does my bus pass expire a day after I bought it, i.e. 24 hours later, or does it expire at the turn of the day = at midnight?")

etc.
It's too crazy to be satire.
I actually like some of the ideas from CASE. For example, non-programmers (typically analysts) should be able to change attribute-oriented features without code changes. Menus, button titles, field titles, field length, required status, etc. should all be update-able without code changes. The idea kind of exists in "Table Oriented Programming" where much of the routine programming, field info, and navigation is controlled by tables, not by code.

The problem has been that's hard to tweak such for special or specific needs. I've been working on how to get around this. I've stumbled upon "incremental draft rendering" where the attributes from the tables generate draft handling and markup in stages, which can then be custom tweaked as needed using an event-driven approach. But most programming languages are not designed for event-driven table oriented programming. Experiments continue though...
I think that's a cool idea. But I think the answer is as simple as it would require mounting a camera on the underside of the car. If you are going that route why not just point a camera at the speedometer right? Or integrate into the can-bus of the car and read it right from the onboard computer. I think the presented idea was probably something that was constrained by what you could do on a phone without interfacing externally.
Had no idea the Unix source was out there, very cool. Weird to see "53 years ago" on GitHub. Thanks!
I do this too, but the larger issue I face is that none of my ideas are even the slightest bit marketable.

I suppose I naturally gravitate to problem domains with little market potential. I don't know why.

I go into more detail here: https://news.ycombinator.com/item?id=31217221
We do bat an eye on such systems. All facial recognition systems are banned for government use in San Francisco. Police use of license plate readers is limited by law. Pretty ironic that people that build and export this tech all over the world are wary of it in their own backyards.
Blood Lead Levels in early childhood are also predictive of stunting, a serious developmental disorder with lifelong consequences that include immune function issues.

https://news.ycombinator.com/item?id=31031640
Unrelated, but if interested in ocean cables check out “A Thread Across the Ocean” by Steele. It’s the story of the first transatlantic cable. It’s a riveting read that is hard to put down. Full of interesting technical details intertwined with the stories of the characters involved. Highly recommended!
>No wonder so many of them love politicians who preach lower conscientiousness, lower agreeableness, and higher neuroticism as a political philosophy.

Do you honestly believe GenX and Millennial politicians will be any different without some drastic change? When your generation produces the exact same corrupt politicians, maybe you will blame the actual political class who lies to get into office and breaks promises while enriching themselves at the expense of the taxpayer, instead of scapegoating a generation of people.
Discounting is a fool's game, IMO.

We only have data for the present and the past. Prediction is hard, especially for the future.

I prefer using nominal quantities, known values, and ignore people's predictions. Not that they are always wrong, or never right. But because I like to make decisions based on facts.