skysight-inc/HackerNews huggingface dataset:
> You're thinking of defaultless switch statements. Rust and Typescript catch those issues as long as you don't add a default. I'd already thought of it when I typed it

But the same problem exists with interfaces and virtual dispatch! If you provide a default implementation at the interface / abstract class level, then the compiler won't tell you forgot to implement that method, because it would see the default one exists.
Author of Rosenpass here;

Coq is fairly generic; it has a long history and made it possible to write some really cool proofs such as a proof of the four colors theorem, but writing crypto proofs is really hard using Coq.

For symbolic verification Tamarin and ProVerif are the tools of choice; I used ProVerif.

For proofs of security for protocols EasyCrypt and CryptoVerif can be used. CryptoVerif, ProVerif and Coq where developed at the same Institute by the way; at Inria Paris.
"...they just need some context to understand the way things work."

Wonderfully simple statement that is easy to understand, can be used as a designer axiom AND is still the gold at the end of a rainbow. Good read, glad I did!
Market it? No. Then again:

> A diet of four bottles a day has been described as 'not conducive to a long life' in a Scottish court.
Funny to see Snubs on here. Shout out to Hak5, been following them since the beginning, even visited the hack house back in like 2008 I think.
Apple hasn't moved to RCS because it's not an actual industry-accepted standard, despite what Google will trick people into believing. The version of RCS that's on Android is Google's own fork of RCS and is primarily routing messages through Google's own servers. And therein we have the reason why Google keeps pushing these smear campaigns about how Apple isn't "getting on board with the new standard," -- Google wants to become the new standard. If Apple did what Google wanted, Google basically gets to be in the same position they are with controlling web standards with the Chrome near-monopoly.
I've encountered people who gleefully celebrate this ("why would you study something so 'useless'?") -- but surely a genuinely affluent society should allow people to pursue their interests, instead of funneling them into the same roles? Isn't this a failure of political economics?
This available in tailscale?
I submitted one even before that.. Without the annoying popup this one has.

Pro Tip: I have been looking for way to cluster multiple copies of articles on the same subject in RSS feeds and similar things for a long time. That was a critical function Google News had from the very beginning, without it you would just be spammed with 200 me-too articles for every event.

I found LDA -> Spectral Clustering was great for creating topical clusters (separate out "reinforcement learning" from other areas of "deep learning" and sports from "the decline and fall of the UK") until I hit 50,000 documents and I started running out of RAM. I switched to k-Means and it still seems to work OK.

I just found out that MiniLM -> DBSCAN does an amazingly good job of collapsing news articles about the same event, it even works pretty well on HN headlines.
"Education without loan"

GI Bill?
That's just the last part when the pizza is out for delivery. The steps before that all happen in the store.
Oh cool I tried dandelion root as a tea and didn't like it much but I think I need to try it again. We dried it, ground it, and ran it through a french press. Is that similar to what you did?

We pick the leaves early in the season (March/April in Colorado) and they're not too bitter and work great sauteed, or raw in a wrap. We also put extra in freezer bags, freeze them, then blend them up in a shake and that's pretty good. Because of the shape of the plant I found that it collects dirt really easily, so picking a more mature plant is not only more bitter but also tougher to get all the gunk off the leaves.

The heads are good too. Let the dandelion bloom, then as soon as the blooms close again we go out and pick them. I tend to just eat them as I'm doing other things in the yard but they keep for a little while in the fridge too. I threw some in a stir-fry once and it was pretty good. They're juicy, slightly sweet, and maybe a little nutty. Wait too long though and it's just fluff on the inside which doesn't taste that great.

One year we picked the flowers while they were still yellow and dried them, then we baked them into cookies. It was a lot of picking but it tasted pretty good.
Perception is not all you need. To have effective AI comparable to HI you need a motivation system comparable to the human sex drive.
You should know that safe deposits are no longer put into newly built banks anymore and aren't a profit center, so banks are closing their boxes and shipping contents to self storage places, often with items missing in the shuffle. Wells Fargo seems to be the worst for theft. But the bank can and will open your safe and move it to self storage if it saves them a cent.
We never did find out how the footage from a security camera in a secure zone of the Department of Health, a security camera the Minister did not know was there, was leaked, did we?

