skysight-inc/HackerNews huggingface dataset:
OpenBSD uses and actively supports a customized (not forked) X called Xenocara, which takes the opposite philosophical route from Wayland by putting a wider part of the ecosystem of X features into one coherent project so it can be maintained, improved, and culled (simultaneously, and without committees). You can learn about it on the Xenocara project pages and in its robust manual pages.

If you read other comments in separate parts of the threads here, you’ll see people describing re-scoping certain elements “out” of Wayland and “into” other layers to fix “broken” parts of X. Those “widely agreed upon” solutions for other layers exclude considerations for the way OpenBSD works in fairly fundamental ways that make it seem (to me, at least) there is no practical purpose in exploring Wayland on OpenBSD beyond the point it has already been explored.

I’m speaking about the coherent and supported OpenBSD operating system, not what can be found in packages.

If there ever become features fundamental to the current user-developers of OpenBSD that are enabled by Wayland, I would expect them to further modify Xenocara to support those use cases, but it is hard to even imagine what those could be. Most of Wayland’s promised future features are anti-features to the OpenBSD approach.

I expect that in 5-10 years, many user applications will be Linux-only, and there will be many conversations about how stubborn BSD (and Windows/Mac) designers are for not aligning to earlier decisions made on their behalf.

These are just my personal opinions with no inside knowledge from any part of this intellectual territory, and I do not accuse or blame ANY developer on ANY project for working on what they are interested in, but I expect this unified Linux (and Linux-only) outcome is the unstated but express purpose behind promoting Wayland for some of the commercial interests that support it.

I want to doubly emphasize that I am talking about the motivations of executives determining the allocation of capital and human resources, not about the motivations of the developers, which are clearly to facilitate cool or useful new things.
PyPy is the awesomest thing created since sliced bread, but C extension interoperability is still a source of perf problems in a few scenarios AIUI. Glad to have Pyston in addition to PyPy
So it's captcha through obscurity?
most logfiles beg to differ. (bleh!)

they're also... unix ... timestamps.
I can't speak Frictional's code quality, but historically released titles tend to be a tangle of hacks and short-term decisions that hammer things into working or being performant, coming at the expense of future developers and correctness.

I do agree that the field is full of great code to reference, though.

I'm a huge fan of Godot's codebase. It's well written, and easily understood both architecturally, and in-method.
https://github.com/godotengine/godot
It’s because reality is complicated.

Most people don’t want “dark mode” as a pure accessibility feature in the sense of “whatever color scheme is fine as long as it’s dark everywhere”. That’s the reverse color feature in most OS.

Instead I/they want dark themes but with pleasing colors, adjusted depending on the screens and the widgets, having sane defaults for content that is usually supposed to be white, with exceptions.

Yes, that’s a tall order, it’s context dependent, and we might actually want to decide app by app if the dev did a good job and/or if dark mode makes sense, and sometimes change the theme in the app because it’s otherwise not great.

We end up in a patchwork of apps following dark mode and others not, with different themes applied that might not be triggered by the system.

For instance I use youtube, reddit and editing apps in dark mode only, while the rest of the system is in light mode. As you say it could be handled by the system in a super granular way, but it would add that much more complexity, and I actually chose the exact themes to be used in most of these apps, so centralization wouldn’t help anyway.
I can't figure out flutter.

I see so many rave reviews.

But I personally tried it and strongly disliked it. The toolkit and Android Studio run horribly slow - like really slow. And the output is basically this generation's flash. Some of the samples I tried on their gallery are mediocre. Very slight, but noticeable sluggishness. Some are just terrible; the 2d transformations moves at like 7fps. Plus there are so many other small things like issues with scrollbars, things that take time to sort out that native and web have had time to figure out. Also dart is a real PITA coming from typescripts which is basically c#.

Actually, the issue with dart is it's own whole thing. It was meant to be an alternative to js, but not ts has taken over with much greater success. I am not talking about aot or stuff like that - just the dev experience for app dev. Now it's in this really weird spot.

I just don't know. I would honestly have thought that flutter is dead in the water - every personal experience I've had with it has been bad, there are objective facts about it that are bad, and yet so many people love it.
It's definitely rich that US Senators are asking "Who the hell elected you?", while they are busy gerrymandering, suppressing voters and actively dismantling democracy.
The default difficulty is set to a difficulty that makes sense on websites that have a varied audience (which includes some ancient browsers on old devices).

The solver runs in WebAssembly and is really really fast (~4M hashes per second) - but not every browser supports WASM yet (around 0.3% empirically). The JS fallback is around 10 times slower (more in 5+ year old browsers) - for those users you want at least a decent solve time too.

