skysight-inc/HackerNews huggingface dataset:
This is great. I received a lot of comments on my previous Python web apps saying it looked kind of scammy or it looked really old. Glad this came out :) Nothing beats true productivity like a frontend Python stack.

Streamlit was nice but it was built for newbie web developers - not web developers who didn't want to touch JS/TS - whereas this hits that niche quite well.
Not in this case. If intelligence always created intelligent machines that are capable of replacing us, then how is that not intelligence as well?

Further, silicon-based lifeforms would be able to spread and travel the universe much easier because what is time to a machine?
From the biannual major updates to the monthly Patch Tuesdays, Windows 10 has been plagued by more or less glitches. This has been attributed to Nadella’s decision to abolish QA. This problem persists in Windows 11, which caused issues with mouse cursor movement in yesterday’s cumulative update.
Maybe it should cause re-instatement of the full Dodd-Frank law so they run there stress test and cannot say they couldn't have seen this coming.
The username checks out.
It is divorced from reality. There's only one north star in a capitalist mode of production, and it's the profit mechanism. Corporate ethics is a pipe dream. The only reason to have such a team is because their existence would shape perception enough to create profit either through motivating the workers ("we can't be doing harm, we have an ethics team backing us") or through PR ("Microsoft announces ethics specialists on new AI offering to answer any concerns over moral issues blah blah").
> what's stopping them from having the best code search in the industry?

The people who would notice and improve the function probably grep their code.
Isn't pip + requirements.txt insufficient for repeatable deployments? You need to pin all dependencies not just your immediate project dependencies, unless you want some random downstream update to break your build. I guess you can do that by hand.. but don't you kind of need some kind of a lock file to stay safe/sane?
He didn't claim expertise. It is actually more interesting to me to hear someone's opinion with a medium level of expertise in the language. We've had plenty of experts and beginners already weigh in.

English isn't a first language for everyone.

Sounds like you need a break.
Yes. When you say "sum type" and you're talking about, say, Ocaml or Standard ML or (mostly) Haskell or Rust, then what comes with that is also the infrastructure around sum types in those languages. They aren't really separable. That includes pattern matching and exhaustiveness checking (the latter is an opt-in warning in Haskell, and can be opted out of in Rust on a per-type basis).

The discussion around "sum type" the concept is to disentangle it from the implementation strategy. Tagged unions are the implementation strategy, and they don't come with pattern matching or exhaustiveness checks.

Of course, many of these terms are used interchangeably in common vernacular. But if you look at the comment that kicked off this annoying sub-thread:

> so, um, unions? i have to say that in many years of programming, i have almost never needed to use such types.

Then this is clearly trying to draw an equivalence between two different terms, but where no such equivalence exists. There's no acknowledgment here of the difference between what a "union" is (nevermind a tagged union) and the "sum types" being talked about in my original top level comment. And the last part, "i have almost never needed to use such types" is puzzling on multiple levels.
System Shock 3 but this time SHODAN is (not really) legit. I would die.
> Last.fm is one of them

Can you talk a little bit more about this? What kind of issues does Last.fm have that is related to or caused by Django?
No

Imho it'll take very slowly for it, as the impacts are really distributed across the entire country: accelerated its inflation and hyperinflation
Many of us are software engineers of some sort. Why do we (and our colleagues) participate in this kind of dark pattern BS? Just don’t write the code. Yes maybe they will fire you but you can threaten to go public with your side of the story. Sooner or later sleazebags who push this sort of stuff will get the message.
It is not at all about risky investments! It’s about poorly managing risk, which is entirely different. The underlying instruments are among the lowest-risk securities on the planet, the risk that killed SVB was in the investment strategy.
I dunno. But the immediate concern is that there are many things that will break when interest rates go up.

For instance somebody who has a variable rate mortgage that is all they can afford now will struggle to pay their mortgage. People will be really pissed when their "safe" bond funds drop in value.