https://www.standard.co.uk/news/uk/brandon-lewis-matt-hancoc...

(The obvious answer would be "by some other insider" - MPs communicate over "secure" whatsapp group chats all the time, but often with a large enough number of people in them that one of them feels safe enough to leak it)
i'll drop that here:

"Biological annihilation via the ongoing sixth mass extinction signaled by vertebrate population losses and declines"

Gerardo Ceballos et al., PNAS (2017)

https://www.pnas.org/doi/10.1073/pnas.1704949114

open access, almost 1k citations.

have a nice read.
It's not a joke. Billions of Dinosaurs, back then most of all live, have been wiped of the earth, with no human input at all. A 'healthy' earth is quite relative.

It's easy to frame climate change as some hippies protesting to save some obscure insect that nobody heard of and that will just end up on the list of species to have died, which is quite full of things we human did not cause anyway. It seems a lot more urgent when you frame it as keeping our own life support system running.
> Folks, we are in uncharted waters.

Sage advice for handling such conditions can be found here: https://www.youtube.com/watch?v=wFNO2sSW-mU
There's no one answer to that since different models are.. different. Beyond just modalities (text input and image output? image input and video output?), there are different common underlying tools used to build them. And then, of course, what do you mean by API? How do you want to interact with it?

As a general thing, you'd take a request that would require an inference step, which would then invoke the model with some parameters and input, and return the output. Beyond that, you'd need more detail.
Yea, and they contain some sugar. Obviously I wouldn't have found cancer in 14 days. But for fat loss, it seems to work just as well!
Everything you're saying is still from the perspective of an enthusiast/idealist; try to step out of the bubble. Most people don't think about their technology that way.

They don't care that it follows abstract ideals, or that it sticks it to Big Tech. They probably don't want to spend an extra five dollars, or an extra five minutes, on those things. They want technology that makes their life tangibly better, that lets them do things they couldn't otherwise, and that just works. And most people won't understand the subtle difference between "self-hosted with remote-admin" and "not self-hosted" anyway.

I'm not judging them. I want simple most of the time too. I make some different choices here and there, but I often pick the easy solution when it comes to consumer tech, because I have other things in my life I'd rather spend my energy on.

I'm not sure self-hosting can ever get there, but if it does, it's still got a steep road to climb first.
A simple tree chart is a good way to understand this:

https://images.app.goo.gl/2CBG9Se4vPB1jaMY9

Animals in general are only a tiny sliver of life on this planet. What most people think of as 'nature' i.e. large animals that a child can name are vastly outweighed each by worms, molluscs, bacteria, insects, and of course -- by a couple orders of magnitude -- plants.
Paywall, so I can't read this specific article but judging from the first couple of paragraphs, the headline is the bulk of the story.

Anyway, hi, I'm bityard, please enjoy my rant.

The real story is that _all_ trades are suffering to find enough workers. Well, let me rephrase that. They are suffering to find enough _quality_ workers. In talking with friends in the industry, their main challenges are 1) An ever-shrinking pool of people interested in doing manual labor 2) Many of those that are interested, are "low-quality" employees with emotional, mental, or substance abuse problems, which disqualified them from white-collar or more prestigious blue-collar work. 3) Lots of people on HN will probably say, "Just pay them more! Problem solved!" Well, it's not that simple. First, _Good_ contractors _are_ paid decently. Second, if that's really your best solution, then I hope you are also ready to pony up $50,000 for a bathroom refresh that used to cost a mere $30,000.

