skysight-inc/HackerNews huggingface dataset:
> PRC accepting US has forever military presence in East Asia is not easy

They already do: see Japan and SK and the US military presence in Taiwan is minimal. There is no base there and no large scale military presence and likely wouldn't need to be if China decided that it's less friction to simply normalize relations and economically embrace Taiwan instead.

I have cousins that moved to China and married Chinese citizens because that's where the the opportunity and money is. If China wanted to garner allies in SE and east Asia, it's actually easy: be a better ally than the US rather than be a bully.

The fact that Japan and SK exist as a democracies right next to China means that a fully free Taiwan isn't a threat at all. China changing their stance on Taiwan would quite dramatically shift the political dynamics with virtually no sacrifice on their end.
> It's only in the last decade that I've noticed the specific language of "keep your seatbelt fastened even if the light turns off".

It makes you wonder why they ever even turn off the seatbelt light. Just keep it on the whole time, just like the equally anachronistic no-smoking light.

I feel like the light is just there to mollify the older generations who didn't grow up with mandatory seat belts wearing in cars, fought those laws loudly, and are still bitter that the government makes them take a sensible safety precaution. Are there enough of those people still flying that it makes sense to keep that light in use?
I haven't read nearly as much as the author but having read the Peter Green book on Alexander a while ago, I agree with the general premise of the article but have a few reservations. Maybe I'm wrong, I read the parts of the book talking about the specifics of battles faster because I thought it was monotonous.

I guess the biggest thing is, if Philip II was so smart, why was it Alexander who became Lord of Asia and not him? Oh right, because as even Machiavelli (otherwise a fan of Philip II) notes in the Discourses, he got killed because he didn't avenge Pausanias after he was raped despite multiple complaints. So much for the pragmatic genius. And it's not like Philip invented the idea of the phalanx, though yeah he was a pretty incredible military organizer.

Did Philip even have the ambition or desire needed to conquer Persia? Would he have had the tolerance needed to actually rule these areas that Alexander demonstrated (i.e. marrying Roxane despite it upsetting "old guard" generals, keeping in place a lot of the local government structures/making deals with people like Porus) or would he have insisted on violent rule that would have created conditions ripe for rebellion?

Alexander had to fight in insane conditions against armies with elephants in India. And he won. Yes he inherited a lot, but I think he's more versatile than implied here.
Kapton!

Has a large temperature range.
I love when machine learning is used to create genuinely new things* instead of trying to imitate human processes. Both "alien" and "human-like" directions are related, but the human-like results aren't as mind-blowing because, well, we do it ourselves already. This reminds me of those controlnet images that represent different things on different levels, results that feel like magic.

* Yes, the Aphex face (HN favorite) is mentioned in the paper along with a bunch of other interesting references. I'd argue that there is a difference here. It's the way in which audio and spectrogram are both representational while being encoded by the same information. The difference might be a bit subjective.
Kind of like a government contractor naming itself "Boondoggle Industries". Which would be funny, if someone's looking for company name suggestions. ;)
Not sure if they did this, but they could fly over a reporter to last place they observed the AirTag and have them look around.
Because that accounts for 99% of Internet traffic? If you're doing something outside of the norm, and you don't want others to know about it, you should probably exercise good browsing hygiene, regardless of whether your ISP is commercial or municipal.
Here's a particularly bad example of lack of density:

https://investor.vanguard.com/investment-products/mutual-fun...
Mobile apps are constrained by accessibility (touch target minimum size), so you probably won't see the density renaissance you're hoping for.
dwarf fortress

ultima-likes

minecraft

