skysight-inc/HackerNews huggingface dataset:
if i remember correctly the printing press was banned for a long time in turkey because they believed that would cause death to hand calligraphy workers. that might've been a good argument but the idea was more insidious. people would get fast access to knowledge and the government control would get less and less to what they could control.

the same could've been said about telegraph or telephone when they first came out.

telephone has been online for around 100 years or 150? it is centralized, every country IMO has wiretapping laws for law enforcement agencies but has that stopped criminals from using the tech?

email must've felt the same, IM too.

why should centralization be the panacea for everything?

tomorrow android will be used by criminals to build their own crimeOS that is built on android><lineageOS and it is the single biggest criminal sindicate doing very nasty stuff. should android and lineage devs be concerned if a section of their users use it to build their own crimeOS that is made to evade police? more importantly, how are THEY responsible?

one can argue, "well they should be responsible for their software if it falls into the wrong hands so they should build some sort of protection or backdoor for genuine law enforcement agencies".... would'nt this argument apply to knife makers too? what will they do? make you use the sharp edge in kitchen only by using NFC tags on the chopping board?
Universal Code of Conduct/Revised enforcement guidelines/Voter information
Banach-Tarski from a constructivist/intuitionistic point of view:

"So it really seems that when we switch to constructive theory, it actually does something even better, it eliminates this pathology altogether, making balls behave more sensibly?"

https://math.stackexchange.com/questions/175675/intuitionist...

I like theories without crazy theorems. And I like theories with crazy theorems.

Edit: the link below from soVeryTired to Andrej Bauers post is better
My ELI5 understanding is it's a problem of throughput and resource availability.

Long story short, running two threads with only enough hardware to run just one at full speed means any thread that tries to run at full speed will not be able to.
This is brilliant!! Thank you for sharing.

I had no idea who this guy is, and the talk series. How much field-relevant brilliant content am I missing?
Perhaps we should call it Web Speech API.
Have seen this floating around since last week - Currently GTA V is disabled in my household. What's interesting is the silence from Rockstar on the subject whilst lots of the community are actively saying this is happening via Reddit and other forums.

My thinking is this is an active exploit for Remote Code Execution and Rockstar are not confirming or denying until a fix is in place. Give the potential would be great to see something from Rockstar soon.
> On a higher level you can't delete things anyways, because as soon as you has shared them with a third party the control is out of your hands anyways

Most things are readily forgotten once removed. No one cares enough about someone like me to keep a public archive of everything I've ever posted anywhere.
It seems Victor's vision has a hard dependency on an environment that makes this kind of meta-manipulation very natural and easy. Basically it seems his vision is the UX extension of this lower-level DX vision:

https://www.youtube.com/watch?v=8Ab3ArE8W3s "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)

Of course this kind of runtime freedom/power/access probably has a performance cost, aaand I have a hard time figuring out how it would work in a real-life setting.

So yeah, instead of this super-universal tinkerability what's really needed (at least in the short term) are better tools. A better strace/tcpdump, better frameworks (better batteries included in more places). More care for "post hoc" error investigation. (Yeah a 2000 line exception going back to EveFactory(AdamsRib) factory is great, but what was the incoming HTTP request? What was the value of the variables in the local scope? What was the git commit that produced this code? Etc.)
I was bullish on SSB and it was definitely a cool experiment (completely decentralized; doesnt even need a server, p2p social networks!) but at the end of the day, if those "benefits" are not explainable to the layman (or not even benefits) then it's never gunna succeed. Most of us are online all the time, and don't need a fully offline-first social network. I'm now much more excited about mastadon, though I dont really use any public social networks myself. Social networks amongst my friends have been replaced with group chats via Signal and Whatsapp.
Yes, bonding the hydrogen with something could really change the tradeoffs dramatically.

For example, the main ingredient in gasoline is C8H18. It has good energy density at atmospheric pressure, and the fire risks are manageable. We already use carbon/hydrogen systems today!

I think one of the candidates for metal hydride fuel cells is MgH2? It apparently also has decent energy density. Of course, magnesium poses some risks of its own. And I personally have no idea what a complete supply chain and refueling system would look like, or what it would cost.

Still, I fully expect that any portable energy storage is going to come with tradeoffs: cost, pollution, rare materials, and always the risk of catastrophic discharge (via fire, explosion, or messy kinetic failures). We should pursue multiple alternatives and invest in basic science, because portable energy is incredibly useful.
And that brought us to the world of a thousand broken links, threads becoming dead graveyards after a few months, and people archiving threads using screenshots. The current internet is terrible at archiving anything.
90%[1] of popular DSLs turn into Turing-complete languages over time. And they usually end up as very badly designed Turing-complete languages.