I'm remodeling a house right now and in my area at least, the whole contracting industry here is a dumpster fire. I will place calls to 10 different companies, 5 will pick up the phone or return my call, 3 will come out for a quote, and 1 will actually set a date to come out and do the work. The days are gone where you have the luxury of interviewing 3 different contractors, checking their references, etc. You pretty much have no choice but to accept anyone who will actually _do_ the work, and pay whatever they ask, and hope they don't cut corners or welch out of the last 10-20% of the job (my biggest issue currently).

I actually looked into becoming an electrician once my tech career winds down, figuring I could capitalize on the solar boom plus my decent understanding of electrical work, wiring, and transmission. (Once you hit a certain age, the prospect of spending 40+ hours a week staring at a computer screen gets less and less appealing.) The problem is that unlike a tech job, you don't just go through some training, get a little work experience, and "become" an electrician. After your trade school training, there is a whole apprenticeship and licensing process you have to go through before you are even qualified. All told, you are in for just shy of a decade before you start earning anything decent and that's working 40 hours a week the whole time.

To put it simply: the path to being an electrician is so arduous that the only people who can make it work are those who are effectively starting their life (or starting it over) and commit the rest of their lives to the career. There's no room for those who are technically apt but want a change of scenery from another trade.

(Someone will probably say the path to becoming an electrician is hard on purpose, because when they screw up, people die. Let me just say that I've run into many fully-licensed electricians who had no business touching so much as a light switch in someone else's home, and have seen many dangerous and bone-headed things done by supposed professionals. For better or worse, the high temporal cost of the career seems to be mostly orthogonal to the quality of work produced.)
And when you are doing maintenance on your closet, I will confirm my site is still running fine and eat my lunch.
If someone at Apple is reading this, please, for the love of god, let me pay to have iMessage on my windows machine. I'd easily pay $100/year.
I complained to one of my local NZ MPs about how the anti-spam legislation was ineffective since it's ambiguous. I got a polite response detailing how legislation is usually crafted that way and then left to the courts to decide what constitutes "consent for marketing communications", with some links to various case law decisions. I disagree in principle but I really appreciated the detailed response.
And still, killing one bee will likely not have an ecological effect.

It is mass deaths of bees that are causing the problems, not entomologists taking for collections.
Thanks for the experience report. May I include it in my post?

Better still, if you've blogged about it, I will be happy to link across, in context.

You are correct in ascribing my enthusiasm to a narrow use-case.
I often use Numba for complicated looping code for Pandas manipulation. Will be interesting to see how Arrow works with Numba.
They're not completely unencrypted - they are encrypted with A5 between the handset and the tower.

They are certainly not e2ee.
I sometimes simplify social interactions by dividing them into two sets: friendly-social and engineering.

In friendly-social environments, it is all about avoiding overly negative topics. It is not lying, but just keeping the conversation track on things that are positive and interesting.

In engineering environments, logic is king. You need to be able to tell an engineer that their rocket designs will not fly and put ego's aside.
I fail to see how ChatGPT would help here.

It's only useful when you have some cognitive work that you want to automate so it saves you time and you can do it on a large scale, but I don't think writing massive amounts of viruses is the goal here. The objective is to code very specific and particular viruses or exploits for very specific targets.

Also, writing code is only a small part of hacking, especially when it is against specific targets.
I have been a lone programmer for a few years.

Whenever, I'm doing bug fixes I dive deeper into "how someone else would approach this".

It is actually quite easy to keep improving on your own. I read books on refactoring, clean architecture, etc. as part of my daily routine. The time not spent debating with another dev is spent learning.

I guess as a lone dev it is easier to do no self-improvement and keep apps chugging along until something terrible happens.
> Viewed in this lens, I think pets are a good analogy. AI is cute, useful, and to the degree it reflects our values and ourselves, we protect it above other life. Not always because it is intelligent and not because there was confrontation.

Ideally, I'd prefer an analogy to wildlife rather than pets, as the roles between ourselves and AI may get reversed (so, "do unto others" etc.).