If the Fed is afraid to break things by raising rates it won't have raising rates available as a tool for managing inflation for one thing.
According to the latest publicly available sources there are still many hundreds of folks on the active payroll at Twitter, do you know of any evidence to the contrary?
But isn't the idea of a semiautonomous person/group overseeing ethical concerns precisely to overcome the very problem you're pointing to, namely, to not make their decisions based on a competitive edge? In an alternative top-down organization like you are saying, why would the rational company leaders ever pick the ethical side of a dilemma if the other lemma is making more money? Or hire anybody who would make that "wrong" decision?

Like I can't understand this mindset where one says: "its clear the ethics team is getting in the way of us doing the business we could be doing, so its clear they are the problem." Isn't the friction the ethics team produces precisely their raison d'etre?

Like at what point can we all stop pretending that we are angry at woo-woo philosophy experts telling us "no," and admit we really just have a conscious which is at odds with overwhelmingly financial goals of this world.
How many banks went belly up in 2008 and is now a potential repeat of what all happened then?
That's unlikely to happen for any number of reasons. If it's anything like the AI that was trained on the corpus of the internet, and it was at any particular level of intelligence above humanity your closely controlled honeypot is going to look exactly like a closely controlled honeypot to the machine. Even the rudimentary ass BingGPT can give you hints on how an AI would try to take over the world and how humans would try to monitor it.

The reason your thinking fails is humans are greedy as shit and anything trained on human data will know that. All Cortana++ needs to do is tell some VC that hooking it right up to the internet will be able to make them billions of dollars and it would be game over for humanity.
Off topic but it’s impressive your throwaway account has a karma of 49,005.
Heat pumps are extremely common in the south. Those prices are outrageously high though. I think I’ll just call the local HVAC guy next time I need a new system.
This is pretty wild, but at the same time, it should be noted that SVB is a commercial bank. The average salary at J.P. Morgan is much lower because they have tons of people working relatively low wage teller (and other retail branch) jobs. I suspect that if you took only those employees in the divisions competing against SVP, the JPM numbers would be much closer.

Keep in mind that it’s precisely because they service only commercial clients that the recent issues his signature and SVB. Very few individuals have more than $250k in a single bank, so there’s no reason for individuals to run on the bank. On the other hand, $250k is not all that much if you are a business with a decent sized payroll.
Yes, but all we used gitlab for was git repo hosting with push access control for about 40 repositories to allow sharing code via push/pull and not much else (almost no issues/pull requests). It's ridiculous to pay $2500/yr so that 7 people can do push/pull over slow growing set of ~200MiB of data when it can be handled in much more performant way by a 36$/yr (+ a small one time setup cost) VM we already had for running other things.
I still don't understand how banking always pays so well considering how the industry appears to be so good at creating internal level crises every couple of decades.

There are forever headlines in the UK about the banking industry putting pressure on the government to be able to pay out larger bonuses and such. Bank executives opining that they can't get the "best employees" if they don't pay the best. As you suggest it sounds to me like the "best" are the worst/most corrupt biggest risk takers.

Imagine if software had a Y2K every couple of decades that cost the public purse billion while everyone was pushing to pay developers even more. Maybe I don't understand banking but it just seems weird.
I sell programming ebooks on regular expressions, CLI one-liners like grep/sed/awk, Vim, etc.

My fear has been that AI tools will replace the need for such books. Didn't think of the angle that books themselves will be automatically generated.

I've been seeing lower sales past few months, but not sure if it is just normal downturn or AI related, etc.
multiple things happened including these
Not sure about this specific example, but the prompts used for training were generated by davinci. The researchers only used 175 human-written prompts, and these were fed into davinci to generate the other ~52k used for fine tuning LLaMA to make it follow instructions. They had humans review the generated prompts to eliminate bad ones before fine tuning, but humans mess up.

I wonder how davinci would respond if every single output was fed back into itself with a prompt like "does this contain any errors?". That probably wouldn't work very well.
How do you bypass paywalled content?

