skysight-inc/HackerNews huggingface dataset:
Obligatory Lunduke warning, but I feel like the main point of the article (that the project was led by someone without any qualifications in leading such a project) still stands.
The article doesn't read to me to be an argument about whether sharing a kernel is better or worse (multiple virtual machines each with their own kernel versus multiple containers isolated by a single kernel).

The article instead reads to me as an argument for isolating customers to their own customer-specific systems so there is no web server daemon, database server, file system path or other shared system used by multiple customers.

As an aside to the article, two virtual machines each with their own kernel are generally forced to communicate with each in more complex ways through network protocols which add more complexity and increase risk of implementation flaws and vulnerabilities existing. Two processes in different cgroups with a common kernel have other simpler communication options available such as being able to read the same file directly, UNIX domain sockets, named pipes, etc.
Hmm, but we still got paid a visit in 1968 and had Russian nukes ready in case capitalists crossed the border.
There put scaffold up just to hang advertising?!? That is so incredibly expensive, how can it be worth it? I had recently some shutters installed at my home (second floor) and the most expensive part was the scaffold…
Do you have a CDN between you and Apple / Spotify? Because if you do I think that Apple/Spotify are polling that CDN every few minutes and the CDN is having its bandwidth wasted invisibly, but presumably priced in.

Also I agree that the re-centralisation is a bad thing, mainly.

(I'd like to move to email to discuss this further, if possible: I have an arXiv paper to write!)
I wonder which paint programs have options to take account of that pixels on older computers often weren't square shaped.

For instance the Amiga had 16:15 (PAL) and 5:6 (NTSC) shaped¹ pixels.

1: https://amiga.vision/sachs
What's interesting is that setenv itself is protected by a lock so multiple parallel calls to setenv ought to work (I didn't actually check). getenv doesn't use a lock.

https://sourceware.org/git/?p=glibc.git;a=blob;f=stdlib/sete...
Looks pretty interesting. Although I have been a Java developer and has a preference for Eclipse, would like to see if this can ease out some parts of development for me.
I suspect that the cost for push notifications might have to do with the costs imposed by Apple and Google for their respective OSes' notifications backends, but don't quote me on that. The $3.5/user/month smells like a way to recoup that kind of cost without making it overly burdensome for folks within one standard deviation of the mean.

That said, it appears that XMPP might be workable here: eJabberd is still actively maintained, and there are mobile clients (namely, Monal for iOS and Conversations for Android) that appear to support push notifications. Given your talk of self-hosting, I feel comfortable recommending something that requires some degree of system administration investment.
Apparently, the "self-hosted + free" combination allows mobile push notifications only up to ten 10 users.

https://zulip.com/features/

https://zulip.com/self-hosting/#self-hosted
And now only rich corporations have the money to show off their big signs.
Lots of smaller companies had to hide theirs, but ones like IKEA or MAKRO
did manage to evade it, and will probably continue to evade it happily. Also
some billboards are now empty, and are still covering up the tree line, because nobody wants to spend another cent giving the amount of money everyone had to pay up for this.

I've actually moved out from Cracow shortly after this legislation, not directly because of it, but this surely contributed to the decision. The direction Cracow is heading to is clear -- you will have nothing and you'll be happy.
There is literally zero accounting happening in the article but seems solid anyway on what it does cover.

One thing I’d suggest doing different - instead of trying to inch up credit limits rather have that conversation at same time as the investment. ie we’re looking for a provider to park 15m but we also need a credit line/cards/whatever. The sales team wanting the 15m will push to make the line happen internally. It’s the key moment where you have leverage.
"the root cause is widespread poverty and income and wealth inequality, nothing else"

That sounds like article of faith. The GP is speaking about the UK - wasn't it always a very socially stratified society? What about other poorer European countries? In a cross-border comparison, there is no obvious strong correlation between the parameters you mention and violent crime, how could there be a causal relationship then?

And if we limit ourselves to the US, what about crime development in time? It certainly didn't rise and fall in lockstep with poverty, income and wealth inequality, not even in the last decades.
How to use Dune Analytics to query and analyze on-chain data from Ethereum
Excited to introduce Dune Analytics, a powerful tool for blockchain data analysis! With its user-friendly interface and robust querying capabilities, Dune makes exploring Ethereum data a breeze. Whether you're tracking token movements or monitoring DeFi protocols, Dune Analytics is a must-have tool for any crypto enthusiast or professional.
I'm similar, though I have a helper script to quickly jump into a worktree for a branch, and then asks me to delete it when I leave. The main repo is for work, and the semi-temporary ones are review, remote, or whatever else I need.