I’m not much of a gamer, but those definitely made a pretty big impact on me as far as what one or a small group of people can accomplish
I saw Mark Cuban advocating for any platform which shows content to children to be required to publish their algorithm. IMO it is the most logical approach to the entire discussion.
surprising ! the link that i submitted does seem to work just fine for me, as does the one that you have posted.
Honestly I doubt they bother with that when they can just randomly smash open 10 cars to check them in the time it would take to do a Bluetooth scan.
If we could perfectly simulate the brain and there were quantum hidden variables, we too could “fix RNG and get deterministic output”
The company that owns the fiber, or cable, is allowed to charge a reasonable fee for managing the infrastructure. Because most of the companies owning the fibers aren't ISPs, but power companies or just infrastructure companies, the fee is normally the same for everyone.

For bandwidth, I don't know, but they all share a database that customers can use to lookup what speeds are available for their address. I think what they do it that they have trunks coming in at various locations, so that after a certain point you transit from the fiber provider to the actual ISP. My fiber provide, which I never deal with, I only interact with the ISP, have connections to 130.000 homes and businesses. At their terminus the ISP needs to be present with a connection of their own, or more frequently, one they rent from back-haul providers.

That allows me to pick from 13 different ISPs on a single fiber connections and about the same on the cable from the local cable-tv provider. Prices are pretty much identical, but then there are added services or the quality of the service where they differentiate.
Multiplication tables is useful enough to memorize. Where I got tripped up is factors that look very similar to each other but has different answer.
Probably an ex-subversion user
Lawmakers being generalists does not preclude them commissioning their own research.

Just being briefed on an issue from both sides isn’t sufficient, they could both be wrong.
You have a good point, though I'd say at the heart of it the issue is that design is just complex and there's no one true way to do it.

You point out web vs mobile, but of course as you probably use "web" as a shortcut for "PC", web also applies to mobile. Then on a 27" screen you might have one window full screen or 20 windows overlapping and an actual 7" browser to display the site. And others will be on PC, but with a 13" touch screen. And others on a 10" phone but split in half.

Then some people will increase text size and your design will need to deal with it.

Before you realize it you have dozens of constraints and requirements to think about, start dropping some to satisfy others, and inevitably people will be pissed at the result.
Tried this out on a Ruby codebase and it generated Python tests: https://github.com/Codium-ai/cover-agent/issues/17. Is there any data available on whether this actually works?
If you can receive a passing mark for AI generated content, that's principally an indictment of the evaluator.
Meaningless statement. You can say the exact same thing about any law.
I do, as well, but I don't think that the companies that run Social media should be let off the hook (which they say they should).

Utilities are regulated monopolies. In exchange for a monopoly status, they need to abide by some pretty strict standards (like regulated pricing and service maintenance), and are forced to work with entities that they would normally avoid.

Things like open APIs, algorithm access (that could be classified, but should be accessible to folks that are accountable to the consumers, etc.).

Not a simple structure. What we have now, is pretty haphazard, and has grown organically. The current utility/public infrastructure setup is the result of hundreds of years of disasters, ripoffs, successes, and learning.

Not sure if we have to go through it all again, or if there is a possibility of taking learning from current municipal structure, and apply it here.
You can also encapsulate information with e. g. frames which is what UIs used to do in the 90s. This provides both higher density and saliency.
If all you've got is a high density hammer, everything looks like a low density nail
Half of all plastics ever manufactured have been made in the last 15 years.
https://www.forbes.com/sites/sap/2024/04/17/earth-day-2024-p...

it's an issue.
You don't need 128 bits for memory addressing, but for just processing - yes, and in fact 128 bits is far less than we're using already! If you look at https://github.com/ggerganov/llama.cpp you'll see this line:

> AVX, AVX2 and AVX512 support for x86 architectures

Guess what the 512 in AVX512 stands for?;)

On GPUs I'm pretty sure the same thing is in play, but I'm less familiar. A quick search turns up ex. https://developer.nvidia.com/blog/implementing-high-precisio... which makes me think yes.
> Dyson Swarm doesn't require new technology.

It’s still a pipe dream though
>One is that he's very pedantic and will spend significant time on things that aren't the main point.

