skysight-inc/HackerNews huggingface dataset:
This is of course very true but doesn’t take into account invention of computer that is relatively recent.

Since it in principle never makes mistakes (in practice there are of course bugs, but they are usually different in nature than human errors) it changes what is possible and most convenient. You no longer have to optimise for simplicity as heavily for example. On the other hand computers basically can’t deal with ambiguity, so the rules and statements have to be stated very simply and clearly.

EDIT: One example that comes to mind are indexes in functions. Usually they are just additional arguments that are different somehow from the “main” arguments, for example often being non-negative integers. For humans it makes it easier to think and operate about indices separately from the rest of arguments. But for the computer it’s all the same, as all arguments are treated just as argument, (of course it depends on the implementation etc) and there is no need to treat them separately, since every argument is “special”.

I believe computers can change the landscape of what’s best notation. This is an interesting, interdisciplinary topic to explore.
Microsoft Math Solver does a good job at scanning hand drawn equations. Graph and solve simple polynoms
Quite possibly the most responsive native social media application for all platforms.

It's got free storage (basically free Google Drive), behaves like Messenger, has public channels and groups like Discord and YouTube, mind-blowing cloud sync, can connect to people without sharing a phone number and tons of features that I can't really list here but you can check them out here: https://t.me/TelegramTips
For the image generation (or even indexing with the CLIP interrogator) side of things, recommend just installing the AUTOMATIC1111 github repo (https://github.com/AUTOMATIC1111/stable-diffusion-webui), it's a web ui with pretty much every variant of stable diffusion you could want to try out, like txt2img, img2img, inpainting (both textual inversion and dream booth), outpainting, style customization, clip interrogation, etc. Most importantly, there are about 1000 youtube tutorials on how to do each of these things with it, so you can pick your interest areas and just try it out without having to understand all the details first.

From there, if you're interested in how it works, I highly recommend the last 4 videos on Jeremy Howard's youtube channel: https://www.youtube.com/user/howardjeremyp/videos

He's currently teaching a class on stable diffusion from the ground up and these lectures give a really good introduction to how it all works.
I'd argue there's some selection bias going on. You're more likely to participate in a technical discussion if you're familiar with the topic. Or else you risk getting downvoted.
I think anarchists typically support direct democracy, but oppose representative democracy, which gives the representatives excessive power.

Any society will have to make decisions at some point which can't be left to individual preferences. E.g., we have a large natural forest, should it be preserved for nature, or cut down for timber and farmland? If left to individuals, the people who want to cut it down will win by default.
To answer your question: We zealots test for the fact that something changes to some degree. E.g with rubys rspec library:

expect { foo.call() }.to change { bar.value }.by(2)

That is, regardless of the absolute value of bar.value, I expect foo.call() to increment it by 2.

The point of the 1 assertion per test guideline is to end up with tests that are more focused. Giving that you did not seem to think of the above technique, I'd say that this guideline might just have helped you discover a way to write better specs ;-)

Guidelines (that is, not rules) are of course allowed to be broken if you have a good reason to do so. But not knowing about common idioms is not a good reason.

You might argue that the above code is just sugar for 2 assertions, but thats beside the point: The test is more focused, there -appears- to be only one assertion, and thats what matters.
I reduced my twitter consumption to nearly zero by simply subscribing to accounts I followed via RSS. I was immediately stunned by how noisy some pundits are and how their posts are laughably low-quality vis-a-vis posts from decent feeds like HN.
That seems awesome. Not a photographer, but I do like how proper lenses do depth of field. Apple's AI blur "portrait mode" is pretty bad at times, messing up ears and make you look like a glitched N64 super mario
This is exactly the way to go. It will unblock yourself, and improve things for future team members.
So, a web scrapper?
I don't think it's even relicensed, they pretty much just stole the code as far as I'm aware. From what I've read (I can't even reach the service as a foreigner) it's not even built on a recent version of Mastodon.
I speak Japanese but similar experience. One on one is fine but a group of native speakers together is hard mode!
> Not until he tried to violently overthrow the US government.

Try rereading twitters ban post: https://blog.twitter.com/en_us/topics/company/2020/suspensio...

He got banned for tweets that require reading with an extra crinkly tin foil hat on to get "tried to overthrow the government".
Trump's twitter clone has disabled federation as far as I'm aware.
All those whiners that go to other platforms will be back. History shows that emotions take over, but then the person calms down and returns to the usual services, platforms, etc. How many whiners and alarmists were there when Microsoft acquired Github :) so what? everyone is back and happy.
I often find HN rather detached from the "real world". ;-)

