skysight-inc/HackerNews huggingface dataset:
> What precisely are you lot referring to? [...] glancingly familiar with Ω / Chaitin's constant

Huh? I'm not referring to Chaitin's constant; the first few digits of that aren't going to help with much. I'm referring specifically to the halting sequence H as I mentioned in my post. See Vitányi's "Kolmogorov's Structure Functions and Model Selection" or any of Levin's papers on algorithmic complexity. (Vitányi uses a definition for H where a program's input is the empty tape rather than itself, but this is mainly a difference in convention).

You can take a formal logical theory F (e.g., Q, PA, ZFC, ...) and since the proofs are recursively enumerable, iterate over all proofs equivalent to the statement "p_i halts" or "p_i never halts" in the language of F for program p_i (as indexed lexicographically on a reference universal Turing machine).

As an example, for any halting program p, an unbounded search through PA will eventually find a proof that p halts (assuming soundness of PA). But there are certain non-halting programs for which PA cannot prove the non-halting behavior whereas ZFC can. So in terms of mutual algorithmic information I(a : b) = K(a) + K(b) - K(a, b), PA's inability to prove the non-halting behavior of p implies I(p : PA) = 0 whereas I(p : ZFC) > 0 since ZFC can prove this. More specifically K(p) - K(p | ZFC) > 0, given that the description of ZFC is minimal.

The above implies that I(ZFC : H) > I(PA : H), where H is the halting sequence, so we can say that ZFC is "more powerful" than PA in its ability to prove non-halting behavior of Turing machines. But a minimal description of ZFC and PA is still a finite amount of information, and in fact Chaitin's Incompleteness theorem states that for any formal logical system F, there is a constant C_F beyond which F cannot prove any string has higher Kolmogorov complexity than C_F. I suspect C_F is pretty close to K(F), but I haven't seen a proof of that fact anywhere. This is essentially another way to state Gödel's first incompleteness theorem, with additional detail about the limit of what formal system F can or cannot do.

So when I was referring to the few binary digits that correspond to "most of mathematics", I'm talking about the I(ZFC : H) bits of mutual algorithmic information between ZFC and H. We know there is a 745 state binary Turing machine that encompasses all of ZFC’s behavior (see Scott Aaronson's posts about this), but many people think the minimal size of a machine that computes all that ZFC can prove about the behavior of Turing machines is far smaller than that.
You might as well tell poor people to ‘stop being poor and get rich, so sad’.

Sure, but how?
please understand you are not representative everyone. Most of my friends are coworkers from various points in my career. I also don't care for screen relationships either.
Weird comments.

There's no major reported difference between hybrid and fully on-site in most categories, and the only thing they say about culture is that "[90%] of hybrid employees say that the culture at their companies promotes community, collaboration, inclusion and belonging", without bothering to report the statistic for fully on-site or fully remote employees.

That may support their assertion ("the idea that being on-site all day every day is necessary to establish and sustain a strong culture is a myth"), but if the other categories were in the same range as with the other questions, it's not really saying much more than that.
I'm just a random guy here; if what I wrote wasn't helpful, disregard! Sorry about that.
The TSA scanners use a hi res stereoscopic camera to take a 3D photo of your facial features. It's not the same as your passport photo
You're going to have to be more rigorous when defining "copy" in the digital age. The process of moving or reading any digital media necessitates copying in a way that physical media does not. Rights holders deal with this by employing DRM (taking control of your computer to make sure you're not making copies the wrong way). So what? Because the format people prefer to consume media on has changed we suddenly lose the right to resell or lend media we purchase? We decided that was fair before, why should development of new technology reduce the scope of consumer rights?
So, apparently, do you?
It’s not cheap at all? Today it’s the most expensive mainstream power generation method.
Oh man, I has so much fun on MTS once that ridiculous fake PC-ish command line was removed. Wrote all kinds of wacky stuff using the command line macros.
I disagree that I have a duty to teach them, but I do agree that you shouldn't silence them. You can ignore them if you want.
Why is the ai slop from o1 better?
Ask HN: Are there any promising proper AI Smart Home startups?
I mean a startup doing something breakthrough, that blows Home Assistant out of the water.