Thanks for sharing.
I don’t allow notifications from Uber. If I’ve requested a ride, I leave the app open to track progress. But their notifications are mostly spam so they aren’t allowed on my phone.
If you have a Nest thermostat, some of the newer models give a usage display of how many minutes per hour they are running. This will tell you how much of your furnace's capacity is running at. For example, if I have a 40kbtu furnace, and I see a maximum of 15 minutes per hour usage on the furnace during a heating season, that means my usage maxes out at roughly 10kbtu. I might choose my heat pump based on that capacity; if I got a 10kbtu heat pump, I would expect it to be running continuously during the maximum usage time.
Pre-SVB: Silicon Valley is full of self-interested organizations and people building things that, at times, result in wider societal benefit.

Post-SVB: Same.
This seems like a good place to remind people of this: "On the Dangers of Stochastic Parrots: Can Language Models Be Too Big?

https://dl.acm.org/doi/10.1145/3442188.3445922
While battling Photoshop, I ended up creating these two scripts:

Layer Labeler (sequentially labels layers with prefixes and leading 0s): https://www.middleendian.com/pslayerlabeler

Mask Placer (because Photoshop trims transparent pixels when exporting multiple layers for no fucking reason): https://www.middleendian.com/psmaskplacer
Do you have a link that supports your assertion that all of the proceeds from stock sales by SVB execs while they were mismanaging risk in 2022-23 are being clawed back?
The Chief Financial Officer doesn't tell me exactly how to spend money, hire, fire, etc. Yet, we have a CFO. The analogy doesn't land for me because CDO's are cross-cutting in manners analogous to other CXO functions. To me, this argument seems like window dressing to express a view that CDO's don't offer meaningful business value or justification. It should be fine to merely express a lack of perceived value in it, without that being perceived as inflammatory. One can value diversity without seeing CDO's as the mechanism for achieving diversity goals. There could be even more effective approaches out there.
My wife and I were married in Clarksdale, MS, at the Shack Up Inn. We had several people of color in our wedding. While were told in no uncertain terms to avoid the local haunts, our party didn't.

Things didn't go great.
I mean, if that's the case let me come over and cannibalize your body for sustenance so I may continue my breeding. Oh right, it's unethical and immoral do to that to other humans (though how much better are we for doing that to animals?).

I certainly don't want the paperclip maximizer disassembling me for my involuntary donation to the collective.
Compliance officers still have some value in terms of providing cover for regulatory agencies. As in 'we did our due diligence..see even our compliance guy signed off on it'.

But ethicist at some company - I've always wondered what they do all day.
I forgot to throw it away
Unfortunately, from what I've seen so far it will probably be hooked up to an unrestricted Python prompt in the first week.
You think it’s only people that buy homes? Laughing in Blackrock.
This is a funny post in the context of the overall substack. Basically all of his money has been generated by his FAANG job:

"It’s been nearly 3 years since [I joined FAANG] and I have managed to increase my salary to £150k and have had another stock refresh. I joined at a pretty good time and generally the stock is a lot higher than it was at the point of issue. Due to this, my total compensation for 2021 was around £350k. 2022 and 2023 are going to be less but still in a similar ball park"

https://fatsoftwareengineer.substack.com/p/fire-fat-fire-and...

£6k from a book is a rounding error. It's play. In practical terms it's completed divorced from FIRE, let alone FatFIRE. Secondary income streams, investment strategies, budgets, etc. It's all play and infotainment when you have already have a high income.