The advantage of worktrees is to have only a single .git, instead of cloning it for every purpose, and also needing to update those separately.
The marketing budget for a billboard / poster campaign is in the millions; they have to spend it somewhere or they’ll get less next year.
Would cost a few million dollars upfront with effectively zero marginal cost. Less than buying one tank or starting a McDonalds.
There was CodeRibbon for Atom to navigate the code you work on: https://coderibbon.github.io/CodeRibbon/

How do you feel about that view of navigation?
Mobile notifications are almost an antipattern, especially with the Zulip mobile app being what it is.

Definitely try it out without bearing the mobile experience any mind.
There's nothing arcane or particularly theoretical about soundness. It means that if you have an expression of some type, and at runtime the expression evaluates to a value, the value will always be of that type.

For example if you have a Java expression of type MyClass, and it gets evaluated, then it must either throw (so that it doesn't produce any value) or produce a value of type MyClass: either an instance of MyClass, or of one of its subclasses, or null. It will never produce an instance of some other class, or an int, or anything else that isn't a valid value for the type MyClass.

In addition to helping human readers reason about the code, a sound type system is a big deal for a compiler: it makes it possible to compile the code AOT to fast native code, without inserting a bunch of runtime checks and dynamic dispatching to handle the fact that inevitably some of the types (but you don't know which) are wrong.

The compiler implications are what motivated the Dart language's developers to migrate from an unsound to a sound type system a few years ago:
https://dart.dev/language/type-system#the-benefits-of-soundn...
so that they could compile Flutter apps AOT. This didn't require anyone to make their code resemble what you'd do in a theorem prover — it just means that, for example, all casts are checked, so that they throw if the value doesn't turn out to have the type the cast wants to return.

TypeScript is unsound because when you have an expression with a type, that tells you nothing at all for sure about what the value of the expression can be — it might be of that type, or it might be anything else. It's still valuable because you can maintain a codebase where the types are mostly accurate, and that's enough to help a lot in reading and maintaining the code.
AlphaZero is more general than a Go and Chess AI, right? Isn't it a general self-play algorithm?
Cursor is really one of the "killer software" of the AI revolution.
I immediately wanted to answer: you are wrong about the violent knife guys, that's only a feeling, look at the statistics, the crime rate in UK is decreasing like everywhere else.

Then I looked for the link to support my argument. OMG, statista says that the violence rate is skyrocketing since 2015, at least in England and Wales. This is not the case for other Western European countries.

Quite interesting! I try not to interprete these numbers, because I don't know the reasons behind them.
They generally throw it away in the place where they're opening it. Usually, you don't open stuff up until you get home, and I would hope you have a trash can there.

The big factor for foreigners is that people don't normally eat and drink while walking down the street; it's generally considered rude. If they stop and sit somewhere and eat or drink there, they keep their trash with them instead of throwing it on the ground like many other countries. If you're just getting stuff from a convenience store, you can usually throw stuff in the trash cans there.

Most stuff I've seen doesn't have an absurd amount of disposable packaging, but that is really common with the gift boxes of sweets that are commonly bought at stations and given as gifts. But these you don't normally eat in public.
Show HN: Generate faceless videos in no time with Vadoo AI
Vadoo AI is platform designed to automate the creation of faceless AI driven videos for social media. Whether you're looking to post on YouTube, TikTok, Instagram, or Facebook, it's an all in one solution.
Here's a direct link for anyone who, like me, would be interested in reading the original article: https://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf

That's an impressive list of authors, for sure.
Seems pretty interesting. What are the external services that you are supporting currently. Also can I add some API calls with this?
> Centralization is evil.

This.

It doesn't matter what the official regime is, as long as the decisions are made by a disconnected committee with no way for the periphery to steer, it's always shit.
If any discussion of it includes Jew hatred, then HN is not the place for it.
I guess I'm trying to give them a charitable viewpoint. Discord is far more community focused than, say, Slack. You're right that they do seem to be going all in on monetisation now, but I see that less on the few open source project Discord servers I'm on.
Was that actually put to a shareholder vote though?
Those of us running sites for public information rather than sales cannot make the simple cut-off that you do.

And again, none of this is simple. It has taken me a few weeks to establish a usage mechanism that does catch the worst feed pullers, but it still can hurt legit new users. That is an opportunity cost.
Yup that was how I imagined it, makes a lot of sense. Thanks for clarifying.
Show HN: My spin on a crossword-style game
As a crossword lover, I’ve toyed with the idea of making a digital-first word game that combines clues to find hidden answers with linked letters.

This take allows for other features not present in traditional crosswords to be introduced, for example, different levels of difficulty (i.e. more letters paired = easier and viceversa) or having more flexibility when it comes to clue-making.

This is my first version, hope you like it!
1) Some years ago, I lived opposite from a school with children aged 6–18. Some used the bike – the school was reachable by a bike path–, others walked, took the bus or the tram.

Then there was the parent-taxi group, who were hauled into their parents' SUV right after school. I wonder how they were ever able to spend time with their friends, be spontaneous or just ... "explore."

2) 1995. In our village, some children aged 6 took the bus alone. As a child myself, I was amazed by that. I would have never imagined to do that (I lived in walking distance myself, so I walked.)

