skysight-inc/HackerNews huggingface dataset:
My NAS goes into hibernation when its not used, and spins up when Jellyfin asks something of it. Its reasonably efficient IMO
There’s a loud 6.6% who are way too invested in Reddit.

95% of Reddit is someone posting a crappy picture of or making some unclever observation about their watch/car/knife/whatever. I can live without this content.

Frankly I think the quality of content (which was always hit or miss on Reddit) has improved since Monday.
You're right! I didn't want to recommend the X versions because I never tried them myself, but I think judging by the feedback they get online they would be a good choice as well.

The only downside is the cost. The non-X versions cost $140, the X-versions $220. Not sure if the $80 are worth it for me.
The crazy thing is that this data probably doesn't have all that much value beyond emails/passwords, which are probably decently hashed anyway. Reddit might collect data, but it doesn't enforce an algorithm.

And I think mod tools (the automated ones) are also third-party only?

---

EDIT:

I forgot that Reddit has private messaging and chat, so maybe that does have some value.
People have a strange relationship to surveillance.

Many of them will freak out when they see another person point a camera at them, but they don't seem to care that dozens if not hundreds of surveillance cameras film them every day when they walk around a city.

Out of sight, out of mind.
There's an objective asymmetry to it. The person who has a flawless recording of what happened has options that the person who has a lossy recording of what happened (i.e. the one in their head) does not have. If everyone is on the same playing field (as in, neither have a recording or both have it) then it seems to me the objection is greatly lessened—it's when one party records and the other party doesn't have access to it that there's some sense of unfairness.
If the bishop specifically said that God ignored those intentions, please quote it.

What he said was that the Masses were invalid, a term that means the conditions necessary for the sacrament were not present. He also said, "the intentions for which those Masses were offered were not satisfied," meaning that the Church did not offer a valid Mass for those intentions, not that God ignored people's prayers.

This quote from America magazine, a Jesuit publication, touches on the nuances of such cases:

> “Invalid” is not the same as “unreal.” Our mistakes do not prevent God from entering into a moment any more than our sins do. In the wake of Father Hood’s case, Archbishop Allen H. Vigneron of Detroit wrote,“The Church, following the thought of St. Thomas Aquinas, recognizes that God has bound Himself to the sacraments, but He is not bound by the sacraments.”

What that means is that although we must never be cavalier and make mistakes with the assumption that God will overlook them, we can nevertheless have hope that God offers his graces to those who sincerely seek them, even extra-sacramentally, and especially when we take the time to remedy the issue once we become aware of it.
Dang, this is awesome. Now I'm going to have to spend an hour trying to find the tune that's been stuck in my head since 2004.
Sea Floating Solar Panels
Can this add commments wholesale to a library that doesn’t have comments? Could I ask it to add unit tests wholesale as well? Could I ask it to do a code analysis for bugs wholesale or a security analysis?

These are highest value for me that I can not do with copilot as is.
DWM-like tiling window manager for windows
The oldest iphone to get the new ios 17 (to be released this fall) was released in 2018. Thats 5 years out.

As for Macs, it doesn't matter. You can, and people will, install Chrome on them anyway.
Sorry, what is a NOS example? I'm not familiar with the abbreviation and it is hard to search for such short terms.
Ha, I remember how easily I achieved a similar effect in Flash more than 10 years ago. It was easy because it was built as a web application platform from the beginning, not a word processor with some crazy macros bolted on top. But I am sometimes amazed at what people do with a platform so constrained.

Yep, it's been this many years and the modern CSS/JS still hasn't caught up with Flash.
Yes, it's SIMD but vector too, more in a Cray sort of way rather than an x86
I've kind of given up on expecting most people to be rational on emotionally charged subjects. Most people don't think things through, and the more intense the emotion involved the less likely there's any chance of reasoning with them.

Highly emotionally charged attitudes commonly held in society may change, but it'll probably take generations to do so.
You have literally been given a fully formal proof of Cantor diagonalization.