[1] Or some other made up, but still very high number.
Rethinking PID 1 (systemd announcement post) (2010)
It's still astounding to me that the 'fractal trick' starts working in R3 and not already in R2.
Declining population isn't entirely relevant. Japan's major cities still continue to grow, and western countries will probably continue to grow as a whole due to immigration. I still suspect that we will see housing bubbles pop in some major western cities, but many will fight it to the death. I predict that whole industries moving to areas with more reasonable housing policy will be the cause. We already see it in cases with investment in Eastern Europe (especially Ukraine until a year ago), and southern U.S states. Part of me hopes that these cities with horribly selfish housing policy end up like the declining western cities that lost out when manufacturing went overseas.
I am glad lambdas did not get removed. I think another common use of lambdas is partial function application, since Python is missing currying and such.

I encountered the need for this in numeric optimization. I want to have a function with more arguments for readability reasons, but want to fix all of them except my optimization domain.
Without taxes.
I’m from the creed which does everything in eMacs and doesn’t even use a spell checker, and at the risk of being the old man that shouts at clouds, why would you want to compromise your ability to reason in this way?

Don’t do it! And don’t use a spell checker either! Get better and internalise more, you won’t get there with a crutch.
Perhaps we are in new legal territory, where existing copyright laws and legal theory doesn't cover the issues completely?

I wonder how things will go if (or when) similar AI technology enters the realm of production industries e.g. manufacturing or chemical. One can imagine that data of actual production plants and processes are obtained using drone cameras, pictures, schematics, text books etc. This data is then analyzed and synthesized into improved production flows, using the same method, which basically claims (it seems to me): we did not use any of your actual production knowledge, we just let the AI learn the principles. None of the original IP is in the AI working data. No patents are violated etc.

If this technology is sold to the manufacturing companies - that can choose to opt out or opt in by buying or not bying - there probably isn't a problem. If this technology is used to establish competing manufacturing companies, where the economy can be significanty improved, and thus drive the existing companies out of business, then what?

I think in the latter case, the AI company would be obliterated using lawsuits, without any thought given to the merit or legality of the AI tech. Or at least the AI company would be bought out using an "you can't say no" offer. And thus effectively shut down.

Now I think of it, this seems to boil down to some philosphical issues where these thought experiments are needed and have value in order to work out what the issues really are. Perhaps an issue here is that there isn't much value on artists and works of art in general (with some economically strong exceptions like movies), but there is very strong protection of other industries - industries with vested interests, strong economies and monetary resources to defend against attackers.
Find a job you truly love and allow it to take all your attention.
Twitter to launch ad-free subscription tier, Elon Musk says
Don't hacker news mods also have a heating button?
Unrelated to the article in question, but using ℝ over 𝕽 for the reals is more of a modern development. If you read older articles and textbooks, many will use 𝕽 rather than the sleeker ℝ (most in my experience, but results will be heavily affected by your cut-off for 'old').

I don't have direct evidence for my speculations, but I presume the reason [fraktur](https://en.wikipedia.org/wiki/Fraktur) was more common in mathematics back in the days is largely down to articles having to be type-set using movable type. If you insisted on using ℝ over 𝕽, you were likely to make life considerably harder for your printer (which in turn meant higher printing costs), since they would be considerably more likely to have to cast new types. As printing was modernized and movable type was replaced by more flexible printing-technologies, this pragmatic reason for preferring one glyph over the other went away. Another explanation/contributing factor is that the switch seems to have occurred in tandem with the barycenter of mathematics switching away from continental Europe and towards the US in the post-WWII period (at least if we disregard Soviet mathematics which also flourished in this period, but which was largely published in Russian). The average American would probably be less familiar with 𝕽 and other fraktur glyphs than the average German.
This VS Code might be relevant to what you’re asking: https://dev.to/ko1/rstfilter-vscode-extension-for-your-new-r...

It prints the results of executing your code line by line, next to your source code.
Tell HN: Paul’s law”: the computer you really want is $5k
My brother Paul back in the early 1990’s once said “the computer you really want is always $5,000”.

This has held remarkably true for 35 years. Sure you can invalid it easily by saying you want a Cray XMP or a fancy Apple or whatever but fact is for consumer machines, the computer you really want - a really nice fast machine at the high end of the consumer range - has been about $5,000 for a long time, and remains true.

It was even true through the mid to late 70s and 80s.
Ask HN: Starting a startup with a sibling: how to not destroy our relationship?
I am planning to co-found a startup with my brother. We will be bootstrapping. The business is not capital intensive.

I heard of enough stories how relatives or close friends lose the relationship due to some quarrel in the business. Which questions should we ask (and answer!) ourselves before we endeavor into this? First and foremost, we want to avoid situations that can be avoided that can lead into an irreversible conflict.

Both anecdotes (I did X and it caused Y, and it was great/awful) and general advice would be appreciated.