But these pupils weren't "alone", of course. They might have felt alone at first, but of course everyone knew a six-year-old with a backpack at 7:30 is headed to school. The other children in the bus know. The bus driver knows. Everyone knows. You can't really get lost.
could try kagi maybe? i’ve liked it
Given the natural built-in introspection capabilities of the language, I never understood why something like that wasn't also a built-in part Python.

I mean the number of times I've bumped on json not being able to dump the content of an object is just infuriating given how flexible Python is.

I'm definitely giving this a whirl.
Observability cost out of control – Is this most simple way to price?
As I’m saying to Stavros above, I think many of these decisions don’t get put to a shareholder vote. The voting mechanism is generally extremely coarse afaik.
How were you able to store the logs at $7/m?
How to Use JavaScript Abort Signals
> Oh yeah and if the interface removed a method and you didn’t realise you might be dragging that useless methods for a long while. Then again it’s not like your Java-style interface is any different.

In C# I usually use explicit interface implementations. (They're inconvenient to type, but Rider has a macro for it.) When the interface changes or disappears, my code won't compile.
The "why not btrfs" line boils down to "it took a long time to be stable".

That's a weird argument. Even if it's true, it is now stable, and has been for a long time. btrfs has long been my default, and I'd be wary of switching to something newer just because someone was mad that development took a long time.
I know what you mean, but I'm happier paying for one specific feature that I know costs them than for an arbitrary tier, although the latter is fine too (they have to make money).

Generally, Zulip is one of those tools that I'm happy to pay for even if I don't need any of the non-free features. At $40/mo, it's worth it for the multiples of time it'll save you.

Definitely try it.
The key factor is that typescript is not a language, it is a notation system for a completely independent language.

The purpose of typescript is usefully type as much javascript as possible, to do both this and have a sound type system it would require to change javascript.
Where "pay" is pretty much just a symbolic amount. Same reasoning why shopping carts often have a 1€ deposit. The price is close to zero but makes a big psychological difference to actually being zero.

Relatedly, offering stuff for free on ebay/craigslist/whatever turns up some incredibly entitled choosing beggars. Offering it for a token amount gives you very different results.
> Discord isn't doing anything that is technologically ground breaking by any stretch and are around "solely" because of network effects.

Discord is handling identity management and anti-spam. Both of those are a gigantic PITA.

Until open source gets a good answer for both of those problems, the federated solutions will always be also-rans.
This is great. I wish something similar could happen where I live but civic consciousness is very low around here
why should a self-hosted server limit notifications by number of users? its not like the dev team is doing any hosting for notifications that they need to pay for bandwidth and stuff?

i do understand the need for "charging people somehow", same as how some say their product is open source but you still have to pay per user even when its hosted on your own machines, why bother then? its not like i have "security" concerns from E2EE of facebook.

when we are talking "self hosting" then that would mean i get to self-manage but also i am not restricted by features otherwise whats the point?

look at zulip for example.

their cloud hosted version is plus version for $10/user. same for self-hosted business version at $6.67/user. So at the cost of self hosting and management and storage and administration i am only getting a discount of $3.33? again, why bother at this point?
Does the new "public channel" feature not solve that?
Question: Did another animal take the role of the vultures?

Nature is very efficient. If there opportunity, it seems like some animals might evolve to fill that role.
> Have you seen many dozens of reports of Ukrainian nationalists destroying memorials to the soldiers who fought Nazis? And, as if it's not bad enough already, building memorials to Nazi collaborators whom they consider to be their heroes?

Don't listen to stupid Russian propaganda...
If you're interested in games that teach real-world epistemic skills, Jane Street just publicly released Figgie: https://www.lesswrong.com/posts/PypgeCxFHLzmBENK4/poker-is-a...
having windows popup from the object your looking at is indeed something they like to do, you'll have friends there :)
Tangential: I live in a rather rich suburb in the US, there are barely ANY billboards, drive ~10-15 miles away from the city everything is littered with billboards.
Most of them advertise what I can only summarize as "probably spam".
Tt is an interesting corralation and I would hope the state would just ban them.
My argument would be that we don't really know which tech products would be successful, because any attempt to create a better product is immediately crushed by a "free" ad supported alternative.

The ad model yields worse product and are actively killing off any attempt to improve, because the majority of people don't understand the downside of financing products using ads, rather than direct payment.