The lean proof seens correct, I can't read lean well, but it appears to just be a formalization of the standard proof. It at least constructs the set needed for the proof.

>Proof assistants use much more powerful systems in order to gain the same expressibility as the natural language which is used in informal proofs. (Which is kind of strange: In using natural language mathematicians don't seem to be using some advanced type theory.)

Look up "Curry-Howard isomorphism".

>Overall, this highlights a major problem with formalization of existing proofs. There is no way (at least no obvious way) to "prove", that a formal proof X actually is a formalization of some informal proof Y.

And? This seems not relevant to the question at hand. Surely some textbook contains an insufficient proof, which couldn't be formalized without more steps. Why does that matter. The question still is whether "folk theorems" are real. Certainly Cantor's theorem is no such folk theorem, as you have just been given a fully formal proof.

>Though they, unlike Cantor, don't talk about real numbers here

Cantors theorem usually refers to the existence of uncountable sets, which can be proven by showing that there is no bijection between N and R, but also by showing that there is no bijection between a set and its powerset.

>Every natural number sequence (with a decimal point) corresponds to some real number, but real numbers don't necessarily have just one decimal expression, e.h. 0.999...=1. So real numbers and sequences can't straightforwardly be identified.

This is only relevant if you say that the real numbers are "infinte strings of digits", which is not a formal definition and therefore not used in mathematics.
What brave extortionists - $4.5 million for themselves and also the api changes. Like a modern day Robin Hood, their honor is unassailable.
I have a feeling that crypto is always going to be on the edge of legitimacy, but never completely legitimate. Things will ebb and flow back and forth.

It's inherit capability for money laundering and tax avoidance will never be fully fixed without scaring off it's most die hard fans.
We are like 11 and 1 o'clock, so close yet so far.

I can't see 100 quid getting five times the headphone experience. Given these have lasted a decade, I don't see myself needing to replace the five times over during the rest of my life. I don't think my ears would be able to distinguish the difference, especially not from pc sound output.
i suppose for the same reason you cannot prohibit breathing, it is a biological fact to be considered when drafting regulations. rules without being able to enforce them would show the governing body as weak and clueless, undermining its authority. a rather big no-no for most "powers".
rest assured when more people wear AR-type glasses they sure as hell will inject "rules" in the software to control/limit what you see. to protect of course
New Old Stock
> I'd suggest the SV021 if you want bass

Hmm, I actually am considering buying bassy over-ears, because all the over-ears I have are pretty neutral/studio sounding. I game a lot of singleplayer story-games and sometimes I feel that a bit more bass would be enjoyable for explosions, gunshots etc.

Thanks for the recommendation, never heard of SIVGA :)
I think we can take the more charitable view that you have identified. I read it as a bit of self-promotion more than hubris. Like, "I report on the market, and I saw what they were seeing, aren't I a good reporter?"
Sounds like Bupropion.
New old stock, sealed unsold new product from the past.
Does that mean you can shoot 8 electrons and create a contained ball of electromagnetic turbulence?
I also had one in mind, which I found almost instantly. https://cable.ayra.ch/webxmp/#1735
Ears and also eyes. Blowing air over your eyes would dry them out pretty quickly.
I won’t say Not interested for the average programmers go internals are usually well explained and this doesn’t dwell on what’s written but how it’s written
Makes me wish macosxhints was still around. This was precisely what that site was about. I wonder whether there’s a modern day, fastish way to learn all this hidden behavior.
Our brains are pretty good at compensating for the failings of our bodies. For general recreational listening matched pairs are not all that useful since the majority of music is mixed with the knowledge that 99% of people are not going to listen to it on something with an accurate stereo image or even flat frequency response.
There is little doubt in my mind I would have paid for Reddit and for my 3rd party app had they gone this route. Now? I’m working on breaking a heavily ingrained habit of over a decade. Heck I had also set my personal max at around $10 if I had to pay my 3rd party app for API costs. Reddit really shit the bed here.
>the SV021 is better when I listen to say Моргенштерн

