skysight-inc/HackerNews huggingface dataset:
> HN mostly reminds me of the Usenet of the late 1980s - which was in a way the social media of its time.

In terms of signal-to-noise ratio and the content focus, you're right. HN is the closest thing to the 80s Usenet community that I've found on the Internet of the current day.

However, Usenet was never social media. You didn't connect with people like you do on social media and 'follow' them. On Usenet you joined discussion fora, which sometimes included the same people across multiple fora, so you would get a sense of the poster and their calibre and quality.
Do people think that algebraic geometry might be thought of as the root of all geometry? (With differential geometry being another root). You've got Euclidean, generalised to affine, generalised to projective, generalised to algebraic geometry. The objects of study in projective geometry are all algebraic sets of some kind; in fact, I'd more accurately say they're subschemes of the scheme RP^n. I think this view has been put forward by Norman Wildberger* (who admittedly has some controversial views on mathematics, but I think this suggestion is helpful for motivation).

* - Without mentioning scheme theory.
No Two Human Brains Are Alike
I used to barely cook when I lived small with a shitty kitchen (because it was so annoying and depressing), once I got a good job and could afford a nice place with a big kitchen, it suddenly become a lot more enjoyable to make my own food.
Thank you for sharing this mix of negative opinions.

The title on HN is written by mattkevan, so if it’s misleading that’s on them.

If the photos are used in frauds, that’s on the fraudsters.

If you are unable to enjoy deliberately kitschy custom-made cases because they’re kitschy, that’s on you.

Personally I find these creations absolutely delightful. Maybe there’s something else in life you can find joy in.
Show HN: A tool for conducting a virtual card sorting
TL;DR: I ended up yak shaving a tool for conducting a card sorting online, and wanted to share it because I couldn't find one myself. Also I don't have to maintain or host it so it should stay up for a long time, hopefully.

https://github.com/indigane/cardsort

The long version of why:

I wanted to conduct a quick, one-off card sorting for a side project, but after spending hours looking at the available commercial and open source solutions, I couldn't find one that worked for me.

The commercial ones either had too restrictive free tier with only 20 cards or so, or they lacked basic features such as open sorting vs. closed sorting, or they would have cost me upwards of $100/month.

The open source ones would have required me to self-host them, which I wasn't too excited about, and after trying docker-compose up on one of them and hitting errors after errors, I was even less excited so I gave up on that. I also looked for demos of open source projects that could have worked for the one-off use I needed, but no luck there.

I wanted to avoid spending time developing my own solution, as I already had the side project I was supposed to be working on. I also especially wanted to avoid spending time on maintaining and hosting. If I could get away with a static site, no database, thus no need for me to host it, and get it done without spending too much time on it, it might be worth it, and maybe someone else could benefit from it too. And the result was this.

The lack of a backend has some obvious trade-offs, but the benefit is that it is fire and forget, and I can hopefully come back years later and use it again for some other one-off thing.
186 funding rounds in United States, India, United Kingdom, Israel and more.
Akuity, Inc., Arcadia, Chainalysis Inc., Hugging Face, STORD, Talos, Carbon Clean, Paddle, Token, proteanTecs, Therapixel, Dock raised funding rounds last week.
If you need to see the output of commands and tasks in ansible, select a different output callback. Where I want something rudimentary, I use `ANSIBLE_STDOUT_CALLBACK=json` and a tool like github.com/okapia/ansible-json-monitor to parse the json.
While the former maintainers post was very interesting, as I see it mostly helps with applications that already manage the sudden power loss use case. So a database can make use of that explicit API to somewhat better handle a snapshot, with no lingering transactions.