Thank you!
Madness? No, this is a calculated move.

In the 90s, Lula and his party founded the São Paulo Forum, a conference for latin american left wing political parties. Basically a socialist gathering where they scheme on how to turn latin america into the 21st century soviet union. I'm not exaggerating, I have videos from those days of Lula, our current president, openly saying his plan was to install socialism in Brazil, and to do it slowly so that nobody would even notice it was happening.

All of the socialist leaders of these countries are his literal buddies. They fuck up the economy of their own countries with their socialist idiocy and then come to us for money. And what does Lula do? He gives it to them. Just like that. Well, he lends the money to them, but they don't really pay it back so yeah. A few days ago I saw a video of him discoursing about the Venezuela guy whose name I don't even care to remember, how he'd come see him and wouldn't leave until he got the "plata". Then he'd say that since we're such a "strong country" we had to help him. With taxpayer money.

I wish I was joking.
Yeah the current "remote" really really sucks and sounds like snake-oil. It also give wrong stat when reading online comments. Many people that said it's easy for them often came from people live in the same city and country as those companies. "Remote" by default gives an impression that's it's global.
It's important to note (for those who didn't read the article) is that this article is not about why and how Japan is a Harbinger state but rather why scholars study Japan.
Suggesting vegetarians are poor?
(There’s probably a better title)
The breakthrough for me was when someone described what it means for two sets of things to be the same size.

This is super basic, because innumerate shepherds can use it to count sheep. As your sheep go out in the morning, for each sheep, take a small rock from a pile and put it in a bag. When the sheep come back in, take a small rock from your bag and put it back on the pile. Any rocks left in your bag at the end of this? If yes, you've lost a sheep and have to go find it. If a sheep comes back and you don't have any rocks left, oops, you've got someone else's sheep, so you should probably see if any other local shepherds are missing any.

Or, how can you tell if you've got as many students in your auditorium as there are seats? You look for students without seats, or seats without students. If there are no spare students or spare seats, you have the same number of both.

In both cases, you don't actually need to know how many sheep, rocks, students or seats there are. You just know that the sets of "sheep that went out" and "rocks in a bag" and "sheep that came back" are the same size, and "students" and "seats" are the same size, because you can establish a 1-to-1 mapping between every element of each set.

This is the important result - if you can establish a 1-to-1 mapping between every element of two sets, those sets are the same size

Therefore, if you can show a 1-to-1 mapping between every element of "all integers" and every element of "all even integers", then those sets are the same size. And you can. For each x in the set of integers, you map it to 2x in the set of even integers. Every member of either set has a single equivalent member in the other.

And that's how you can make an infinite amount of space in your infinite-but-full hotel, by moving every guest from room x to room 2x.

Yes, infinity is weird.
Which ads provider are you using?
Spotify Seen Cutting Staff as Soon as This Week to Cut Costs
Are you seriously trying to assert reddit isn't OVERWHELMINGLY editorially curated.
Well we have many ways to do it by abstraction — libraries, recipes, patterns, and so on.

I think that this sort of thing will handicap a dev in the same way that learning to write with a spell checker can (does!) handicap writers.
In my dream I always find a flea market with all sorts of vintage electronics, but it's invariably selling for insanely high prices because "retro" has become a fad among greedy collectors hoping to make a quick buck. At least the high prices act as an incentive to keep the stuff out of landfills.
If a woman bears many children throughout her life, you can still have a situation where the first pregnancy occurs much earlier than today's average yet the overall conception average is roughly same as nowadays.
My favourite is the UI used by emulators today, it's so ugly:

https://fantasyanime.com/emuhelp/images/epsxe-memory-card4-t...
Due to limitations in the borrow checker, this implies a 'static lifetime
None of those show you what the powermods (in collusion with the admins) didn't deem fit for your consumption.
it is idealism - which is to say, the righteousness of the cause (the right to keep and share secrets) outweighs the practical harms

I consider dragnet surveillance to be more harmful to society overall than the existence of sex and drug trafficking
I for one look forward to the check from DuPont that will surely cover all this.
There is at least one language that does this as a form of its core mechanism of execution- Mercury Language, a declarative/logic programming language.

Its type system is fairly complex. To accomplish the goal you describe, functions must be declared as deterministic, non-deterministic, or multi-deterministic. Meaning, they always have a solution, sometimes have a solution, or multiple solutions for the same input.

Armed with that information, the compiler will throw an error if you haven't thought of all possibilities in your logic flow. The fact that the type system required you to be very descriptive in many different ways compounded the number of bugs that the compiler would catch before your program ever runs... I think someone said "if you can get your code past the compiler, it will work on the first try."