when you listen to what now?
Here is another player that imho sounds bit better: http://keygenmusic.tk/#track=AiR/AiR%20-%20Synapse%20Audio%2...
And now you're adding more random assumptions to baseless statement
I'm not sure I understand, you had an existing relationship somehow, and they said 'hey guys, really think you should buy right now' or something?
There are enough companies out there without such managers.

Drawing a comparison to slavery is quite shocking, tbh.
The paper does not say that AFAICS "Ours is entirely procedural, relying on no external assets"
Internal communication between CEO etc. would probably be more interesting.
"How to Read and Do Proofs" by Daniel Solow, also there is a playlist on YT with the video lectures, very beginner friendly in my opinion
https://www.youtube.com/watch?v=lOnsQUFFUEE&list=PL8GFp_SBW-...
Not if you're Sennheiser. Can certainly be true for smaller brands
That's an odd choice of using force, though...
>That's really only baby logic.

Instead of (literally) infantalizing the name, you could also call it basic formal logic.
It's about as dangerous as the hook in the water dangling in front of the horse...
I think we're taking the fact that the article says "similar" a lot and running too far with it. As they say, it only makes sense that similar areas of the brain would activate when processing similar stimuli. That's not telepathy or entanglement.
Ah; yes I misinterpreted that thank you. Agree that would've done the trick for pulse :)
This is really similar to my current condition. I am so desperate for a switch, but its been hard in this economy, but I hope something good pans out.
https://www.churchfathers.org/apostolic-succession
There's a kind of Prisoner's Dilemma here. Sure, set up your company that doesn't have corporate lawyers. It'll work for a while until it very suddenly doesn't. The only way to break out of this is better regulation across industries, but governments also don't always have the right incentives either.
> Single-digit speedup is not worth it IMO

would you reject a single-digit pay rise? :)
Especially anything from his old days of modding jailbait
I'd say to keep antitrust suits off their ass is even too strong a formulation ;) considering US antitrust is what has led the acquisition of DoubleClick and YouTube by Google happen (and that of WhatsApp by Facebook). Time to hold those responsible for this ... responsible.
What [Wikimedia] can learn from the world upside down at FOSDEM
> I’ll never understand that people get angry about this stuff but not about luxury bags or iPhones.

What makes you think same people do not get angry about those ?

> You’re not paying for the bill of material. You’re paying for the research, the engineering, the design and the brand.

The annoyance is having to navigate what you pay for. I don't want to pay for the design and the brand, I want to pay for engineering and research
Given what’s been found with Twitters censorship and governmental collusion, curious if the data they have is in the same vein and how people will react to it - if what they say is true
AudioTechnica have been consistent in quality over the years. They have a number of models to choose from for every purpose, at fair prices. The models don't change every year and are supported and field repairable. I still use the ATH-M40fs I bought 20+ years ago. The newer ATH-M50 would be my choice if I had to pick a new pair today.
I don't get the broader point you're trying to make here. That RSS is no good because it doesn't provide some kind of unified ID, posting/commenting capabilities etc.?

I like tools that do one thing well. https://en.m.wikipedia.org/wiki/Unix_philosophy

It's well documented that 95% of users are lurkers. 95% of the time I'm lurking, too. That's why following multiple communities across multiple platforms is useful. For the frequent times when we all lurk.
Show HN: Flag coloring quiz – match the colors of world flags
Why is there nothing on regulating all the investors that are supposedly buying and financing the wrong things? If the demand is unchanged, why expect much of a change in what is financed?

Investors wanted to buy CDOs, they want to be in VC and so forth.
I conflate Love with Happiness; with Kindness; with Sweetness.

Happiness is good relationship with oneself.

Happiness is knowing that you are loved, and that your love is valued.