With only a COW filesystem snapshot, the end result will still be correct in case of programs that use transactions (as mentioned, dbs will either have commited all the transactions and the data is saved, or one was in-flight, those will be reverted and you are still in a consistent state). For programs that don’t support transactions both might be faulty, for those that support transactions COW will work correctly and for those that support this API COW will again work and might save a bit fresher version.
Clickable link https://github.com/indigane/cardsort
Given the typically antisocial attitude of "entrepreneurs" treating them like children is unusually defensible.
> Your characterisation of "someone whose belief trumps rational arguments" hits it quite well on the head.

Those words were a quotation from your post :)

It seems to me like a good definition of a certain kind of person who I don't like to argue with, but I don't like abdicating the term "fundamentalist" to them because I consider myself a fundamentalist / because it just doesn't seem to really fit.

I enjoyed this exchange, thanks and cheers to you.
I think the amount is far too low but charging them is reasonable. Maybe they won't do it again. I suspect with such a low fine they don't care really and they'll just pay it.
> Maybe he just decided to expose the real amount of bots on Twitter and this is the only way it could actualy end in something accurate and something most people will take as a fact?

This hypothesis lacks any credibility given that, according to Bloomberg's article, "The [merger] contract gives Twitter the right to force [Elon Musk] to close, and put up the $27.5 billion of equity 1 that he has committed to the deal, as long as his debt financing is available."

No one in their right mind signs a contract binding them to pay up billions just to check how many active users does a social media service have.
> it simply does a counter intuitive thing of zeroing everything

It might not be an implementation bug, but that is just asking for bugs.
Possibly very hard to find bugs.
Traditonally this was so; today I'd say linear algebra gives more over a larger range of subjects.
Might be a European perspective, but I wonder how much a "right to speak to a human" would improve Bit UX as a 2nd order effect. Like, after a certain amount of revenue, your 1st level support needs to be able to be able to( or forward you to someone who can) do every possible interaction that is possible on your system, within 5 or 10 minutes median waiting time, with some simplicity constraints on basic things like cancellation (including a ban on upselling, delays etc), written with a "spirit not letter" style like GDPR. Either make a very expensive callcenter or a good UX
> There’s only one active profile and one user and one catalog and one persistence layer. There’s only one DOM and one window.

But --- hopefully --- there are more than one unit/component tests. ;-)

But I agree, there are contexts in which global variables may make sense, e.g. sometimes in an embedded system, sometimes in a short throw away program. As usual, the community of software developers discusses guidelines without clarifying the context or the assumptions they are working with. Since there are almost no universal guidelines for programming those discussion go on forever.
Buildup of solar heat likely contributes to Mars' dust storms, researchers find
Too open to abuse and being gamed for nefarious purposes, both of which result in a blocklist that's effectively useless.
Stop asking for generic Landing page feedback. Do a 5sec test
Until the anti-abortion side comes clean with their argument about exactly when and how a pregnant person loses their right to protect their body from anything including a fetus, it is a dishonest argument in which one side is allowed to repeatedly get away with blood libel.
> Did Usenet not require any moderation? Or was it simply the barrier for entry that made people behave like the access was a scarce resource? Or what do You think made the period so unique?

Usenet didn't (in general, IIRC) have centralised moderation. Usenet had the famous killfiles, which you maintained and which elided the posts of people you found to be a nuisance.

https://en.wikipedia.org/wiki/Kill_file
No, I'm simply asking the inconvenient question, that's different. How can it change?
Why are you moving the goalposts (ignoring the premise)? Sandstorm apps (like e.g. Etherpad, advertised right on the front page) aren't already doing lots of client-side work (locally), like I originally said?
This is quite a traditional attack going back years at this point. It's also incredible effective and regularly used by car thiefs across the world. The hardware thiefs use to execute the attack sometimes differs per brand or model so it's not a universal attack per se, but leaked data sets about car ownerships make it easy to get a good return on investment for even just a repeater that only works on a single model.