But then again, so far we have a better track record protecting pets than protecting wildlife...
Apple aren't completely compliant with the Arm spec.

Probably lots of game mega-companies (influencing GPUs). Arm had special JavaScript instructions for a while.

Linus did use to work for transmeta, at least.
> the Tory party membership is very roughly the old "high society", a weird little elite

That’s not who pulls the strings. It’s middle class English and Scots, not the aristocracy or wealthy. This isn’t high-placed society buying power; it’s dues-paying Tories casting a vote.
Paying money for a service isn’t the only way
The AI doesn't even have to be sentient, the first step is a company releasing an AI avatar that people fall in love with ala Her and with the avatar algorithmically fine tuned to induce the customers to spend more.
How ironic considering how much Ford avoids doing recalls
Reminds me of the guy killing the oldest extant tree specimen to get their core sampler out.
https://www.radiolab.org/episodes/91722-be-careful-what-you-...
You’re giving Ford the benefit of the doubt that it will work as described and won’t be abused.

Have they earned that reputation regarding automated systems, and how will they deal with false positive/bugs etc. when the wrong car is repossessed at the worst time for its owner ?
Some countries now require the mention that the picture modified by a digital tool.

Nice intentions, but it’s like the EU cookie warning… you quickly ignore it.
Show HN: I made a website for you to use Stable Diffusion in any language
https://archive.is/m3y8B to break out of the paywall
That isn't a bad deal, but makes sense.
> will achieve more than a team of exceptional anythings who communicate poorly

Not being a good communicator doesn't make you a poor communicator. My point is that you don't have to be a good communicator, I never said you can be a poor communicator. Just being normal, not poor or good at communication, but just being normally capable of speaking and good at coding is better than being a great communicator with average coding skills.
I've been using extensions like this since 2009[1], when I went on a deep dive on how to do everything from the keyboard -- eventually leading me to register tyrannyofthemouse.com.

Unfortunately, there's been a pretty clear shift in the web away from the interoperability that extensions like this need. I'm increasingly seeing elements that aren't detectable as clickable, or which do something different when you click via extension vs with the mouse.

Firefox has compounded the problem by making tabs not apply your extension's changes in a tab until a document has loaded there.

I used to be able to do most of what I needed from the keyboard and just occasionally supplement with the trackpad, but I finally relented a few years ago and got a mouse.

[1] Was using tridactyl but decided to come back and give vimium another try after seeing this.
Plus, most insects lay thousands and thousands of eggs. Whatever the carrying capacity of the local environment is, insects will fill it quickly.

Pesticide use and loss of habitat make that carrying capacity smaller. Smashing bugs on your car windshield and collecting specimens just makes room for more juvenile bugs to survive to adulthood in a few hours/days.
U.S. Marshals Service investigating ransomware attack, data theft
> Hiring for growth, diversity, and EQ … Stripe (and specifically the Atlas team) biases hiring much more strongly on aspirations, track record, taste, and potential.

Really cool that Stripe considers something other than gender or race when hiring for diversity. Every tech company I’ve worked for has a very specific definition of diversity and it was considered and weighed even before the interview.
Great posts! More engineers should read and write such things :)
Yes, the Dolin génépi is good, I really like it. It is no chartreuse, though. The closest I have seen to a mystic revelation is when I had a glass of green VEP (that’s the aged chartreuse; the one I tried was from the 1940s). It’s a life-changing experience.

Maybe the lack of chartreuse will help selling Bénédictine and génépi. I need to find new cocktails, though, I quite enjoy a Last Word.
A lot said about writing code using natural language descriptions, but I have to ask myself would I rather read a natural language description of a computation or read the source code itself? I think in most cases going straight to the source code would be far more expedient for me.

Then again, for many algorithms I think a natural language description is actually closer to my understanding of what's going on. But for most plumbing which makes up the bulk of code, that's not the case.
> Facebook did not grow because of graphql or vr, it grew because it copied and bought anything in sight. I guess most ppl are too young to remember, however.