The ad funded model is only successful if you view the world solely in terms of profit. I think Windows is a good example, the product doesn't improve when Microsoft loads the install up with ads and telemetry, but it is more profitable, and therefor more successful, if you're a stockholder.
Something I like to do, to keep my personal space a tiny bit more ad-free:
when on a flight, bus-ride or similar, where you have ads placed right in front of your eyes (mounted on the back of the seat in front of you), it's usually possible to slide the cardboard with the printed ad out, sideways, simply flip it and put it back. Enjoy a nice, calming, white rectangle for the rest of your trip.
The term "wanted peace" includes the millions of people who built homes in the suburbs due to anxiety over desegregation in the cities, and preferred the peace of living in an area with an almost all white population, of similar economic status, and where the laws inhibited change in the status quo.
Highly doubtful. Stock market does not really affect OpenAI nor would SearchGPT boost Microsoft's stock, which supplies OpenAI with GPUs and servers.

I think it's far more likely that OpenAI wants to stay in the news given Llama 3.1, Mixtral Large Enough, and Claude surpassing 4o.
I remain confused by your argument, and unconvinced that you are making a point
>This is not the case for other Western European countries.

It is in some of them like Sweden for example.
Sure. What I said, or had meant to say, was in reply to people complaining that there was some kind of cartel against negative results. Rather, what we're seeing is just the natural, if unfortunate, response to the basic problem with negative results as a whole. You can't just treat them as the same as positive results: because of their numerosity they require unusual justification for their publication.
I made a service (https://imgz.org) and showed the pricing as "$5/year". I got SO MANY complaints that "$5/month is outrageous" that you better believe I changed the price display to "$1/month (billed yearly)".
> $6.67/user/month billed annually or $8 billed monthly

it doesnt say you have to prepay $80/year.
why say "/month billed annually"?

what benefit does that give?
Btrfs lost its credibility and many people would never trust it.
We've switched a lot of our C# to Go because it works better for a lot of our concurrency computation, and I've found that it's easier to refactor because you have a single implementation of an "interface". I say that in quotes because Go's interface{} isn't really like a C# interface and what you'd use for "classes" in Go is typically structs.

I think it's easier to think of Go as a mix of Python, Typescript, C++ and others, making sort of the same re-implementation that Java/C# originally did with a more modern approach. Please not that this is neither completely correct and opinionated, but I think it's a good way to explain it. Similarly I think Typescript is a better way to think of objects in Go than what you may be used to coming from C#. Stucts work much like Type/Interface in Typescript and you're not going to have issues with it because anything you change will be immediately obvious in your code. It also means your functions live in isolation from the objects, and this is perhaps one of the "weaker" parts of Go coming from C# because it won't be blatantly obvious when you're working with an object until you get the working behind = assignment and := declaration + assignment. On top of that you have the Go interface{} which isn't really comparable to a C# interface and it's much easier to think of it as the Typescript "Any/Unknown" type. This isn't exactly true because it's an unknown type where all you basically know is that it holds no methods, meaning that unlike the Any type in Typescript and somewhat similar to the Unknown type {} is actually useable in Go.

I don't think there is a good reason to chose C# for new projects if Go is an option for you. I don't think there is any reason to use Go if you plan on using C#, maybe because that is what your team does well. We did it because we needed coroutines easily and because most of our programmer aren't really C# programmers but Typescript programmers. We found it to be a delight to work with, however, but realistically I don't think there will a reason to adopt Go very often if you're big on C#/Java. At least unless the landscape of the talent pool changes into Go orientated, as it'll typically be much easier to hire and onboard people from C#/Java.
> Modern "containers" were invented to make things more reproducible ( check ) and simplify dev and deployments ( NOT check ).

Why?

I have my RPi4 and absolutely love docker(-compose) - deploying stuff/services on in it just a breeze compared to previous clusterf*k of relying on system repository for apps (or if something doesnt work)... with docker compose I have nicely separated services with dedicated databases in required version (yes, I ran into an issue that one service required newer and another older version of the database, meh)

As for development - I do development natively but again - docker makes it easier to test various scenarios...
`LazyCell` and `LazyLock` are in da house!
What if they're sleeping and won't read the notification until they wake up?

Wouldn't they get compromised?
any and unknown are perfectly sound, if they were the only types then soundness would be automatic.

The problem is that you can arbitrarily narrow types (and any can narrow to any type) eg: https://www.typescriptlang.org/play/?#code/DYUwLgBAzg9grgOwC...
News report of the test train crashing into the nuclear flask: https://www.youtube.com/watch?v=ZY446h4pZdc
> I actually wonder how much "overhead" a VM actually has. i.e. a linux kernel that doesn't do anything (say perhaps just boots to an init that mounts proc and every n seconds read in/prints out /proc/meminfo) how much memory would the kernel actually be using?

You don't necessarily need to run a full operating system in your VM. See eg https://mirage.io/