These automatically unlocking keys should really be stored in a Faraday cage while not in use. When it comes to phones, well, disable Bluetooth when you're not near your car if you've set up this functionality, I guess…
If and only if you would have used electrical heating anyway, then using a GPU's waste heat for heating your home is one of the best things you can do with it and it's "100% efficient". That is, 100% of all the energy your GPU consumes also ends up as heat in your house and it's thermodynamically equivalent to any other type of resistive electric heater.

Of course, the energy consumed by any even semi-serious mining operation far exceeds a home's heating needs.
Google allows personal accounts to keep using legacy GSuite for free
Google finally allowed personal legacy free GSuite accounts to opt-out of “upgrade” to Google Workspace. You can continue using your custom domain with Gmail, retain access to no-cost Google services such as Google Drive and Google Meet, and keep your purchases and data.

The option is a little hidden in the admin console, but should be available in the following link:

https://admin.google.com/?action_id=SE_SELF_TRANSITION&utm_source=helpcenter

Note that it applies only for personal use, businesses will have to switch to one of the paid Google Workspace plans.

For me, it's too late. I already switched Mail, Calendar, and Contacts to another provider, but I'll at least be able to keep using Drive/Docs and keep mu Android purchases.
Uganda sued over digital ID system that excludes millions
> even consumption typically does not destroy any matter nor loses any to the void of space.

Yeah if you scale back to the universe nothing ever changes and nothing matters at all.

If you start looking at air/soil/water pollution (which is only a fraction of our problems) it's clear that our ways of life are far from ideal. But sure, the atoms are still all there, I don't think that's the part that matters tho
I'm saying that even when it does reach this level, we will still question whether it really knows/thinks/understands things, or is it merely a big database. Ultimately, it's a philosophical question whether a machine can be alive. Even when we build the singularity, we'll still wonder if it really fears or hates us, or is it just a dumb paperclip maximizer.
Explain to me what's unequal about requiring boards to be 50/50 male-female? That’s not even how far the law goes, but let’s take it that far. There’s an equal number of men and women born in america. That gives every child born an equal shot at one of those seats. To allow unequal boards would be to allow people to discriminate based on gender when picking board members. To mandate that is to legally require a level playing field. That’s equality, not the equity you seem to have beef with.
The links under the “links” heading don’t work¹. Is the author lost & is this why it was put on IPFS?

¹I checked the TOR one, and eccs.world w/o the prefix, but the dat:// is unknown to me
That's fascinating; I'm not familiar with this use case. Is there anything stopping you from using the SVG output of Inkscape?
I think the plaid has this as well now. Older model S didn't have this.
Those are very versatile bits of kit. I use them in bed, but also if you travel and you carry an external travel monitor with you, you can essentially use it as a monitor mount to raise the monitor to a more comfortable eye height.
Is this not a replay attack?
> Both garbage, but that's the cafeteria choice you get in late stage capitalism.

If you're in Paris and you're willing to pay 15€ for your burger menu, King Marcel is ridiculously good.
Many or most robocall caller IDs are spoofed, so a block entry has a short timespan - a few hours to a few days. That’s why many people use apps. Check out AT&T’s free CallProtect app or your mobile carrier’s equivalent.
But discontinued
That's funny, because I was thinking the opposite. One of my first electronics projects years ago was an interactive museum piece that played audio and tested people's comprehension of some material they had just learned. It looked almost exactly like one of these things, and really want that hard to build, even as a beginner just hacking things out.

https://youtu.be/oIFA7msO_x0

Hardest part was getting all of those lights and buttons to be addressable from a single Arduino.
I keep seeing people say this, but where did you all read that he agreed to the deal without any due dillegence?

I read someone calling Musk the idiot and confidently stating twitter would run their bot checks against the entire userbase because they're competent. Then Musk tweeted their internal check is literally from a sample size of 100. Next twitter called him to say he violated NDA by publicly disclosing that fact.

Twitter does not come off as an honest company. They don't use a standard measurement for DAU, they admitted to inflating the numbers on top of that, and now we know their bot check for what, 100MM+ accounts was from n=100?? I honestly hope he tanks their stock price when he backs out and buys them for $10b or something.
You migrated for more service.