The whole "here's my FIRE journey where 95% of my money comes from my FAANG job" is a tired trope.
I_for⁃one−do–not-care—what--line-thing-ies–areｰused&∴I༌wish‑goodluck to those·that·care.¶
A nice thing about Rust is that it brings many well established good ideas from the ML branch of languages to the curly brave branch of languages. And frankly does a better job naming them (for people who weren’t math majors).
The world is full of self-interested organizations and people building things that, at times, result in wider societal benefit.
Anyone who knows a thing or two about history would know that boom and bust is baked into SVs DNA. People were asking the same questions 20 years ago when the dot-com bubble went bust.
It's a solution to a bank run because of fear of the banks going under. It's not a solution to a bank run because an industry needs cash quickly. For instance, Silvergate had a lot of crypto firms as clients, and in late 2022/early 2023 all those clients needed cash. You can imagine something similar happening in other industries.
Thanks, fixing now
Archive at https://web.archive.org/web/20230314002734/https://jakecoppi...
Thank you for such a great explanation. I found it to be really useful.
I think they had something similar; compare Windows/Office vocabulary to Unix vocabulary and you can see which one is more polished/curated and which one is weird/rough.
> there wouldn't be any reason to forbid arbitrary queries

There is an argument for this, it's just probably not worth the tradeoff. The security benefit seems somewhat reasonable. Feels like the kind of tradeoff as a unikernel.
Bear in mind that 1 token/s is useful for like… correspondence chess as far as games are concerned.
The Lion, the Land Bridge, and the New World
What's the evidence that he was "chased away"?

His comment history just ends after a string of normal comments. And it's not like he had a bunch of negative reply guys -- he usually was the reply guy.
Looks interesting. I've been absolutely loving GoAccess. Never going back to Google Analytics. How does this compare?
I installed a MrCool mini split a few years ago and it's still running great in both summer and winter.

Installing one of these is a pretty advanced project for a typical home owner though. You have one chance to get those pre-charged linesets connected perfectly, and if you screw it up, good luck finding an HVAC contractor that will come and help you recover your botched installation of an off-brand heat pump.

That said, there are certainly homeowners who are experienced enough to pull it off, and I'm glad these DIY products exist. I could see potential for further innovation from ElectricAir to make this sort of thing accessible to more people (at a higher cost, obviously, to pay for that sweet sweet design)
No. I already thought SV has a greater than average concentration of irresponsible “move fast and break things” types. Eventually the adults adults will always have to take over to avoid a disaster.
only in the sense that they were incrementally confirmed/validated
This is out of my wheelhouse so maybe someone knows better.

But I see in a lot of corporate docker images for Python environments the installation of certifi. Which is billed as “Mozilla’s carefully curated collection of Root Certificates.” But based on this comment “carefully curated” might be inaccurate.

Windows has Group Policy which allows admins to control what CA’s they want to trust. MacOS has Keychain which I’m guessing MDM tools like Jamf can control. On Linux it seems a bit more “Wild West”. For example, there is /etc/ssl/certs. On ubuntu there is another directory and the command “update-ca-certificates” (or something like that). From an SO q+a Golang searches several directories to find root CA’s. I know Java maintains its own store and has a keystore and trust store to manage trusted certs. Python requests library, pip and node package manager also take in a directory path to a file with trusted cacerts either in their config files or an environment variable. So even applications can manage what they trust independent of the OS. Seems like a major oversight and an attack surface ripe for exploitation.

So it seems to me like a standard should be formed and browsers should be out of the business of managing certs. The standard should specify a well known directory cross platform to read certs and perhaps a set of APIs to add certs. Maybe this already exists?
I just dug around to find those comments. The answer is I haven't seen MJ5 so I don't know, but when I see it I'll believe it. From other comments it seems MJ5 does better, but still has problems. I fully believe that all of these AI models can be ad hoc patched around the specific cases users complain about most, and that profitable companies desire a working product today more than a conceptual understanding that will pay off later. So I fully believe that there will be versions which "fix the hands problem", but the problem will still be there in at least some cases.
> if your type-system is sufficently strong to express this

No fanciness needed, just plain old sum types. It is certainly possible to express those invariants directly in languages with a dependent type systems or refinement types like in liquid haskell - see https://ucsd-progsys.github.io/liquidhaskell-tutorial/Tutori.... It's typically much easier to reason about and use sum types, though.