For Gitlab's audience the difficulty can probably be increased a lot - it all depends on the website and usecase. I'm sure the JS fallback's performance can be improved (it involves a lot of operations on 64bit ints that need to be represented as two numbers in JS), happy to accept PRs [1] :)

[1]: https://github.com/FriendlyCaptcha/friendly-pow/blob/master/...
What if there were no default? You had to go through a setup process to assign the visibility settings you want. That way, there's no possibility of bias because everyone would be required to set their own settings.
Twitter has user generated content and feels like a conversation. Unfortunately, the conversation feels like shouting a lot of the time.
This is more believable to me than the RAM being the decision maker. As an ML amateur it looks like most of it is built upon proprietary nvidia tech, which makes makes AMD a nonstarter, even if they did have a technically stronger card.
Rewriting parts of it will not take years. Most of it can probably be thrown away, replaced by standard components. (only talking from personal experience, sure we had legacy systems running for years).
NIH or Resume-Driven Development might be another way.

From personal experience, I worked with a team years ago where product owners wanted a datetime picker or parser for an app we had built. Senior dev on team decided it would be cool if it included some lite NLP. When product owners heard from him how easy it would be to add, they were on board.

He started with a popular existing Python library. But there was a bug with one corner case that was causing problems. So he took the initiative to spend a few extra days on the story to write his own simple NLP date parser.

A couple months later, early on Jan 1st, the new feature wished our ops team Happy New Year by taking down our application.

I happened to open an issue for the library's bug on Github after learning about it from the other dev. The owner there promptly responded to share a simple workaround for the issue. But by that time we already had too much software on our hands.
It also didn't work for people who were behind NAT, I think, and leaked the remote parties IP... so there may have been many people who used ICQ at that time but never saw that functionality.

I like it, and to this day there are some friends that I talk to using talk by sshing into a common host, just because the realtime typing is nicer.
Well that still goes in the "ease-of-use" bucket in my opinion.

That being said, those libraries are already highly optimized and all the heavy stuff running on C anyways, so making the Python itself faster won't make that much of a difference in those workflows.
The fallacy here is that because most people intuitively understand the near-impossibility of coordinated legislative action, they assume that it must be MORE difficult than some sort of engineering solution (whose magnitude they do not intuitively understand).

They are wrong. Yes, coordinated action to reduce emissions is nearly impossible... but it's less impossible than the alternative. There's no negotiating with thermodynamics.
> C++ gives you enough access control so you can expose things just for testing if you want (make the test a friend, encapsulate the functions into another class). You can do this without breaking encapsulation.

If tests can do this, then so can anyone else. Consequently encapsulation is broken and your invariants aren't invariant anymore.

> I don't exactly follow your last paragraph, but tests aren't just something you throw away when they pass. So if I were to write tests for the helper functions, I wouldn't delete those tests on a refactoring pass in order to use nested functions.

I didn't write clearly because I didn't re-present the context of that paragraph.

I'm not talking about throwing away tests after they're run. Keep in mind my original post's context: manually inlined functions for access control to that functionality. You already can't test those separately because they aren't exposed. By moving to nested functions you regain some semblance of reasonability (versus 1k+ line functions with who knows how many levels of nested blocks) and the compiler can do the inlining (for performance). But it has zero net effect on testing, it's a wash. Because the public interface is the same (only the primary function interface is accessible to a tester).

If nested functions are available (and with C++ they are with lambdas) the refactoring would (or could) be something like: 1k line function => 500 line function with several lambdas => 3-8 functions totaling ~500 with some lambdas remaining.

Only those that make sense to move out for separate testing would be, and only if you also wanted to expose them for others to call.
I think to develop this conversation further would require me explaining why mathematicians are interested in certain subfields of mathematics and not others (e.g. the dead ones), but that's far too big a project for a comment. Buzzard says a little bit about this in the blog post I linked, which is a highly compressed version of what I'd write; if you're curious, maybe read that.

I've talked to more than "a few people," about this, and I think it's clear I've thought more about the sociology of this issue than just chatting with Tom Scanlon or whoever over a beer one night. I stand by what I said about that earlier, along with my comment that you ought to talk to a wider variety of mathematicians if you think there's some broad consensus that HoTT is important. (Start with the PDE and numerical analysis people, for example.)

