skysight-inc/HackerNews huggingface dataset:
Syntactically Haskell and OCaml are extremely close. A lot of the surface difference between the two languages has nothing to do with syntax and has so much more to do with how things are named by default in the standard libraries. (There are massive differences in the type system and all sorts of subtle differences below the surface, of course.)
their clients have to do a lot of platform specific configuration to make it appear magic- OS/distro-specific network configuration is always going to be a hairy, moving target - open an issue on their GitHub and they'll probably help you start poking at it
I was afraid to hear stories like this. It's already pretty bad that less and less companies are willing to take the (originally completely obligatory) burden of teaching new junior programmers. It feels like we really are doing way too little to raise any next generation of any shape.
Deliberate bullshit, knowing the context of that speech and how he follows it.
So the Outer Richmond is a "wealthy hyper-gentrifed neighborhood" now? Or the Mission? The Sunset? SOMA? Dogpatch?

Sure, I mean if you're able to afford to live in those neighborhoods, then you're doing OK. But it's a bit rich to call them "hyper-gentrifed".
I understand the struggle, I was never a hat person until I went bald - now that hats are necessary in the winter I have learned to enjoy them. I still opt for sunscreen in the summer though.
In all fairness, I’ll be impressed when he posts a retraction and apology.
I see a new blog post from Tailscale, I upvote.
What do they mean by "customer data"? Payment information and other PII, or real backup data from this cloud backup thing they have?

I only know of this "My Cloud" service which appears to be somehow linked to some NAS-like HDD offerings they have. I never really read about it because it is irrelevant to me, so I don't know if they also mirror the data in the cloud, or if the cloud gives the attacker remote access to these NAS disks and that they exfiltrated data this way, or something else.
OpenChatKit: Open-source kit for setting up a local, libre, LLM chatbot
>> while in SF all he has to do is step over poop.while

> Your odds of being shot seems to be significantly less in SF.

Irrelevant to his point that all he has to worry about in a less-safe-than-average city is to step over poop.

If you're living in a city that has more violent crime than average, it's dishonest to claim that all you have to worry about is non-violent crime because "guns bad, m'kay?"
> ChatGPT claims to be 13+ only, but does not actually check that

Does anyone? It's not like we are IDing teenagers on the internet.

> data got leaked across prompts, which is probably bad

If prompts are being saved into the model, then that's pretty nearly equivalent.

> OpenAI is not clear/upfront enough on what it does with your own input

OK, now let's do something about it. I'm not sure how that involves making a "task force", though.

> ChatGPT manipulates, in some sense, personal information, but does not provide a way for those impacted to edit/delete it (which might be hard/impossible, but that does not change the effect on someone who gets impacted by it)

Can you just save all the prompts you model, then subtract the difference (to delete that prompt) later? If not, then the model itself is effectively laundering prompts.

Outside that context, it does get tricky: if the personal info was present in the training corpus, then that corpus needs better curation. Even so, that is still a problem domain that exists mostly outside ChatGPT itself.
> The declines in life expectancy since 2019 are largely driven by the pandemic.

https://www.cdc.gov/nchs/pressroom/nchs_press_releases/2022/...
I made a comment a few days ago in the context of increasing complexity of a lot of things in our lives, in which I mentioned

> The problem is, continuously educating new people to know ever more and to be able to handle more and more sophisticated systems has a continuously increasing cost to society too, since we don't live any longer than before.

https://news.ycombinator.com/item?id=35470905#35477122

This is one thing where aging slower could be very important for us. Increasing complexity alone requires more time for developing, planning, handling and maintaining a lot of our devices and infrastructure. Experience gained over long periods is worth much more. It also requires a higher up-front "penalty" in the form of more education before we can even get started with being productive in many interesting and worthwhile projects. For example, compare starting with Linux kernel programming in the 1990s vs. now, or building a house many decades ago vs. now.