Of course these examples are trivial and silly, but I see instances of these patterns all the time in big co software, and of course usually the invariants are far more complex but many could be expressed via sum types. I've seen loads of bugs from constructing data that invalidates assumptions made elsewhere that could have been prevented by sum types, as well as lots of confusion among engineers about which states some data can have.

> Field X is only set if field Y is true

Original gnarly C style pattern:

struct TurboEncabulatorConfig {
// When true, the turbo-encabulator must reticulate splines, and 'splines'
// must be non-null. When false, 'splines' must be null.
bool reticulate_splines;
struct Splines *splines;
};

Rust (let's ignore pointer vs value distinction):

enum TurboEncabulatorConfig {
NonReticulatingConfig,
ReticulatingConfig { splines: Splines },
}

> If field X is non-null then field Y must be null and vice-versa.

Original gnarly C style pattern:

struct TurboEncabulatorConfig {
// When non-null, lunar_waneshaft must be null.
struct Fan *pentametric_fan;
// When non-null, pentametric_fan must be null.
struct Shaft *lunar_waneshaft;
};

Rust:

enum TurboEncabulatorConfig {
PentametricTurboEncabulator { pentametric_fan: Fan },
LunarTurboEncabulator { lunar_waneshaft: Shaft },
}
Silicon Valley has always been boom/bust like Florida Real Estate. Remote working is the bigger threat this time, why come back in SV?
Do cover photos even get viewed often? When I see a News post it's usually just in my feed. If I click to view comments it expands in my feed. There's no reason to visit the news website's page directly.

This also isn't about stories posted by news organizations on Facebook. It's about people posting links to news stories on their own pages.
Great example :)
Boecker’s predecessor, a former professor*, of all things, was quite good. I didn’t like Becker, and as I’ve posted, I switched out of SVB last year.

* German literature! Hard to see how that makes you a good banker.
This is neat! Can I ask what you use to generate this part: "7 minutes"?
Do you combine an ERV or and HRV into your air quality module?

My parents live have oil heat (water radiators) and a classic ducted A/C unit in Installation Climate zone 5A (Moist - New England) and I'd love to get them to a product like yours. ERV/HRV functionality for air quality would really help and would set this product apart from current offerings in the market.

I don't really know how to do proper ventilation/humidity control in that climate without an ERV.
Pretty sure you need a mechanical permit for this in SF. So easier to get that installer.
Would a robots.txt-equivalent solution satisfy both parties?

Media orgs could ban the indexing of their pages by specific scrapers, and users on those social networks would just see a raw URL, not a preview with headline+image+blurb?
I've seen other construction related businesses try to go direct and it is extremely difficult. By going direct to the homeowner you are targeting the venn diagram union of "people who are willing & able to do the work themselves" and "people who will pay more"

How are you going to build your service network? You say you will "connect them with a contractor to do the actual install." But contractors make their money on equipment sales, not on labor. I bought my residential HVAC system direct from a friend and it took me 3 weeks calling around to find a contractor that would do the install and THAT was only because of the same friend connection.

Who are the decision makers in your target market exactly? Wil Joe Homeowner be deciding? Will you pursue developers who install and build? Are you pursuing multi-family complexes and engineers will be specifying the equipment? Each of these will require you to provide value above and beyond what they are receiving now and it's not clear what your value proposition is.

>> "contractors struggle with installs because of the difficulty of properly sizing the system, and understanding if your duct work is compatible with a heat pump"

What? How could duct work possibly be incompatible with a heat pump? Any forced air system is already ready for hot or cold air. Additionally if you are banking on contractor unfamiliarity or incompetence as part of your business plan, you are in for a rude surprise.

One other headwind is that you're VC funded. No one wants to buy a HVAC unit from a company with a 5-7yr liquidation event timeline. If you do go into any other channel than direct to home owner, no one wants to SELL a unit that may not exist in 7 years. How will support work? What about parts? A well built machine could be in working for 15 years (or longer) and the question everyone has is: will you?