You aren't gonna believe what ACOUP in acoup.blog stands for
I agree with this. The seatbelt light is as anachronistic as the no-smoking light. They should just keep it on at all times. People obviously are still incorrectly interpreting "seatbelt light off" as "I should take my seatbelt off now."
> He leaves out a lot of relevant information anytime the CIA is involved in a story.

What do you feel has not been covered sufficiently in the MKULTRA podcast series?
A disposable film camera isn't a replacement for a digital camera, it's a replacement for a potato with analog film and the bottom of a beer bottle as a lens grafted onto/into it.
Universities and the professors there, often act as judge, jury and executioner on their fiefdoms. It's not like most students are wealthy enough to afford to sue the university for failing to objectively apply the rules they themselves set.
Firstly, as someone who is frequently driven nuts by strawman arguments, thank you for spreading the general message!

In this particularly case though, I think you're missing the point. Apple takes an opinionated "we are right" approach to design, and it's typically an all-or-nothing thing. If Apple decides to allow choice, then you get choice. If they don't, then you don't. It's one whole, beautiful, integrated system (as they would say). There's a lot of (intentional) friction[1] in place to make keeping a toe in or out very uncomfortable.

[1]: Don't think this needs a citation, but if you disagree take a look at the "buy your mom an iphone" stories and the internal emails about making iMessage work on Android (Apple/Android families and all that)
Not just single use, but all things with short lifecycle. Cheap electronics, plastic toys, fast fashion clothing with 100% polyester (good bye, Zara, lock‘em up Shein) etc etc. It must be illegal for businesses to offer plastic merch to customers and employees as a gift (all that ugly branded stuff is a crime against humanity committed just to spend some HR or marketing budget).
Aha, yes of course I'm only talking about cases where the actual processing time is over 1 second and you can't help but make the user wait (or do something else in app in the meanwhile)...

Delaying a 1 sec process to show me 10 sec of ads is one of the many definitions of evil
My large company just launched a project to encourage previous employees to come back and apply to jobs again.

Business decided it would be mobile only, web support is 2 years away at least.

There's been a lot of issues because, A, nobody wants to install their previous employeer's spyware app, B, nobody wants to do job applications on a tiny screen, and C, a lot of the step up authentication requires the web browser, but is explicitly disabled for these folks meaning lots of them can't complete login.

It's completely bonkers.

The worst part of it all is the mobile app requires authentication for everything, including resolving tracking links and shortened urls. These people HAVE to go to the webpage to sign up and get the mobile app, but then can never visit the webpage again.
AI won't end. We will just stop talking about it because it will just be so common.
> and i can't at all agree that UX-wise it's a letdown.

...even when we're in a thread, discussing the lack of toggle-setting for an annoying default?

MacOS deserves some credit; Apple hasn't whittled away it's features too far yet, and the UI is still fairly nice from an outward-facing perspective. They focus well on keyboard-shortcuts and do a generally good job focusing on getting the basic windowing and desktop presentation right.

Really though, if you give me the choice between a Windows machine and a Mac I'm rapidly approaching the point I'd only take the Windows machine. Using MacOS, for development purposes in 2024, is a nightmare. Docker doesn't work; Homebrew is hanging on by a thread and acts different on different architectures; the Mac default coreutils play musical-chairs when they're outdated; basic APIs and cross-platform frameworks (eg. OpenGL) were forcibly removed in favor of insular non-replacements. Unless you're an absolute apologist for proprietary software solutions it's just so hard to say MacOS is a particularly great user experience today. For christsake, you type git into the terminal and get a modal asking you to download the 5gb developer toolkit - it's absurd.

Part of the problem with setting good defaults is that you're also expected to provide meaningful alternatives. That's the thing about "default" options - they implicitly suggest the existence of another possible option. Apple seems to ignore this, and the only interpretation I take away looking at their devices today is that Apple is chronically afraid of their users discovering that they don't need Apple or Apple services to enjoy their Apple hardware.
> which is probably not that widely used, though I can't find good data one way or another