On the other hand, our capacity to place the anto-aging benefits with the right people are questionable. We can only hope that higher-level processes, not controlled by us, will still lead us to good outcomes overall. Similar with a lot of stuff already going on which we hardly have any direct control over, even in cases where "in theory" (meaning a theory that does things like "if we all just..", disregarding that coordination and information are physical and cost time and energy and a working algorithm) we could. So adding one more thing for the universe to sort out for us may not make much of a difference anyway, and having the moneyed classes go first, probably for a long time because the anti-aging solution probably won't be a simple pill, but a complex ongoing long-term process, might still work out. For humanity as a whole, if not for the (less lucky) individuals. It probably widens the gaps even more, in wealth and in education and in opportunities. Might still be worth a shot.
Pulumi employee here!

Worth noting that while lots of insights are leveraging LLMs/AI, it's only one pillar of the launch today.

The cross cloud search and analytics are really valuable additions to the product. On day 1, being able to export all your resource definitions to BI intelligence tools and drill down into specific areas of interest is something that has traditionally been very difficult.

On a personal note, being able to simply search for "who spun up this EC2 instance" without traversing through cloudtrail is a godsend, too.
Can you continue that thought? I don’t follow you.
Yeah my friend started the whole process last Sunday and managed to get into NEM2 today.
All of Peter Watts' work is delightful and pleasant. He's well known for this! /s
Twitter Launches Way for Users to Charge for Access to Their Content
Better Together: Unifying Datalog and Equality Saturation
The building blocks of general AI, inspired by biology.
It super easy, we did it all the time back in the MS-DOS days.
Well, the real market solution is to permit the provider to buy the electricity off the market where they can and sell the electricity off the market where they can.

The provider will likely buy at the cheapest place they can and sell at the most expensive place. It is definitely a market inefficiency to require them to buy at the same price they sell.
Stability AI Animation Technology Makes Its Debut
podman rootless and startup speed was what lured me in, sadly after a couple of years I've switched back to docker, bit happily in rootless mode now too.

podman works fine until it doesn't. My hypothesis is that it has some fundamental design philosophy that makes it brittle. Properly cleaning up doesn't exist in their vocabulary.

For example, a cancelled download or image extraction can bring the whole thing down at the worst time, you have to hunt down the corrupted folder and remove so that anything works again.

A failed compose startup can leave the network in a undefined state hard to diagnose and impossible to recover without wiping some folders within /run/user and killing some rogue processes manually.

This is further cemented by the fact that a lot of minor issues are answered with: podman system reset, which reeks of rm -fr node_modules.

docker was always a pleasure to work with, I still don't understand why I suffered with podman so long.
The problem of running out of money, be it a startup, a business, a nonprofit social venture, or a software project, is losing the ability to support the mission and probably losing the ability to deliver the services behind it.

It's wise to survive, but neither so reciprocity- nor goodwill-hostile as to lose your customer base. It's wise to give excellent value for money so that users evangelize by word of mouth and increase referrals with that kind of undeniably-powerful network effect.

Being an excellent business and a profitable one are not mutex. And also it's unwise to defer monetization because it changes the bargain underneath users that feels like a betrayal when that something for nothing doesn't last.
How exactly are the poor subsidizing the rich if the rich can participate in the electricity market at (near) market rates? Sure, there's a tiny bit of power lost during transmission, so the price you can charge the grid should be a bit less than the price you would pay to the grid for the same energy, but does it actually make a difference to non-solar houses if that's the case? The only effect I can see is a reduction on the demand of the power plant, which might affect the economy of scale, but is that actually happening?
It produces pulumi programs which are the equivalent of a terraform module or main.tf file. Whether or not said programs are deterministic is another matter.
Generally speaking, I no longer buy any device that requires a smartphone app or otherwise not built into the device itself.
That's impossible. If you know exactly how some algorithm works, you'll always be able to game it.
They announced Copilot X as using GPT-4 but its unclear to me whether it's just the new features (the chat, etc.) or the code completion that will move to GPT-4 as well.