I wish Mercury were more popular, it's an awesome project!
Is there any law that required Apple to do this? On a global scale even?
Sony used to be like that.
Every system decays into corruption (any kind). It's just a definition of humanity and the sooner you get it the faster you'll extract happiness from all this chaos.
Go type in any of those artists and/or the names of their works in to both Google Images and Stable Diffusion.

Notice a difference?

The image that is generated from SD is going to be so far from similar and something that someone else would choose instead of the plaintiff’s works it’s comical.

Rather people are using SD to create music groove synths, remove people from the backgrounds of images, turn their dogs into Dali paintings, and many non-infringing uses (Sony v Universal).

At some point VCRs, Google Images, Google Books and Stable Diffusion all make indiscriminate copies of many works. A factor that weighs heavy in both determining fair use or not is how useful the tool is for non-infringing cases, in favor for Google Books, against for TorrentFire-things. Since SD is basically incapable of recreating any of the plaintiff’s works and entirely capable of many things that has nothing to do with the plaintiff’s entire industry it weighs heavily in favor of fair use.

The fact that the artist’s names come back is because the name is associated with a visual style. For Sarah Anderson you can get better results for her style by using “quirky, black and white cartoon, striped sweater, big eyes”… and then get back grotesque cartoons and sift through trash, inpainting for hours… and then end up with an entirely original cartoon looking thing that is noninfringing because styles cannot be copyrighted. Neither can ideas! (Seldon v Baker)

Someone uploading “Sarah Anderson SD Tuned Model” to HuggingFace could be infringing on a trademark violation or a common-law publicity violation, but that’s already protected and has nothing to do with making copies for the sake of training an algorithm.

I’m not sure it is currently illegal and should ever be considered wrong to have “Sarah Anderson is known for her quirky black and white cartoon characters with big eyes and black and white striped sweaters that she puts on daily calendars and sells on Amazon” be knowledge in the public domain as this is a fact about the world.
I would like to see more of these tools except based on work sampling instead of trusting the user to accurately report a full account of their time.

Basically the tool I'm imagining would ping me (in the asynchronous email sense, so not actively disturb me) at random intervals with the question "what were you just doing?"

The basic problem is that self-reporting is not very reliable. I don't have the study at hand, but it is fairly noise and consistently biased in favour of some types of tasks and against others. I believe work sampling could be more accurate, but I have yet to see someone develop that tool.
https://archive.is/uGDuC
That's the benefit of working with high-paying customers!
Does the UK have private doctors? If the public system has endless wait times, can you pay $$$ to a doctor to see them quicker privately instead? (Assuming one has $$$ to spend - I acknowledge not everyone does, and the people who would gain the most tangible benefit from a psychiatric diagnosis are often the people least likely to have the $$$ to pay for one.)
Talk about Crypto Winter to the guys who have earned 25% this month. It's a roulette, not a crisis.
I was trolling, sorry.

This API already exists. It isn't nearly as good as Whisper.cpp (at least on macOS).

Docs: https://developer.mozilla.org/en-US/docs/Web/API/SpeechRecog...

Demo: https://codepen.io/Rumyra/pen/NWLyLe
> Curious if there is research here on how this impacts the company?

I remember reading something like this in Simon Sinek’s “Leaders Eat Last”[1]. Might’ve been anecdotal examples instead of research, though. I don’t necessarily recommend you read the whole book, but it may be a starting point for references.

My answer to the next quote is partially informed by memories of the book.

> Seems like it would also increase stress and encourage top performers to seek new opportunities.

In the case you cited, everyone got a proportional cut but senior management’s was higher. That signals to workers the company is prioritising them over short-term profits, increasing trust and making workers more invested in getting through the slump with the company as opposed to running away. If they’re successful and wages go back up, a powerful precedent of trust will have been set. Which might not even be necessary, as a company which goes this route probably has given other signals over the years.

Maybe that doesn’t matter to top performers who only care about money, but fortunately I don’t think those are as prevalent as HN may make us think.

[1]: https://www.goodreads.com/book/show/16144853-leaders-eat-las...
> It is important to note that Brazilian economy's minister said there is no plan to implement a common currency

Yeah sure. He just backpedaled after all the negative public reaction. Don't doubt it for a minute.

> It seems to me that this is something that Argentina wants, while Brazil has no practical interest in it.

Obviously.

> Worth mentioning that Argentina is a country that is dealing with deep financial crisis and heavy inflation and a common currency could help to reduce inflation. Brazil had similar problems through the 80's and 90's.

Of course it would help them. At our expense.
But they were so confident about it!
It was wrong.
I don’t have statistics, but it’s definitely true. The bike industry has been booming like crazy, parks have been busier than ever before, Peloton stock through the roof, etc. I definitely am not claiming that people are getting more exercise on average, but it’s very clear there is some subset who are.
Bitwarden design flaw: Server side iterations