I'm thinking a system that figures out how to talk to devices using a mixture of hardcoded knowledge about APIs and mainstream devices, and LLMs figuring APIs out.

Something where natural language can be used to create complex automations: i.e. "when the washing machine plugged into the smart plug called Washer ends, say through the Alexas 'Washing is done'", "whenever possible, turn on the lights softly whenever they are off and someone walks into a room, then dim to off shortly after the room is empty".

LLMs can solve most of this with today's capabilities and good prompting, and I haven't done the math but with a subscription model I imagine it should be possible to cover API costs, possibly with a fair use cap.

Whenever I think about this I conclude that the limiting factor would be that you'd need hardware, but something like a raspberry pi is <100$/unit and would "just" need to be put in a nice wrapper with a speaker and a microphone (although I'm sure this is harder than I can envision), so all in all it seems doable?
Gave it a shot and downloaded the app on win 11 with the intention of trying to rdp from my laptop to my desktop.

When the app started it asked me to sign in (WTF), entered my Microsoft Account (personal, not azure AD) and was meet with the error message: Personal accounts are not supported (WTF).

Utterly useless app at least for accessing on-prem devices on a home network.

I go back to the good old remote desktop app that comes with windows because that is working flawless.

Of course it doesn't work flawless.

If you have been a good boy and followed Microsoft best practice and configured your Microsoft Account to be passwordless account as I have you of course cannot login because, as you would expect, the RDP app doesn't work with passwordless accounts.

It only like 4 - 5 years since Microsoft introduced passwordless accounts so of course that too little time for an organization with 100K+ developers to implement their own best practices in their own products. sigh.
It's primarily some mental blocker in the old that prevents them from connecting things online to their real-life counterparts. It's like being illiterate and insisting that no one else can read those strange symbols. I'll offer in advance that younger people need to learn to separate the two sometimes.
By the time I’m putting hundreds of MB somewhere, I want a defined format, not whatever the compiler happens to generate for this particular build of my software. There are plenty of nice ways to do this.
There is nothing wrong with bonding with your coworkers and enjoying your work.

Why would anyone want to work a job with people they dont enjoy? Thats miserable.
Sadly, Verizon is:

CDMA Network Update https://www.verizon.com/prepaid/cdma-network-update/

> Starting Dec 31,2022 we no longer support 3G/4G Non-VoLTE. To keep your service active, upgrade your phone.
You are not an asshole for opting out. If I see someone opting out at an airport they will get a silent nod of approbation. It is extremely easy and does not hold anyone else up. If anything it holds you up more - this is the case with naked scanner opt-outs, where you step aside and the people behind you can thank you for there being one less person in front of them on the way to get their junk photographed.

Furthermore, the TSA scanners use a hi res stereoscopic camera to take a 3D photo of your facial features. It's not the same as your passport photo or a regular CCTV camera
Exactly! You need little to no re-calibration.

With capacitative sensors, it is unclear from existing literature if it is possible to detect shear. Additionally, they generally operate at significantly lower frequencies.
Who else am I representing? Of course I'm representing myself, these are opinions and I'm saying them, which makes them my opinions. The difference is whether you get to force people to go into the office because that's how you make friends.
Not too surprising given what I've seen of their vendor sdk driver source code, compared to mt76. (Messy would be kind assessment)

Unfortunately, there are also some running aftermarket firmware builds with the vendor driver, due to it having an edge in throughput over mt76.

Mediatek and their WiSoC division luckily have a few engineers that are enthusiastic about engaging with the FOSS community, while also maintaining their own little OpenWrt fork running mt76.[1]