Anyway, sticking purely to objective metrics, how many young mathematicians (postdocs) who work primarily on HoTT have ever been hired by R1 universities to tenure-track positions? Surely if this were seen as an important area, departments would want to snatch people in that field up, right? (I'd even accept examples of postdocs at these schools working on HoTT, though this represents a far less serious commitment by the department.)

This is (in principle – you'd have to collect it) publicly available information, which anyone reading this exchange can check on. (Look for assistant profs at schools listed as R1 on Wikipedia.) Maybe I'm forgetting someone, or not knowledgeable enough, but I can't really think of any.

(ER at Johns Hopkins was the first name that popped into my head, but she doesn't count because she has only a single HoTT paper among dozens, and it was written after she was hired.)

Another metric: how many HoTT papers are there in top mathematics journals? Annals, Inventiones, etc.?
Many people are stretching the budget to have a car. With an adequate bus system that gets you anywhere in town taxi distance with a maximum single transfer of 15 minutes, there are perhaps many who's lives would be greatly improved by ditching the car. Or even just keeping the job if the car breaks down. Or using the car just for weekend jaunts.
I'm curious about the spamassassin integration. Do you know of any open source projects currently using it for a web application?
I don't think it's any less fair than implying that CEOs of companies should have to be elected
I used to participate in a city-wide water pistol assassination tournament. Skipped the hard hat, got white coveralls from Home Depot, pinned my work id to it, carried a clipboard. Got in everywhere I needed to be, including a heliport and a private boat dock. I forget where I read it, but the phrase "just act like you're supposed to be there" has stuck with me a long time, and paid dividends.
Every other year is a campaign year. The delays or lack of them depends on who is in power. When there is mixed power everyone benifets from delay so you see a lot.
That, or the current front-runner for president (and next-best alternative to the incumbent President Trump) supports repealing Section 230, and if the Republicans can drum up enough popular support for a repeal that might be enough for Biden to support it as a "bipartisan" effort.
Yes the two are complimentary but I wouldn't make a differentiation between primary and secondary.

We need to reduce but we need to be removing at the same time. Not only so the net emissions are lower but even if we reduce to zero tomorrow there is already an excess we must remove.
BJ Fogg takes this further with his "Tiny Habits" method: https://www.tinyhabits.com/ .

He adds in the idea of environment triggers (e.g. you go pee) and doing the smallest part of the habit that you can cope immediately after the trigger (e.g. do one pushup).
obligatory link to postels law[1] and criticism

https://en.wikipedia.org/wiki/Robustness_principle
You could say the same thing about people living in Texas who didn't vote for Cruz. :-)
I think that the hyper-individualism that has been cultivated in certain segments of the American population for partisan political purposes is ultimately the greatest threat that American society faces.

It corrodes all aspects of society when a sizable population will place themselves above all else. The ironic part is that except for a thin slice of the wealthy it doesn't even benefit the people who espouse it the most.
For anyone who wants to actually look at Section 230, it's relatively short: https://www.law.cornell.edu/uscode/text/47/230

It seems like the relevant parts of the discussion are:

(b) Policy
(3)to encourage the development of technologies which maximize user control over what information is received by individuals, families, and schools who use the Internet and other interactive computer services;

and then this one:

(c)Protection for “Good Samaritan” blocking and screening of offensive material
(1)Treatment of publisher or speaker
No provider or user of an interactive computer service shall be treated as the publisher or speaker of any information provided by another information content provider.

(2)Civil liability
No provider or user of an interactive computer service shall be held liable on account of—
(A)any action voluntarily taken in good faith to restrict access to or availability of material that the provider or user considers to be obscene, lewd, lascivious, filthy, excessively violent, harassing, or otherwise objectionable, whether or not such material is constitutionally protected; or
(B)any action taken to enable or make available to information content providers or others the technical means to restrict access to material described in paragraph (1).[1]

(c)Protection for “Good Samaritan” blocking and screening of offensive material
(1)Treatment of publisher or speaker
No provider or user of an interactive computer service shall be treated as the publisher or speaker of any information provided by another information content provider.
The difference being that the laws should be changed in that case, whereas here maybe Section 230 is kinda OK.
> There are lots of "de specific" protocols that are well supported everywhere like org.freedesktop.Notifications.

except when they aren't - I had a firefox bug for a couple years where the browser showing a notification would completely hang it for at least 15-20 seconds
Don't do two minutes of pushups, do 2 pushups.
Is China the Governance of the Future?
I agree that wine,DXVK did a lot of progress and I can say that is an impressive technology. The issue is that the number of games that just work is small not large as it was implied. Some popular games will have some patches you need to compile into wine or find a pre-build version with those and other less popular games don't work or worse stop working half way through(happened for me with Elex),

I would say if you want to play games on Linux that are not official you will need to be prepared for some reading and trial and error, do you disagree ?
I agree with the left on so many issues -- and have voted for them consistently for a few decades -- but I'm really disgusted at how they have become the party of censorship and limits on free speech. It's telling that they are now the party that is overly cozy with the largest, most-powerful companies on the planet.

The Democratic Party has been moving away from the original meaning of "liberal" for a long time -- but supporting mega-corps censoring journalism must be the final confirmation that this is no longer a liberal party.
South Park Creators Launch New DeepFake News Show
Preparing Google Cloud deployments for Docker Hub pull request limits
I guess to me using something outside of its original context is just a subset of misrepresentation, in the sense that the value of the practice in question isn't being accurately portrayed.
You mean almost all of them? :)
You mean testing the hardware after it's produced against fabrication defects or testing the design before production against the specification?

Both are very different and very interesting on their own. For the design, verification can be done by computers and it's much more powerful than testing anyway. For the hardware, I imagine there are cores inside the chip with the sole task of testing sub-circuits (fab defects are much less varied than design flaws), but I stopped following that stuff at the era of single billion transistors.
Do you mean RTL to gates formal verification?
Don't do two minutes of pushups, do 2 pushups. The effect is the same. It gets you to start.
But even "relatively straightforward idiomatic code" is highly opinionated and developer dependent. For example, the array operation `a(:) = b(:) + c(:)` is very well known to be slower (and much uglier) than `a = b + c` in Fortran. Yet, many developers write in the former style and I see instances of such style usage in the Fortran code of Julia benchmark. Also, Fortran is a natively parallel concurrent vectorized language. The for-loops are automatically parallelized with `do concurrent` construct. The fact that the other languages, and perhaps Julia, lack such native capabilities, does not mean such features of Fortran should be excluded in a benchmark. Otherwise, what is really the point of a benchmark?
Maybe but the very first sentence in my mind made it clear that him specifically had something to do with the reveal. Why else would KrebsOnSecurity inform Gunnebo and not Hold Security themselves?
Under the 1909 act, works before 1963 with extension and works before 1991 without extension of their copyright term would now be coming under public domain. Could you elaborate your point? I fail to see how a difference of 3 years invalidates the previous posters point.
Paul Graham Essays Categorized by Theme
I was more asking about "ALC Operations Team designs it" - the obvious goal would be for you to automate as much of this as possible, I just wondered how much work (if any) has gone into that so far, even if it's not being used yet on customer boards.
i've just spent a happy half hour on your website. thank you. i miss these kinds of places on the web.
Nobody has ever been able to give me a function query cost -> wall time with any accuracy.
This makes no sense. The community of people working on Xorg aren't gone, they're just working on wayland now. Wayland was designed by long time Xorg maintainers. This "hostile takeover" narrative is complete FUD.
Are you confusing carbon offsetting companies with carbon removal companies? They can overlap, but are not the same thing. And I think the gaming is a particular problem of carbon offsetting (and I don't think there's a lot of history with carbon removal yet, at least if we talk about carbon removal in the sense of direct air capture technology).
The goal of many senators is to force Twitter to be transparent in being partisan. If Twitter tomorrow says "We're pro-XYZ and we're going to take down content we don't like" then the hearings would be over.

Twitter (and Facebook, et al) don't want that because they would be at risk of losing large parts of their audience. They don't really make money from a bunch of people agreeing with each other and sending nice daily affirmations. They make money when your angry Uncle Billy posts something political and gets a bunch of other people in a big shouting match - views are money.

The senators aren't doing this out of the goodness of their own heart. They believe they will gain better platforms of their own uses (and potentially profit) instead of having to deal with what they perceive as an adversarial platform.
> it wouldn't create a bunch of new jobs for accountants

That's the part I'm not convinced about. A flat sales tax rate for carbon will inevitably under-tax or over-tax something. Making it fairer will require armies of accountants poring over the carbon intensity of product categories. And of course companies will say "our factories/trucks/warehouses/stores run on wind power, give us a rebate". I understand the appeal of tacking a carbon tax on to an existing tax regime, but would it really be so easy or fair?

PS I've upvoted all your comments in this discussion and I appreciate you engaging with me so far. It's given me a lot to think about.
XFree86 was itself a fork.
I have a friend who does pentesting and she collects many cool and interesting looking usb flash drives for this very purpose. She says "60% of the time, it works every time."
Re ML: AMD seem to play less games with product segmentation, and it allows them to drive a truck through the pricing models of their competitors. Presumably, if the price/perf is good enough here, that will do to nvidia's ML market lock, what is going on with intel's midrange xeon line at the moment. The smart money is buying AMD and porting their stuff.