Happiness is like the sunshine...
I don't know any of their names, or if they even have names. My TA for that class had, at the time, one of the world's fastest SSSP implementations, and our last class was basically just spending the whole lab time understanding his personal implementation. It was really in that moment that it clicked for me that the more you come to understanding a problem in CS the more your code morphs from something general into becoming one big, bespoke data structure. Almost his entire program was just one giant data structure. So, I don't think this kind of thing has a name, nor can I say I really even understood it, but I do remember he used a lot of bags.

For reference, we spent the whole class doing SSSP on a graph representing every road in the United States. The naive A*/Dijkstra implementation took like 45 min, and naive bellman-ford never finished (probably days/weeks). By the end of the class I was so proud to have parallelized Bellman-Ford to the point where it took like 30s or something. And my TA's record breaking implementation was <1s. All of this was on a normal university linux desktop.

It's kind of like programming = logic + data. However, there's a continuum between the two, and on the far, extreme end of that spectrum, the structured access of the data can be the program itself.
modding jailbait?
Contended atomics don't scale. It is possible to construct concurrent structures which contend rarely (but which must still use atomics to guard against the rare case when mediation is required). There was also an interesting paper from a few years ago about using HTM to detect contention in a scalable fashion. I will aver that such code may be difficult to reason about—shared-nothing has far more obvious correctness and performance properties. (Queueing/amortisation also works, and lands somewhere in the middle wrt ease of reasoning.)

Riscv has an interesting compromise, which is to delineate a subset of ll/sc loops which is guaranteed to eventually make global progress. I do agree that it is better to include real wait-free primitives like cas and faa; but I wish that such guarantees of global progress would be provided to HTM.
2011 discussion here: https://news.ycombinator.com/item?id=2214158
> So if Louis Vuitton made a version of their bags that’s the same but a different logo, at only a 50% margin instead of 98% or whatever their current margins are, you’d be angry at them too?

Useless comparison, bag here is only fashion statement, not something you use for technology.

And it's weird assumption they made any of them "first", they most likely designed both in parallel (design time != start of production time) and just put worse sounding version in cheaper one to not cannibalize the market.
> rip-off

This term demonstrates a lack of understanding of market dynamics.

As a company you aim for a certain profit when developing and later manufacturing and selling a product. The market has multiple segments and ideally you re-use design and manufacturing processes for multiple segments. Simply speaking, you can basically sell a single tier for $250 or differentiate by different means into a $150 tier and a $350 premium tier. In the end, people with higher quality demands will pay a significant, dis-proportionate premium. So, you can tap into that, which means the premium tier essentially cross-subsidizes the cheap tier. Everybody angry at this practice needs to understand that they couldn't just sell the premium tier for $150. They'd need to sell it for $250, or whatever the weighted mean is. Worse, they'd likely sell fewer items in total, so $280 or some such is more likely to reach the same total profit.

Really, it's not about being evil, it's about economy.
Cool software. I used it within/in parallel to Kodi to sync a couple devices but ended up removing this layer.

I didn't like that you can't outright disable transcoding for content served via their app or in the browser. I serve mostly local client and my headless NAS has poor integrated graphics and runs Linux so this was very brittle. Kodi's jellyfin addon can play without transcoding by default so this seemed reasonable.

However in case others want to go this route for a similar use case I hope I can save you some frustration: both this and the native Android app do not handle Dolby vision or passthrough atmos content properly. I also had odd tearing and av sync issues with some large 4k content that don't happen with maven kodi builds.

After a lot of time trying to figure out it, I stripped it out and my shield has no further issues just using kodi despite being the ill famed 2019 tube model. Hdr10, Dolby vision, atmos pass through you name it just works.
If climate chage is threatining all life on earth it should be a priority that all countries reduce their CO2 output. Or at tge very least that they do not drastically increase their output evefy year, as China does.