If it isn't, then Copilot has previously used OpenAI Codex (which is based on GPT-3)

Source: https://github.blog/2023-03-22-github-copilot-x-the-ai-power...
On the gender pay gap? https://en.wikipedia.org/wiki/Gender_pay_gap

Or did you mean something else?
This is a nice little machine for a desktop/nas/server, but I don't see how that can compete against the Pi in an embedded context.

Input is 12V, not an ideal votlage to provide from a small battery. Form factor is way bigger. How is the idle wattage ?
One of the more obvious failings I've run into that really reinforces the nature of it being an extremely elaborate vector search is that ChatGPT regularly gets relationships between concepts reversed. For example, it's easy to nudge into it completely reversing shorter/taller or younger/older in its replies. It feels like it could be related to the whole "Waluigi effect" thing (https://www.lesswrong.com/posts/D7PumeYTDPfBTp3i7/the-waluig...).
Oh you don’t get to talk bad about my boy Turkheimer.

I remember my first university assignment when studying psychology back in 2008. It was an essay on the nature vs. nurture debate. I remember going through the sources and deeming the debate kind of stupid. Then I got to Turkheimer, particularly the legendary 2000 article of “Three Laws of Behavior Genetics and What They Mean” which begins with:

> The nature-nurture debate is over. The bottom line is that everything is heritable, an outcome that has taken all sides of the nature-nurture debate by surprise.

And concludes with:

> The gloomy prospect [non-shared environment between siblings accounting for a large part of behavioral variability] looms larger for the genome project than is generally acknowledged. The question is not whether there are correlations to be found between individual genes and complex behavior—of course there are—but instead whether there are domains of genetic causation in which the gloomy prospect does not prevail, allowing the little bits of correlational evidence to cohere into replicable and cumulative genetic models of development. My own prediction is that such domains will prove rare indeed, and that the likelihood of discovering them will be inversely related to the complexity of the behavior under study.

Later in a 2003 study he then goes on and demonstrate that almost all of the variability can be explained by environmental effects (E) and genetic and environmental interaction effects (G × E). None of the previous readings even considered interactions and always concluded with x% E + (100 - x)% G for some x. (EDIT: Catching up my reading I actually see that more recent behavioral geneticists are even using G × E² in their models, that is, the environment also interacts with it self, and that interaction also interacts with you genotype, making for much richer models).

I turned in my paper concluding that obviously there was a flaw in previous studies that don’t look at interactions. Like why is this even being debated any more? I off course got a failing grade for the essay, being of low SES (sorry IQ) my essay skills obviously lacking as I didn’t have the skill (sorry intelligence) to formulate a coherent argument. Thankfully my boy Eric Turkheimer came to the rescue by concluding that actually in a high learning environment like a university in a country which grants equal education to everybody that my skills can be improved (sorry, I mean, my intelligence is malleable), so that I could graduate 3 years later with a first grade.

No, nobody can talk bad about my boy Turkheimer.
Why "instead" - why not both? We need to switch over to entirely renewable power as quickly as possible, so we should do everything that works.
C was invented in the context of porting UNIX, while the world outside Bell Labs used something else, that is all there is to it.
Actually I've found the "React monkeys" you dismiss to be the people who work with product & UX on what the actually product being developed should do. The "backend people" who write API plumbing and DB tables are the ones I'd worry about.
It would be far more cost effective to just beef up the insulation in your attic, rather than put very expensive sunshades on your roof.
> ability to categorize and rank content

Who has time for this? What about discovering interesting and new content amidst millions of options?
Do some of these Internet forums normalize leaking?

If so, are there suspicions that normalizing leaking is actually intentional action by an adversary? (To get the info, or to erode professionalism?)
> Using Ecto as the main way of interacting with the database was a miserable experience.

Ecto is prolly one of the best ways to interact with db. Genuinely curious, what other ORMs have you used?
Exactly!

They are paid retail price, which is 10-20X the wholesale/production price.
the article states they have not run any ransomware on the systems as of yet and they have maintained access. a backup wouldn't do much in this situation. it's not confirmed if the attackers are the cause of the service going offline and it should be presumed if they were they can take it down again.
There's a couple of Rust libs and frameworks inspired on Erlang/OTP in 'best of both worlds' attempts, such as https://lunatic.solutions

I found others like Lunatic before, but cannot remember right now.
I think the thin guy bald look a la steve jobs is pretty nice too
that's arguably a good thing
The problem is that, like so many of the hard problems these days, we have no clue what makes our own minds let alone any other mind. What’s the real path? If you could have any resources, no moral qualms at all, unlimited time, what’s the step by step process to figure out exactly how the brain and body work?
Pulumi is an IAC tool similar to Terraform (it actually usually calls terraform providers over gRPC under the hood), just written in languages like Typescript/Python. I think the intention would be to use this AI prompt thing to generate pulumi and then to insert it into your codebase, just like you'd do with terraform, and then it becomes deterministic.

I've used ChatGPT and other tools to generate Pulumi before, so I'm not totally sure how this specific tool from Pulumi is different, but I'd guess they've somehow trained it more specifically on their sdks/docs or something
Yep, did a trip that was Dublin to Belfast, ferry to Scotland, train from Edinburgh to London, only checked the passport once.
We have a brief description of a video that we haven't seen (right? I haven't seen it anyway). Even if you had the actual video, it could be easily edited to tell a specific story, or just be out of context.