But there's certainly lots of smart people here.
> my first question is "can I write, and see, maths as actual maths instead of as programming statement?"

What would that look like?

Do you have a hypothetical example?
And quite handsome as well.

On a more serious note I think people on HN tend to be way more pedantic than anyone I would want to spend time with in real life.
Do you mean self-published, like this is, or in some peer reviewed journal?
Most do not even bother with the pants.
Can you please report concrete examples here: https://github.com/tomjaguarpaw/tilapia/issues/new

I'll do what I can to improve the situation, but I need to know which packages precisely you are talking about.
Without answering the question, it was the wrong answer, unambiguously and definitively.

No, I don’t have to have the correct, best answer to get this.
Yes. Truth is manifest, instinctive, and potent. Complex arguments are desperate labyrinth constructed to hide a big lie in the middle of the maze, attempting to ensnare and exhaust the interlocutor.
Well, the Web was 7 years old in 1996, the Internet itself probably older (multiple potential beginning years for the Internet as we know it), and at that point they were still pretty confidential...

(Not to say that blockchains will have a huge success, but it's also not like progress hasn't been happening, haven't they managed to work out viable proof of stake recently?)
It makes me think about comment sections here on HN when a study on psychedelics gets posted. Suddenly 90% of top comments are all personal anecdote about mushrooms or whatever.
Most importantly, why would it be better as a protocol? Twitter's "problems" are social and not technological.
I’m afraid I don’t understand how Twitter can end up with debt from Musk buying it. How does that even work?

Twitter the company takes out a huge loan to pay the current shareholders a fortune (which is decided by those same shareholders, no conflict of interest there at all). But who the fuck would give them a loan like that (like you say, just to have Musk at the helm)?
I still believe Kubernetes is one of the best tools out there to build scalable systems. But I wish it was more opinionated and less leaky.

Every project I build feels like a Frankenetes made of many subsystems provided by different vendors that struggle to talk to each other.

The day Kubernetes provides curated bundles for common architectures that I can spin up with a few commands, I will be in love with it. For now I have a love/hate relationship with it.
Install manjaro linua on a Chinese branded laptop?
Where in that book is the rule stated? I ask because I have heard the author explicitly state that multiple assertions are fine (using essentially the same explanation as
TrianguloY did in this comment: https://news.ycombinator.com/item?id=33480120).
The ones at work this morning are wearing pants. Most of them.
More accurate to call it a “red note” I think
Academics, scientists, and engineers. Almost every non-institutional account I used to follow in Twitter is now actively using Mastodon. The only "category" of people I haven't seen migrating yet is independent journalists, and I can understand why.
Does the Department of Justice not think it's worth spending half an hour making something a bit more accessible? No text, not even an alt tag on that image.
Shockingly bad and surprisingly non-compliant!
The feeling of wood spoons running on my tongue and lips send shivers through my spine. It's a very unpleasant sensation. I understand the need to stop single-use plastics but I rather not eat icecream if I need a wooden spoon to eat it.
Yeah, even to the extent that we have "written charisma" that's a very different thing from personal charisma. People who have "spoken charisma" become Youtubers. You can make decent money that way by starting a cult that pays you money.

We can also edit here. That makes a huge difference. Can't do that live or in person.

For very high levels of in-person charisma think Steve Jobs. His ability to convince people was called a "reality distortion field", it diminished once he left the room .. but he'd already got you to commit to building the impossible.

(Since I have 80k HN karma, and 80k karma plus eight dollars buys you a cup of coffee, I've been thinking of doing a data-driven "how to get upvoted on HN" thing. But I'd have to finish writing my scraper.)
That doesn't tell the real story though. Actual alternatives to these services do exist now and have some popularity. So some people do actually move. MySpace is an example of an eventual mass exodus.

Anecdotal, but I personally know a handful of people who deleted their Facebook account and use other platforms instead. So it does happen. The question is whether or not it affects their advertising revenue in the long run. Zucks's solution so far seems to have been buying up the competition.

It's not out of the question that one of these massively popular social networks will collapse in the next decade.
You can choose your ideology, but there is an obvious influence of societal defaults.

If you are born in Mecca, you are very likely to become and stay Muslim. If you are born in coastal California, you are very likely to become a Democrat of leftist bend. If you are born in a small town in the English Home Counties, you are likely to become a Tory. If you are born in a Catholic part of Northern Ireland, you are likely to become a Sinn Fein voter etc.

Obviously this isn't anywhere near as sticky as your skin color or even your primary language of communication, but the defaults are still rather strong.
Project Veritas is one...sure there was a hidden camera but some of the employees were quite candid with their beliefs. I don't mean to paint a broad stroke, but from the interviews, it seems like the culture of the company leaned a certain political direction.
I guess I was wrong then.

https://news.ycombinator.com/item?id=31381169
Some languages allow a stack trace to be obtained in normal code, which enables position reporting without macros. Python and Go are good examples.

If you know the file and line of the assertion, plus the values that are being checked, there's not as much need for a stringified version of the expression.
Top responses to his tweet are a very extreme sampling of twitter users. It'd be like going to a D&D convention in New York and judging Americans by what people say there.
Me? I’m not out of bed yet
Hopefully the responses are stored locally and replayed on subsequent runs.
Perfect description of my shorts recommendations. Pretty strange, and feels like I'm not alone.
Biggest instances are https://mastodon.online and https://mastodon.social but there are a lot of it https://joinmastodon.org/en/servers

Also Mastodon isn't the only platform, there are some other activitypub compatible engines which are able to federate with Mastodon. https://en.wikipedia.org/wiki/Fediverse https://fediverse.party/
Xenophobia is literally a "fear of unkown".
What I meant to say is that one could rationalize irrational fear of unknown speech with this feeling of exclusion, but could it be it's just uncommon sounds and intonations that make you feel uncomfortable?
I've mentioned Italian sales for this very reason: facing a different culture would naturally raise questions within you:
- are they talking shit behind my back?
- do they have something against me?
this all depends on your levels of paranoia and xenophobia.
As a person coming from a vastly monocultural society I used to feel this, too.
I believe the solution to this is being open for everyone and overcoming xenophobic sentiments and by no means complaining to the boss.
That’s because the example test only requires 1 assertion.

Any rule that says there should be only 1 assertion ever is stupid.
I think the Beastie Boys have had more than enough acknowledgement. They must be the most overrated band in history. Nobody is brave enough to speak up about this matter.
The one assertion per test doesn't mean you need to use only one assertion call but rather that you only need to do one assertion block. Checking everything after a response is considered 1 assertion, no matter how many assert calls you need.

The issue is when you use multiple assertions for multiple logic statements: do > assert > do > assert...
In that example imagine that you were also checking that the reservation was successful. That would be considered bad, you should create a different test that checks for that (testCreate + testDelete) and just have the precondition that the delete test has a valid thing to delete (usually added to the database on the setup).
I've never worked that kind of job, so I don't know much.

I don't understand all the other commentators suggesting going directly to your manager or even HR without first talking to them, though.

I think it'd be a bad idea to let this fester to that point without giving them the courtesy of a simple conversation. I wouldn't make it a big deal. One specific time you think they're probably talking about the project come over and say hi in English. If they don't switch language, ask them if they mind switching to English. Keep doing that and maybe eventually they'll realize the problem.

If that fails, directly ask them to speak English when talking about work as a group because you need to be able to participate. If that fails only then do you escalate to your manager.
Whoops! I am quite out.

More recently, that's doubled to 0.5 TB/month[1].

Still, the point I should have made is: is using twice or thrice the (presumably) median unreasonable? Not necessarily.

Of course, deprioritisation after a certain amount isn't unreasonable either, provided there is succificent truth in advertising.

[1] https://advanced-television.com/2022/10/13/study-uk-homes-us...
Ads.

Apple is making the user experience worse with each place they allow ads - the App Store and hawking other Apple services at each opportunity.

Services.

While I have no problem with most Apple Services, the idea that the 5GB of free iCloud storage hasn’t changed since 2010 is ridiculous. How many photos have been lost because of it?
Huh! Never heard of it before.
Even if you don't specify the message, at the very minimum, the output should look like:

FAILED: test_when_delete_user_then_ok
Assertion failed: `actual_return_code' expected `200', got `400'.

Note it mentions the actual expression put in the assert. Which makes it almost always uniquely identifiable within the test.

That's the bare minimum I'd expect of a testing framework - if it can't do that, then what's the point of having it? It's probably better to just write your own executable and throw exceptions in conditionals.

What I expect from a testing framework is at least this:

FAILED: test_when_delete_user_then_ok
Assertion failed: `actual_return_code' expected `200', got `400'.
In file: '/src/blah/bleh/blop/RestApiTests.cs:212'.

I.e. to also identify the file and the line containing the failing assertion.

If your testing framework doesn't do that, then again, what's even the point of using it? Throwing an exception or calling language's built-in assert() on a conditional will likely provide at least the file+line.
Sorry, I missed your message. I'm using bird2 (and networkd for the tunnels) but sending the configs here doesn't work that great. Feel free to reach out by mail and I can send you a copy (news@2krueger.de).
For sure this is a learnable skill.
I made Linux packages for open source projects that were not my own, and definitely learned a lot about this. If anyone wants practice today, go set up a bunch of random GitHub projects.
Amen- I am generally like “I hope they are not sending their best... because that would be depressing”
If Twitter becomes interoperable with other services, this is literally the opposite of tech neofeudalism.

Tech neofeudalism manifests itself as walled gardens where the cost of leaving is very high for the serfs.
In person I’m extremely uncharismatic, and have a poor grasp of the English language, my mother tongue. I write better than I speak most of the time, though.
It's great that more people are moving to the properly federated FOSS alternative! Even if they are doing so due to unreal fears.
Well .. yes? Obviously picking what you say for your audience and only saying that is a basic requirement for getting social respect, and blurting out what you think regardless of impact will get you regarded as boorish.

You have to have a lot of charisma to play being an asshole for laughs and credit, and that only works in-person and not on the internet.
Most of the web is angsty teenagers, shills, bots (rare footage of one in the wild: https://www.youtube.com/watch?v=N5dauIYZTs4) - normative people, especially charismatic ones have better things to do with their time than post online.

Since outrage drives clicks websites are incentivized to turn into the jerry springer show. HN is not ad supported and the focus is mostly on technical subjects, too boring for the riff raf with underdeveloped emotional control.

Relative to this sad state of affairs we shine, I suppose. You could do a lot better just maybe not on the internet. If you want to see how this community is not immune to turning into a zoo look at any thread where anything remotely political crops up.

Compare and contrast with old timey talk shows:

https://www.youtube.com/watch?v=G_PUUHLknDI

https://www.youtube.com/watch?v=Gz7tiBZdGvE

Deeming the awkward nerds here as 'super charismatic' really just shows how far we have fallen as a society.
People used to be a lot more civil and eloquent. Some still are just not in any public sphere.
How I understand the parent post: Twitter has cost Musk a lot of money. Musk will now have to get a lot of value from twitter, and that will probably be bad news for the user.
It could well be easier to run such a scanning company from the mentioned countries than in many european ones where it's illegal or a gray area.

(But there are also other reasons your conclusion is wrong I think)
Using the sensor with existing, working software support is easier than one without it I guess?

Not anybody is able to take a modern sensor and make it work with just any device. If you are the type of person who both can do that and is willing to do it, the whole community would definitly be grateful.
I dunno.. I think I'd go crazy with all the BS being posted these days.. It would probably make me wanna walk off of the edge of the earth.
https://forums.lenovo.com/t5/ThinkPad-T400-T500-and-newer-T-...

It's an option in the UEFI.
Up there with pro war / Ukraine invasion Roger Waters
I believe theres a rubocop that checks for it:

https://docs.rubocop.org/rubocop-minitest/cops_minitest.html...
When bacteria eat anything, they produce CO2. But instead of energy you get compost. It's not clear to me that one is better than the other.
There's a lot of not very competent people in the industry who cling tightly to dogma.

Testing (especially unit) is an area of tech weirdly with a lot of dogmatism. I think Uncle Bob is the source of some of it.
> getting the US to start a war with China at Taiwan

The wording is weird. The US cannot start a war over Taiwan, the only way for a war to break out there is for China to invade.
Maybe it’s different in other languages but in JS and .NET the failed assertion fails and you investigate the failed assertion. You wouldn’t ever have a situation that isn’t obvious.

If an assertion says “expected count to be 5 but got 4” you wouldn’t be looking at the not null check assertion getting confused why it’s not null…
They didn't try to end daylight saving, they tried to keep DST (i.e. Summer time) for the entire year.
> Programming languages are not that dependent on the number of users as human languages are.

But it's still a significant factor. CTOs base their technology choices (languages and libraries) on the popularity of those.

Common Lisp is one of my favourite languages, yet when programming something with my friends I have to do so in other languages. Why? They simply don't like the syntax. It looks weird and alien to them. No amount of ecosystem, usability and performance improvements will make them ever consider it, and that's fine.
There is a documentary called "Duty of Care" about lawsuits along these lines. Governments are getting sued for endangering their own citizens through inaction on climate change. Similar lawsuits are being brought directly against oil companies.
Oh, I miss MathCad, I wish we had a decent FOSS clone.
Touristy's Meteoric Growth
The reason why this happened is instructive. Fighting spam is really hard and the best way to do it is to be good at machine learning and to have access to a good percentage of worldwide mail, unencrypted.

Since there's no reason to think that Mastodon is immune to the spam issue, this strongly suggests that whatever replaces Twitter will quickly consolidate to a single dominant player, or perhaps a handful. Or it could collapse under the spam issue like Usenet did.
Probably in more or less the same way multiple competing viewpoints and opinions improve the search for accurate information.
Working with sage for about 17 years, I've had the complete opposite experience. There is no alternative for holistic number theory, group theory, and algebraic geometry (except maybe MAGMA, which I haven't used in years), and sage does these extremely well (sometimes with the aid of things like Gap and PARI), and this is evident by the large number of citations it has in papers. Plenty of leading mathematicians use sage in proper research, a property which I don't think Mathematica shares.
I just can't get myself to see this as a genuine disadvantage.

On Mastodon you can choose the server to use (and thus the moderation). Sure, this means you can choose a server run by a 12-year-old who moderates poorly. But if you don't want that... don't pick that server!

The problem (no, ONE of the many problems) with creating good moderation is that different people have different definitions of what constitutes "good" moderation so it's impossible to satisfy all of them. If Mastodon allows the user to choose, that seems inherently better.
Some pieces of firmware on the machines are signed by the same keys in the secure boot database. Deleting the keys ends up blacklisting the firmware and so now the machine can't start up correctly because it no longer trusts hardware it needs to work.
What's the solution?
k8s!

What's the problem?
Anything!