[1] https://git01.mediatek.com/plugins/gitiles/openwrt/feeds/mtk...
So, now that I answered your question - what’s your point? is your position that most ad buyers see positive ROI? Or that if you don’t, they suck at marketing? Surely the salient point here is that the advertiser with the monopoly (google) is selling a product that doesn’t benefit everyone, and mostly benefits them. This is well supported by what is coming out in the courts eight now. At least that’s what my point was, anyway. Thanks for your line of inquiry.
For your perusal and reference, a rigorous legal definition of copying as it applies to the digital age: https://www.law.cornell.edu/uscode/text/17/117
Economics Has Its Big Tobacco Corruption Moment
It may, however, be far more common than you expect.
Some other channels you probably already know of but may enjoy:

- https://www.youtube.com/@veritasium (specifically love his two videos on the electromagnetic force).
- https://www.youtube.com/@ScienceAsylum
- https://www.youtube.com/@ScienceClicEN
Not to mention the other issue: even if it's easy to get into another city via rail, how do you get from the train station to your final destination? Very few cities have public transit anywhere close to NYC's. Of course flying has the same issue, but the airport has a car rental desk.

Or avoid that entirely by driving your own car.
I would note that, although obviously the confidentiality in TLS is based on public key cryptography, authentication by mTLS doesn’t reach the cryptography part.

The process starts with a client and server hello. Then the server sends its certificate to the client, and the client sends its certificate to the server. The server verifies that the client’s certificate is signed by a certificate authority in its trust store. That’s the authentication part. The client’s private key is not used.

The confidentiality comes next if authentication is successful.

I asked because X509 certificates are complex and difficult to securely parse. Also mTLS is rarely used.
Curious, why are you flagged? Visited an unsavory country?
> wouldn't that be against their own business interest? If an executive or the board of some company want PwC's services, knowing that they'll only help confirm a biased opinion, then is it worth spending millions on them?

Generally speaking the point is you hire the consultants to get to where you want. You want RTO? Then you hire them and they will tell you how to get there/how to justify it to everyone/how to roll it out.

This is in some sense cynical, but in some sense also just logical. You want something to happen, then you pay somebody to do it! The idea that you would hire some external vendors to... decide for you... might make sense in theory but if you're the one defining the strategy surely you will have made some decision.

These are business people, not sociologists. Though you talk to many sociologists and they'll tell you they're often hired in to justify an existing decision as well...

With fuzzy stuff like this you can make an argument in any direction anyways. It's all pretty self-fulfilling.
'That's not manly': Chechen warlord claims Elon Musk disabled his Cybertruck
That’s ignoring the blame-shifting or blame-sharing cover that hiring an outside expert advisor brings.

“We used the advice from top experts.”
Intel and VW have hardly "failed" - both the chip and car businesses will be around for the foreseeable future, and these companies will have some value going forward.