The guy absolutely could turn out to be a racist. There is nothing but hearsay so far though, and the kind you should absolutely expect in this scenario to make you dislike the leaker.

> Distrusts the government, but also works for it? I'd call that a mole. The decades-long infiltration of the military by openly racist, anti-democratic, and even anti-government "people's militia" types needs to be stopped.

As to the original question, this is the part I'm reacting to: that the guy is openly racist and anti democratic is very thinly substantiated so far, but people are very ready to believe it.
No. The biggest data hoarders are alive and well in Europe.

The fines are the cost of doing business.
Agreement, I do not understand this backwards movement in the DevOps world. My hypothesis is that they are catering to a different group, i.e. enabling developers to do Ops, who don't want to learn TF and want to use their preferred language. DevOps first practitioners are in short supply, so it makes sense there is a market for this.
The Europeans behind Stable Diffusion (Stability.AI etc.) could have remained closed source and competed with MidJourney. Instead they open sourced their work.

Last I checked MidJourney is valued at $1 billion and Stability.AI is struggling to survive.
HN Insight: Social Media and Marketing Review
This app will allow you to export in markdown:

https://apps.apple.com/gb/app/exporter/id1099120373?mt=12
No, it's not making the power companies money. It's perfectly sustainable, the only thing you need for this to work is the local interconnect. The power company should charge a marginal transmission fee, instead they are trying to take power at a fraction of the cost and then add their own profits. If I can roll out an extension cord to my neighbor rather than to sell my excess power to the grid and then have my neighbor buy it at 7 times my price then I'll do just that. The power company doesn't have an automatic right to a business model or profits.
Maybe it shines if your infrastructure is really dynamic?
Big wealthy energy company is already buying power for a pittance and reselling it to someone else for a big profit. That's how wholesale and retail markets work. Why should they be forced to buy from you when a generation company will sell for 10 cents on the dollar?
Couldn’t disagree more with your second paragraph. Customers making SoCs with Arm CPUs can happily go to TSMC. Intel is desperate to get IFS working and if it hasn’t got an Arm offering it’s basically locked out of mobile SoCs.

Also Apple is a very small part of Arm’s business.
I remember watching something about a planned community in Florida.