"You can pump as much CO2 in the atnosphere until we reach per capita parity, then you must reduce it as well" is an absurdist stance to take. Nobody who takes climate change seriously can believe that.
No I am relaying my experience. I never said this was the case for HD595/555, I said it could be the case and it is common practice. The only way to know for sure is a direct comparison on new examples, unless you have insider information at Sennheiser.
> an atomic increment can scale, we proved they could scale to the performance of a load in the 80s

Interesting--can you link a reference for this?
My account on reddit is 17 years old, I have watched reddit go from being a smart, nice place where people share knowledge and experiences to a narcissistic black hole of snark and cringe and the new tone was set by the mods.

The only sub I have been banned by is the web dev sub because I replied to some one who said “anyone who uses PHP is an idiot” with “only an idiot would have that opinion”, I was perma banned from webdev and the other person was not. I know many people who have been banned for less.

A house cleaning of the mods would do reddit good. There are some good mods but they are rare and only handle a few niche subs.
Well, if there was a proper competition the "cheaper but better performing model" would capture some of the competition market, but headphones are bit too subjective market for that.
A layman like myself would perhaps think that this may have applications in nuclear fusion plasma containment. Or am I way off?
Just want to say, I switched to KDE (Plasma 5) on Debian testing a month ago, after running Windows 7/10 for the last 10 years. I'm very happy with it. If nothing else, it's so nice to have a desktop UI that's cohesive. I feel like everything is designed to be used by a mouse and not touch, which is OK because it's a desktop. It's also surprisingly refreshing to have scrollbars and buttons be styled the same everywhere.
Ah, you're right. Reddit does have private messaging, forgot about it.
You should probably never expose a service like that directly, no matter what it is, to the internet, at least have it behind something like Tailscale.
Yes. I refuse to use native apps when the functionality can be as good in a web app. Things like chat, email, watching videos, listening to music, etc.

A lot of the time the "native" app is using electron anyway, so why go through the hassle of installing it when it is just a app-specific browser?
From commercial entities, hell yes. They don't need a permanent spot on my device.
Awesome and well deserved! One of my favorite projects.
> Twitters censorship and governmental collusion

Also known as complying with local laws.

It's always amusing when Americans realise that most of the world doesn't ascribe to their views on free speech.

And in fact governments with broad support from their citizens want social media companies to be regulated.
Thanks for the links and references.

> but because "we" do.

I'd go even deeper and say because "we" want to trade with others and extract resources (oil in iraq for example) from other countries.

But also, it isn't just another world ruler that is the problem. The british empire was in a way "ruling the world" post 1945, but they were allies. The US competing against another power is one thing but competing against another communist power with a completley different and hostile world view is another, because that doesn't just mean economic loss but loss in political influence and an inevitable path toa global conflict between the countries they influence vs the countries the US influences. Japan for example is in Asia and econmically has been a major US competitor. But yes, I don't disagree with what you said.

And honestly, whether it is China or Russia, I would much prefer my own government to dominate. The only thing I don't like is how the USGOV arm-twists other countries into accepting its views on human rights and all that, things that are purely an enforcement of the US's values and worldviews on others, but does not benefit US interests one bit.

I can't remember if it was an african or east european leader who was saying something on the lines of "the US wants to turn our men homosexual and our women become like men with no respect to our culture and China wants to exploit us..." basically describing how they felt siding with the US meant abandoning their moral, religious and cultural views and siding which China meant taking on a lot of risks such as heavy debt and long term subjuguation to China. But at least China doesn't care about their internal politics at all. All the machetes in the rwandan genoicide were imported from china. In an ironic way, China is more capitalist than the US because they put their capital and economic interests above spreading their communist rhetoric and beliefs. The US just has to export democracy and its view on human rights, even if that has an economic cost or causes wars and conflicts.
Looks to me most people didn't care about any of that in relation to Twitter.
Regarding a mobile first OS I find this project super interesting.
Not finished but it shows one approach to use NuttX and LVGL and explains it in detail.

https://lupyuen.codeberg.page/articles/lvgl4.html?1

https://github.com/lupyuen/pinephone-nuttx