Kodak is a different and sad case. There are so many think-pieces on why they failed, but this one captures it well, by comparing them to their peer Fujifilm (which didn't fail): https://petapixel.com/why-kodak-died-and-fujifilm-thrived-a-... TLDR - Fujifilm quickly (over 10 years) diversified out of the photography business, while Kodak lingered. Digital photography was never going to replace the empire they had in film - the core photography business was fundamentally doomed, and the senior execs didn't make enough changes quickly enough.

As a counter-example to Kodak, look at IBM, which has reinvented itself several times and is now basically a software service company. IBM successfully pivoted away from failing core businesses and has kept on going (although talking to former IBMers, it was hardly a smooth ride...) You could say IBM failed several times too - but like Fujifilm, it managed to morph into new businesses so the ticker at least stayed the same.
They’re paid to support the CEOs hunch, so it’s credible to take action on the hunch
The filter is only better at capturing microplastics - presumably you'd need other types of filters if you wanted to remove lead, PFAs, etc.
Gonna need a citation on this one. Not mental health issues increasing, but online communities being the cause
What a surprise: FAANG pay economists to snowshoe the regulators office with ostensibly independent academic reasons why the FAANG should not be regulated.
While the sensor gives us direction vectors, they serve as good proxies for contact location, as we showed with ReSkin, https://reskin.dev.

That being said, the exact quantities the policy depends on are hard to interpret, given the use of deep learning. This could potentially be modality agnostic, but there has been no sensor so far that has shown (1) the ability to detect intuitively relevant quantities like contact location and 3-axis forces, and (2) sufficient signal consistency for deep learning models to generalize across instances. This was a key motivating factor for AnySkin, and we found a relatively straightforward fabrication procedure that enables this for magnetic sensing.
Gives new wind to the "made in China" is "made at least cost basis alone" rhetoric eh?

(Or)

Panda today, lunch tomorrow?
What kind of accountability is it when there's no personal consequences?
For most uses wsl2 on windows is pretty close to a bare metal instalation

https://www.phoronix.com/review/windows11-wsl2-zen4

wsl2 runs under the windows hypervisor as a vm, but so does windows since windows 11. So there should not be much performance issues from running stuff in windows vs wsl2. The major bottleneck is if you need to move files from and to the windows vm to the Linux vm
New study links brain network damage to increased religious fundamentalism
They're trying to engage in impact litigation to enshrine the "DRM ebook ~= physical book" equivalency into case law. Committing fully to that equivalency looks a lot like playing dumb, particularly to an observer that thinks it's a false equivalency.

Personally, I want less DRM in the world, not more.
> I don't see how you can differentiate between humans and corporations. They are both fundamentally the same

No they are not.

Legal fictions aside, it should be obvious
It is! So kind of you to notice. Perhaps you could also notice that English is the language used on Hacker News.

I'm quite sure a website centered in a different cultural landscape might choose a different convention. Good for them, I say.

If URLs start being Unicode, and not an ASCII encoding which is sometimes displayed as Unicode, that would be a different story. But that's not how things are.
The statement about just throwing 200k tokens to get best answer for smaller datasets goes against my experience. I commonly find as my prompt gets larger, the less consistent the output becomes, and the poorer following instructions becomes. Does anyone else experience this or a well known way to avoid this? It seems to happen at much less than even 25k tokens.
I Like Makefiles
I dunno. "Evil Ferret" and "Scrawny Nuisance" sound pretty good in our irony filled world.
Pre 9/11, the government still knew what flight you were taking. You ID was checked at the gate just prior to boarding the plane, and the passenger manifests were uploaded to a federal database in real time. A similar process happens on trains and Greyhounds - your ID is checked and manifests are monitored - so those are not necessarily more incognito options.

However, non-passengers (such as family members or friends) could accompany travelers to the gate, or meet them there when they disembark, passing through security without a ticket
How much effort to create a weather app for ios or andriod that works like this? Maybe so something for the nest home max or echo show? I love the idea, but what is the easiest way to get this onto the most number of devices?
Sounds good! Always down to collab on experiments with like minds. I'll send an email your way with contact details!
I'm a fan of Spring Boot + Thymeleaf + Htmx. Django is a proven platform for the kind of app you want to build so you likely will be fine either way.
If you are referring to the nested virtualisation support in ARM v8, it was added in the ARM v8.3-A revision of the architecture, and M1 uses ARM v8.5-A as the baseline.

But yes, virtualisaiton support for ARM (in general) was abysmal and Apple Silicon was the catalyst that pushed people over the edge towards improving it across aarch64 (also in general).
To some degree I think that with the increase in use of digital media there needs to better rights and methods for sharing like one can with physical media.

However, it's not fair use to copy material and redistribute it. Furthermore, the creator should be able to determine the format of the release of their work. If someone wants to alter their work, they must do so in a transformative manner and not pass it off as the creator's work.

Someone who makes a book with formatting specific to say a PDF, could be unfairly reviewed or judged by readers who borrowed distributed copies that are formatted to epub, for example.
Something important that didn't get mentioned, neither in the post nor in the comments, is whether this is safe in the face of compression oracle attacks[1] like BREACH[2]. Given how much effort it seems Discord put into the compression rollout, I would be inclined to believe that they surely must have considered this, and I wish that they had written something more specific.

[1]: https://en.wikipedia.org/wiki/Oracle_attack
[2]: https://en.wikipedia.org/wiki/BREACH
Are you aware that all of your examples are luxuries that won't end someone's life if they choose not to consume those services/products? If people choose not to take insulin, then their only alternative is death.
Not ‘online communities being the cause’, rather ‘lack of genuine in person community and physical connection’ being the cause.

Same as junk food isn’t necessarily the cause of health issues - rather lack of enough healthy, not processed to the tits food is the cause.

Replacing most/all food intake with junk food is going to be bad.

Doing it periodically with enough of the ‘real thing’ to compensate? No issues.

The issue is not enough of the real deal. Which is possible until something breaks because of the alternative, but not necessary.

If you put someone in a capsule in say Antarctica, and they only communicated with other people via video chat - would anyone be surprised if they went crazy?

Hell, I think we’d all be surprised if they didn’t.

The challenge right now is a lot of people (including many people here) are de facto in that pod in a way that they can’t see, because theoretically they could walk outside and have conversations, etc.

They just won’t actually do it, because there are less visible factors pushing them away - factors that in many cases they aren’t allowed to see or acknowledge.
We would need to dump POSIX/WinXX and replace/upgrade them with something better, probably using an object-capabilities approach. WASI, Capsicum. etc.
OMG, I’ve missed the point that it was published in 2013!!! I’m wondering what changed since that, I mean we all know that Heroku was not good for websocket and I’m not sure if this is óstio the case. Thanks for pointing it here.
Sorry for misreading!
> Any exact copies prepared in accordance with the provisions of this section may be leased, sold, or otherwise transferred, along with the copy from which such copies were prepared, only as part of the lease, sale, or other transfer of all rights in the program. Adaptations so prepared may be transferred only with the authorization of the copyright owner.

I don't speak lawyer, but if I'm interpreting this right then this is the part where they say "actually yeah you can't sell or lend your copy to someone else unless explicitly authorized by the rights holder" i.e. we magically lost consumer rights by virtue of media being digital.
After thinking about it for a good long ten seconds, yeah. It would be very easy to steal users' banking information with this. If you crack into one single bank account you have a decent shot at making over $2k right there, a skilled hacker could do a lot more.
Love it! It's like the Chernoff face[1] of weather forecasts.

https://en.wikipedia.org/wiki/Chernoff_face
I love it! Hardly the only Leonard Cohen song that I think would feel at home amongst renaissance and baroque songs.
these samplers used to cost $3000-5000

if you are concerned about $200 for a replacement kit you should probably sell them to someone else
Death Penalty
Does it use the same "containers are really just running in a Linux VM" approach as Docker Desktop on macOS?
Japan's Debt also passed 250% of GDP in 2020. We really need to look into a lot deeper into the word GDP and Debt rather than just focusing on the 100% or 200% part.
>But it's just that

It's not just that if you use a lora, like this: https://www.reddit.com/r/StableDiffusion/comments/1fe7d7o/am...

or this:

https://www.reddit.com/r/StableDiffusion/comments/1eywnv8/re...
What about an unprecedented epidemic of loneliness?
This would be nice, but since it hasn’t happened so far, hard to see why it would start happening.

No idea what the future will look like in general in 5, 10, or 20 years but I am reasonably confident that donations to OSS won’t be drastically more than they are now.
> kiwis have no idea how to write the special o (myself included)

I’m in New Zealand too. I work in MRI and have to type ‘TE’ (echo time) regularly, as well as the Māori word ‘te’.

Whatever secret sauce Apple sprinkles into iOS is actually malignant and it takes about 3 edits to type te/TE whenever I try.
That's what Agora did. I used it for a while using pine. I still remember the address by heart. It was agora@dna.affrc.go.jp.

I guess you never forget your first time : - )
Island Enterprise Browser Makes Federal Debut
Sure dude. Too bad I’m waaaaay too young to be a boomer.

I’ve just been online and doing this for long enough to have had to recognize the effects and deal with them.
I don't think this case is actually related to DRM... they are making digital photocopies of existing physical books and then lending those out, regardless of whether any DRM is applied by IA themselves.

If you're talking about DRM ebooks purchased legally under license and then copying those, I think that's a separate issue that would have to be addressed later in another lawsuit.
Terrible reason to believe something won't happen.