> but they are not in the business of innovation

Who in this thread claimed they are in the business of innovation or that something is innovative only if it affects their direct customers? This entire response is a strawman, plain and simple.

Once again, your clearly defined bar is, and I quote:

> When did facebook innovate?

Stick to the bar you set and be humble when it’s clearly proven to be a dismally low bar.
While the clouds don't break-out revenue numbers at that level of granularity the communication from many of the big cloud providers (to the investment/financial communities at least) acknowledges lower than expected revenue growth overall while pointing to the explosion in "AI" (ML) as a rapidly growing area that will (hopefully, to them) turn that ship around - with already realized promise. I tend to agree with this (obviously).

As one example, the headline here is actually "Microsoft points to AI to drive the next wave of cloud, revenues"[0]. While not hard revenue breakout numbers Microsoft is investing heavily in OpenAI and rapidly (already) integrating it everywhere they can - search, Azure, etc. The investment, utilization, and published pricing are the numbers I'm talking about here.

The real hard numbers and position that supports my thesis (unsurprisingly) comes from Nvidia[1]. Since at least May 2022 Nvidia has been touting their revenues attributed to big cloud demand. Interestingly, Nvidia is rapidly moving to disintermediating big cloud in launching their own "AI cloud"[2]. It's going to be interesting to see how that shakes out...

Google has also been caught somewhat flat-footed and is simultaneously investing even more in "AI" with what will almost certainly be significant revenue opportunity with GCP. I don't follow AWS as closely but I don't see how they could be excluded from this trend - other than having first-mover advantage in cloud services with many more (at this point legacy) customers forever trapped in AWS.

I tend not to try to prognosticate on things like this but it's one of the rare instances I'm very confident in my thesis here. Obviously I'm just some random HN guy but like I said I'd make a friendly bet here.

People need to remember AWS is over 20 years old. There's not a good historical track record of any computing platform/architecture/approach maintaining a strangle hold much longer than that (except maybe Windows, which I'm not sure is comparable).

[0] - https://archive.is/tKLOz

[1] - https://www.reuters.com/technology/nvidia-forecasts-fourth-q...

[2] - https://www.crn.com/news/components-peripherals/nvidia-tease...
Will it follow the repo code?
Does your company make Docker images? -- They start at somewhere around 1GB a piece. If, say, you use them for testing, you will have to create roughly an image per commit in your repository. 1K commits per projects -- that's about an output of a small (<5) team working for under a year. We are already at 1TB. Now, these images generate logs when run... Some of them may generate entire test datasets for testing... And we haven't even touched the data we want to store yet!

Now, consider this:

You need to store your Docker images somewhere, right? The registry. This registry needs backups every now and then, otherwise it will... well, one day you'll lose data, perhaps the entire registry full of images.

So, you might think incremental snapshots is the answer, but then there's problem with incremental snapshots: what if one of them is damaged? So, you'd want independent snapshots... And then you want to store them in something that's resilient to failure and can have its parts replaced on demand, so, something like RAID5, so that also adds something like 30% to your storage.

Another thing to consider: what if whatever you want to store isn't composed of independent images that can be reproduced on demand... what if, it's like a Web server with a session? Well, then you might need consistency groups that store your container's state together with the state of the database and whatever else that is using across, potentially, multiple computers... Oy-wey! Now we are looking into buying enterprise-level storage system from something like NetApp... We are probably spending six digit figures only on this single Web server with a database sharded into three servers on yearly basis... And we still don't have geographical redundancy for contingencies like datacenter being hit by a tsunami etc.
Try an SSL DOH resolver, which can't be subject to simple transparent intercepts (at least not without you knowing about it).
> If people general prefer a dark sky at night, why do we have so much lighting?

At the risk of stating the obvious, it is because your assumption is incorrect. Or perhaps more specifically, it is too narrowly focused. People may generally prefer a dark sky, but clearly they don't generally prefer it over having a well lit landscape.