This is aimed at people who migrated because Google announced that the previously free service would now be paid.

You paid because you needed more than the free tier.

Not saying you can't feel left out, but this announced path is about undoing a very specific thing, that you were not a part of.
Thanks. I don't follow US non tech news and was genuinely puzzled about this.
Musk has no history of pumping and dumping or trying to make a quick buck like this so it would be completely out of form for him.

Musk is a straight forward person and has said on many occasions that he absolutely hates deception and strikes out at people that he thinks are deceiving him. Similarly he's not the type to lie either. He says what he thinks are the facts at the time he says them.
> to know whether it’s the right tool for anything and whether strong types are actually a good idea.

Nope. I don't know what you mean by "a good idea", and I prefer typed languages myself (mostly for tooling support), but I do often point out that the claim that types improve correctness — let alone the claim that they do that better than other approaches — is an empirical claim that is not supported by empirical evidence (which, in fact, appears to contradict it).

Also, that there have been few programs written in Haskell, and that Haskell has failed to demonstrate that it leads to better correctness are both pretty basic facts.

> All of the solutions I know to these problems involve types.

I don't know what you mean by "solutions to these problems", but while we've not found a correlation between types and more correct programs, we have found correlations between code reviews and tests and more correct programs. Types might well be the solution to many things (e.g. automatic refactoring and jump-to-definition), but the empirical evidence we have suggests that increased correctness isn't one of them.

> Surely you’re not saying that optionals don’t eliminate null pointer dereferencing, are you?

Types certainly eliminate various kinds of errors, yet studies did not find that they reduce bugs (except in specific circumstances; for example, there was one study that reported that TypeScript has 15% fewer bugs than JavaScript).

Just to give you a sense for one reason that happens, we can take your example of Maybe types. A null pointer exception occurs when code assumes a reference can't be null, but is wrong to make the assumption. A Maybe type would force a test somewhere. But the question then, is, what do you do when the value is empty? A brilliant study on software correctness [1] found that most catastrophic crashes in distributed systems occur not because programmers fail to consider certain exceptional situations — in fact, the language forces them to consider those situtations — but because they frequently do the wrong thing when those situations occur.

[1]: https://www.usenix.org/system/files/conference/osdi14/osdi14...
Multiple people should get demoted for all aspects of this "launch".
Not really. VC are investing institutional money. Institutions in the US are willing to invest in "private-equity venture capital". Hell, even CALPERS does.

It has nothing to do with the federal reserve and everything to do with risk tolerence.
Not suprising given Boeing's record with the 737 Max.
I switched yesterday to the paid Workspace account. It was weird needing to come up with a company name to do it. I'm glad Google offers this option now for people who've used the legacy GSUite in order to be able to have a custom domain name for email.

It looks like I may be able to undo this switch:

> If you transitioned to Google Workspace after January 19, 2022 and used G Suite legacy free edition for personal use, you can [contact Support](https://support.google.com/a/answer/1047213)
Check out https://lepiter.io/feenk/introducing-lepiter--knowledge-mana...
> This kind of sounds to me like he's decided he doesn't want to buy and is creating a reason not to.

Bloomberg's article points out that this sort of desperate copout is not possible under the merger deal that Elon Musk signed, and even if Twitter decided not to push for a legal dispute they are automatically entitled to a $1B payment from Elon Musk.
17th of May
> lot of naysayers

yeah there's lot of stigma somehow. sitting is the most unnatural pose, i can't see it being healthier than laying down.

as long as you remain active, any pose is ok.
In the case of housing standards, a lot of stuff is codified in zoning laws and such.

Our legal standards for what constitutes minimum acceptable housing actively fosters homelessness and any discussion of how those standards are excessive -- even in comparison to other developed countries with high quality of life -- gets ridiculous replies completely shooting down the idea that if civilized, well heeled people in other developed countries can feed a large family with a smaller kitchen, then maybe we have room to design smaller kitchens in some of our housing units.
They prefer to stick to their own walled garden when it comes to this stuff and I can't disagree with that. Perhaps if the phone's API for things like CarPlay and NFC were to be fully open they would consider integrating, but I don't see why they should prefer the specifications and constraints of someone else's walled garden over their own.

Both Apple and Google significantly limit access and enforce limitations on what Android Auto/CarPlay can and can't do. You're effectively picking and choosing your walled gardens when you use these products.
I like this a lot. Did you get that from somewhere, or did you come up with it on your own. It's captures the spirit of my metrics philosophy really well.
Nobody has mentioned pull requests, content review, managing commit/write privileges. There's a bunch of basic workflow things there that version control systems can facilitate. That doesn't mean you specifically need Git (or even a general VCS) for those things, but there are places where it could beat the status quo significantly.
Is there something like this but free of allocations at runtime? Things like a queue for example with a preset/defined maximum size of entries that won't suddenly grow but rather tell you that it's full. I made an allocation free JSON parser/serializer once but I don't want to reinvent the wheel all the time ... Embedded devices with low RAM are still a thing and allocation free code is often mandatory.
I think it comes down to supply and demand as with everything else. There are tougher filters (interviews) now because there way more people applying for jobs than ever.

Even for people with CS degrees the competition is fierce. To most companies especially Big Tech experience matters little they just care that you can pass an interview which includes leetcode and system design, and if you really put the effort you can learn both from scratch without even having any experience. Unfortunately such is the current market.
Yes, I also think that the art didn't age very well, the 3D world being quite confusing to navigate IMO.

I forked an open source reversed engineered implementation of that game some time ago, you can see it in here: https://github.com/canassa/betrayal-at-krondor

My hope was to get it working and eventualy update some of its graphics but I never had the time to properly work on it.
Cool project! Why did you choose Pulumi?
The shortage is almost over, it's back to business as usual.
I'm just left wondering whether you ended up finding a polar arrangement tool in Inkscape or not.

It did make me read your whole post without skimming, so kudos on that.
Logseq allows query via datomic: https://discuss.logseq.com/t/advanced-queries-and-the-databa...
...with a revokable patent grant.
JEP 424: Foreign Function and Memory API (Preview)
I suspect the existence of Google Docs is the main reason.
I think the problem there is that talking to a human per se doesn't help much, if said human isn't qualified (and that might be for reasons as simple as not speaking/understanding your language sufficiently). I've had interactions with human call center agents for things as simple as rebooking a flight that could have been taken straight out of a Kafka piece.
Your other option for Kagi will be to pay-per-use (with pre-paid credits).

I don’t have that many subscriptions, so I’m not getting any fatigue ;)
> Not familiar with blogrolls

Not directed at you specifically but this is the actual problem.

We already had a good system for these things. Delicious, blogrolls, RSS, the folksonomy ..
Zoom is worth less than it was before the pandemic
Agreed. For many people forced to deal with git, the git concepts are just word salad.

On two occasions (different people) in the past year, I got in a very confusing conversation with someone asking for help with git, because they kept talking about how they did a "pull request" when they really meant they did a "git pull".
Our experience with expert AI in other fields, from the Clippy to modern social media and government applications?
Any sources on this? I'd like to sleep better at night.
Yeah, the later works were very much fan service. Very easy reads if you’re on a holiday though.
I would say that there is not enough use cases that show and say "Look at us - we are using Git". I recently switched from WordPress to GitHub pages. It has all that I need. But then again, I work in IT. I'm not sure who from my friends would trade Wix or WP for Git.

Same goes for Excel, Word, etc.
Why are people driving Nissan Leaf to work when they could be driving Veyron Bugatti? Its clearly more powerful and way faster.
New Study: Hating Facebook Is Bad for Us