Here it is:
https://babcockranch.com
https://www.youtube.com/watch?v=s7TrBu_uEhI

Florida may be called the Sunshine State, but it is no stranger to the damaging impacts of climate change. Miles O'Brien profiles one small Florida community that is trying to take advantage of all that sunshine, billed as the country's first solar-powered town.
Thanks for pointing this out. The description of Betteridge's law made me laugh thinking back on all the times I suspected the answer to the question.
Especially so when 90+% of the retail costs are not purchasing the power.

It is like forcing bakers to buy flour for the cost of a cake.
> UB became an actual problem when compiler vendors decided that it's fine to exploit it for optimization tricks.

Section 4. Conformance says "A strictly conforming program shall only use those features of the language and library specified in this International Standard. It shall not produce output dependent on any unspecified, undefined, or implementation-defined behavior, and shall not exceed any implementation limit."

Compilers are not allowed to produce output dependent on UB for strictly conforming ISO C programs, they must optimize those statements out. Treating UB as impossible is required for ISO C. It's NOT required for GNU C, or Clang C, or Microsoft Visual C, but they usually do so anyway (even though they're not compiling strictly conforming ISO C programs).
That's a neat compromise, but there is a lot of nasty bookkeeping tricks happening with 'green power' suppliers.
> That's a different conclusion than what you're coming to.

All I'm doing is contending the OP's claim that he is safer in SF while at the same time he is not living in a city that is noticeably less violent.

Even if you do the legwork to find that SF has average violence, the OP's delusional assertion is still incorrect, because he is not safer than the average person in the average city.
> This article misses the underlying philosophy that Carnegie used to fund libraries. He didn’t just give the money away to anyone that asked.

The article did not "miss" what you mentioned, nor did it imply that Carnegie gave the money away to anyone who asked. From the article:

Andrew Carnegie gave $7,500 to Woodbine. That paid for the 1908 building itself. The towns had to raise money for books, salaries and maintenance.

Sometimes you should trust that the reader does not need paragraphs of context to get the point.
while chatgpt and bing are useful, they absolutely do not replace the pipeline of jr devs one needs to someday have sr devs with deep domain knowledge. IMHO it's a great 'search' technology, but it shouldn't be taken for granted or assumed correct.

Also, re de-dollarization. This pops up every 5 years or so when some autocratic regime gets tired of operating under the us dollar hegemony, but I don't see any other options that don't have their own major issues. The euro? That currency is fraying at the seams from trying to stuff high and low performing countries (i.e. Germany and Italy) together without enough control over each country's finances. China? They've got to free float and stop manipulating the yuan first.

Literally nobody is as trustworthy as the USD, no matter how badly Moscow, Beijing or Tehran might wish it to not be so.
Atlantis is basically just a terraform oriented command runner. I believe you can create a custom Atlantis workflow that'll just run `pulumi preview` or `pulumi up`. That's how Atlantis supports terragrunt as well: https://www.runatlantis.io/docs/custom-workflows.html#terrag...

Our experience with Terraform is exactly the same as what you're describing with Pulumi. We have hundreds of stacks and they are all implemented differently because they are written by a hundred different people with varying knowledge of Terraform. Terraform is a goofy language and it's very hard to do even simple things like conditionals. There is also a massive amount of copy/paste because people have no idea how to set up their provider or remote states and terraform has no real way to make those DRY.
abnormal can be the accurate reality without meaning defective
The New Yorker keeps putting new takes on ChatGPT by science fiction authors and pop science authors. But they have the opportunity to earn my enduring respect by inviting janus from https://generative.ink/posts/simulators/ to write a GPT thinkpiece, hopefully after they get a chance to experiment with the GPT-4 or GPT-5 base model (no RLHF).
I had the same reaction. The whole time I was expecting a paragraph to explain why this is fundamentally different from binary classification techniques like SVM, which explicitly uses a hyperplane in high-dimensional space to divide the classes.