Which is exactly to be expected. If you could tell how widely it's actually used that's a problem. Encrypted Client Hello (the successor which was actually deployed) is GREASEd so that a client which could do ECH and a client which is doing ECH look the same to outsiders. The server knows which is which, but of course the server already knows that it enabled (or did not) ECH.
> I'd say you need at least 2x of Designer work and at least 1.5x of front-end Dev work to achieve this.

That's what you tell your customers at least :)
There are many more features that would be needed, such as a peer comment pointed out, being able to recognize you are saying something incorrect, pausing, and then starting a new stream of output.

This is currently done with multiple LLMs and calls, not within the running of a single model i/o

Another example would be to input a single token or gibberish, the models we have today are more than happy to spit out fantastic numbers of tokens. They really only stop because we look for stop words they are trained to generate and we do the actual stopping action
> Not sure if @dang is the right way to say the title is incorrect here, but shouldn't it match the paper?

Best way to address this is to email hn@ycombinator.com.

It is not possible to read all posts to HN.

(Also, the convention is to use 'dang rather than @dang, borrowing from a lisp convention.)
You might also want to discuss Fitt’s law. Difference between a diagram (Tufte) and a GUI is that we only look at a diagram, but a GUI we interact with, which means we need to ensure people can actually click/tap/select the element of interest. Higher density makes that harder.
https://en.wikipedia.org/wiki/Taft%E2%80%93Hartley_Act
> ever since they allowed that

do you remember about when that was?
> the Chinese government has direct control over the content shown to users.

Was this actually proven in specific incidents?

Is this the only media outlet this applies to?
Many platforms already stopped using gifs, for precisely those reasons. Tumblr silently converts to animated webp when uploading a gif, imgur converts it to mp4, etc.
i imagine that the people giving the money out and the people who then claim not to have given permission might be different persons. still, a lawsuit on that premise will probably result in a nice settlement.
That's a riot!

Yeah, it could definitely happen.
https://archive.is/hV3c1
How do you "extend" Z (what are you adding to it)? How do you prove there is a field containing Z? Assuming you are working in ZFC, what is an example of an element of Q? What is an example of an element of Z?

One way to do things is to define N as von Neumann ordinals:

https://en.wikipedia.org/wiki/Set-theoretic_definition_of_na...

Then you define Z as an equivalence relation of NxN by the equivalence (a,b) ~ (c,d) iff a+d=c+b. This means each integer is itself an infinite set of pairs of natural numbers.

Then you define Q as an equivalence relation of ZxZ\{0} by (a,b) ~ (c,d) iff ad = cb. Again, each rational is now an infinite set of pairs of integers.

The point of the OP post is that we want to define things by their properties, but then we are defining what a set of rational numbers is, not what the set of rational numbers is, and we need to make sure we do all proofs in terms of the properties we picked (e.g. that Q is a field, there is a unique injective ring homomorphism i_ZQ: Z->Q, and if F is a field such that there is an injective ring homomorphism i_ZF: Z->F, then there is a unique field homomorphism i_QF: Q->F such that i_ZF = i_QF after i_ZQ) rather than relying on some specific encoding and handwaving that the proof translates to other encodings too. This might be easier or harder to do depending on which properties we use to characterize the thing, and the OP paper gives adding inverses to a ring as one of its examples in section 5 ("localization" is a generalization of the process of constructing Q from Z. For example, you could just add inverses for powers of 2 without adding inverses of other primes), proposing a different set of properties that they assert is easier to work with in Lean.
The Toyyy
What is often frustrating to me at least is the arbitrary definition of "safety" and "ethics", forged by a small group of seemingly intellectually homogenous individuals.
This phenomenon is what is causing me to seriously contemplate returning to my own music collection. It's getting crazy
The example of low and high data-ink (from Tufte) is switched. I wrote the author to suggest it be fixed
iOS 17.5.1 has addressed the issue, attributing it to a database corruption issue not properly deleting it the first time
UN Security Council Rejects Russia-Backed Resolution on Banning Weapons in Space
I wish I could turn this off. I keep bumping the mouse and waking my desktop which then takes a while to suspend again. But for some reason it’s not configurable.
I think its all about new user acquisition.

If your design is very dense, then a new user will be scared away. If you NEED growth, you can't afford to scare away users. You need to cater to them as much as possible. You need them to tell their friends "yes its very easy to get started with".

It leaves no room for a learning curve.

And this is also something we have come to expect. So anything with a learning curve feels like a massive investment, and we feel dumb whilst using it and not knowing how, because everything else is so dumbed down that it is instantly intuitive. This has made computers and software very popular and widely used. And I am happy for my (grand) parents that they can use these things now.

But it has come at a great cost of productivity for everyone. Because even the designs where we would have invested the learning time to get faster, can't invest that time, because the interface is so simple it becomes limiting.
Great idea but without trying to start a long discussion, you might want to support batch norm before or after the activation function.
never heard of that

is that proven? how did they find about that?

is it reddit doing it, or is it other users?

EDIT: ok so that's a fake screenshot, the users says it is... sorry but this is misleading.

he says hypothetical, and then makes a fake screenshot with the NYT on it, that's really disingenuine.

twitter gonna twitter
Unfortunately the manipulation of opinions is exactly what the moderation/censorship schemes on major social media platforms resulted in. Shadowbanning is just one problematic tool among many. I’m glad to see studies exploring this, but I feel like it was also an obvious reality for years, and nothing was or has been done about it. Those engaging in censorship and mass manipulation don’t care because they are helping their political goals, even if it is unethical.

Personally I don’t think the platforms being private matters - at their scale the big social media platforms are public squares, and should be regulated like that. Or maybe treated like a phone carrier or utility, where even if they’re private they’re subject to regulation that forces them to provide service to all customers.
Chinese is a much more dense language than English, so you need less space for labels.
I honestly think the worst thing we could do to social media is treat it like the telephone service.

Have people used telephones recently? The network is so infiltrated by scam artists (and the tooling to remove them from the network is so toothless) that it's functionally one giant attack vector against the most vulnerable telephone users these days. The fact that Google is trumpeting adding AI to a phone to detect when you are getting scammed is indicative of how badly the network has been poisoned by the lack of anyone's ability to regulate access.

We already know what an unfettered free-expression network looks like. It looks like telephone and email. It's a scammer's playground.
Machine learning would make that task fairly trivial. Much like the TV show Silicon Valley, but instead of "not hotdog", "not headphone" and then treat it like a keyboard.
Perhaps politicians who do not understand a thing should not be allowed to make decisions about it?
Counterpoint: I bought a System76 laptop last year. As it came, the CPU fan was never off for longer than a few seconds, even when there was no load at all. The fans are not very loud, but the coil whine just before re-enabling the fan was disturbing.

The motherboard's firmware is open, however, so I rebuilt it with a slightly adjusted "CPU fan curve." After flashing it, the fans now go online when there's an actual need, which is to say - rarely. The coil whine still happens, but hearing it once or twice a day is much less irritating than hearing it every 10 seconds.

So it's possible the problem is on the OS side (I think we can agree the firmware is part of the OS) and it's sometimes possible to fix the problem in software... as long as you have control over it.
Does Legalizing Cannabis Increase Adolescent Use? Expert Found Mixed Results.
Yes. Columnar is integrated with pg_timeseries already.
> ...are the very definition of actionable.

Assuming that you aren't secretly the World President, or sitting at the master controls of a fleet of brain-control satellites - what does this "action" look like, for you as an individual? Could a careful observer distinguish it from strictly-performative activism and anxiety-voicing?
> HN's 5 post a day limit

This only applies to low-karma users, I can post here all day long.

edit: the greentext user is now flagged to oblivion, but not by me
You just reminded me that ive not seen jython or ironpython for years…now curious how they fare!