skysight-inc/HackerNews huggingface dataset:
Funnily enough the author of nix kind of seems sad that they made nix a programming language and has been Experimenting with a TOML frontend.

And also been Experimenting with a new more specified language called Nickel
The vast, vast majority of money made on the AppStore is made by mobile games. Everything else is just a rounding error.
In theory yes, but it's often a distraction in practice, like putting a triple-secure lock on your iron-plated door and leaving the window open. Many of these freedoms are important, but threatened much more by corporations or cultures than by governments.
Sorry, misinterpreted ”store the minimum-to-date next to the value in the stack”, reading it as if you had the stack and, next to it, a single “minimum to date” value.
Cross validation doesn't solve that problem. As the Wikipedia article says: "The variance of F* can be large.[26][27] For this reason, if two statistical procedures are compared based on the results of cross-validation, the procedure with the better estimated performance may not actually be the better of the two procedures (i.e. it may not have the better value of EF). Some progress has been made on constructing confidence intervals around cross-validation estimates,[26] but this is considered a difficult problem. "
>Despite decades of explanations and interventions, these efforts have fallen short in one important way: what I call the assumption of free-floating mindsets. This assumption is not only held by researchers but also policymakers and charity workers engaged in well-meaning efforts to tackle poverty in rich countries

Not sure we need to invent new phrases here, what's being debated is idealism and materialism. Thinking of individual 'minds' as primary actors is popular because as a society we're still stuck in some sort of Enlightenment/Christian mix where we assume 'success' is the result of moral virtue, good works, reason and so on.

People are allergic to material, systemic, biological explanations of poverty because it messes with a lot of moral assumptions and thus we're stuck in this therapeutic discourse.
> Apple thinks an ancient tiff library with scripting abilitites can be run with full permissions.

It doesn't. That is just one step in a chain of exploits.
I don’t know what any browsers’ synchronisation systems do with any or all of these, but for syncability and sessiony purposes, these are all equivalent.
Wow, it only includes Socket.

You could make this a bit simpler nowadays with some libs like Mojo and LWP.
Learn Awk with Emacs (2020)
Why would anybody work for those companies?
From a legal perspective, perhaps, but many it's neither a moral or ethical one
Like in case of Snowden and Assange, right?
Do you think there could better ways to automate smurfing detection that setting the reporting threshold to zero?
How Long Covid Exhausts the Body
Archived: https://archive.ph/8ontN
> Honestly at this point I’ve given in and am now advocating that we rewrite every damned widget from scratch in Rust, because by the time we’re mostly done, my career will be winding down, and seeing that shit still gets pwned like, exactly as much, will be “good TV”.

Rust won't solve logic bugs but it can help bring up the foundations. So long as memory safety bugs are so pervasive we can't even properly reason on a theoretical level about logic bugs. The core theorem of any type system is "type safety" which states that a well-typed program never goes wrong (gets stuck, aka UB). Only then can you properly tackle correctness issues.

> Rust is cool because Haskell Lego Edition is better than no Haskell at all, and Rust is cool because now that it’s proven affine/linear typing can work, someone will probably get it right soon.

I don't understand the condescending remarks about "Haskell Lego Edition".
I do agree that Rust has shown that substructural type systems work and are useful, and that they will be a 'theme' in the next batch of languages (or I can hope).
I'd argue exposing the IEEE 754 binary64 (aka f64; aka double) FMA unit's `((u52 * u52) & (1 << 51)) + u64` and `((u52 * u52) >> 52) + u64` (low half/high half, respectively) in the AVX-512IFMA instruction set was quite effective for the cost being comparatively cheap bypassing of exponent/sign handling and corresponding instruction decoder additions.

Note: these help for wide multiply, as needed most prominent by ed25519 and RSA. They do apply for "just" 256bit vectors using 4 lanes of 64bit (where multiplicands are just the low 52bits), without the AVX-512-typical clock penalty.

In similar spirit, it would have been nice to get emulated AVX-512 on AMD and Intel's E-cores, as it uses just one instruction to process twice the width, reducing the frontend throughout requirements. Also said AVX-512IFMA is rather nice, regardless of vector width.
I wanted something like Nix a lot more back when I was on Arch.

Since I've switched to PopOs, I've had fewer problems: most of the features I want are either in the default distributions, or in FlatPak packages.

Since I'm using defaults more and re-installing the environment less often, I don't worry about reproducible configs as much.
The flaw in the idea of "rewrite it in rust" is that, next to the memory issues, the biggest issues are logic bugs.

Rewriting something from scratch isnt going to magically not have bugs, and the legacy system likely has many edge cases covered that a modern new implementation will have to learn about first.
I disagree. Yes, Plaid should be fined or even liquidated for selling their customers' data. Yes, their security approach is a nightmare. On the other hand, the choice of whom to let process your data should be yours and companies should not be able to limit that under CFAA or "for your safety" pretexts.

I think mandating API access for large consumer-facing apps is the way to go. Think of it as a "power of an attorney for all things digital". And banks are not "inflexible and slow on the uptake for new technology". In Europe the API integration only happened with the "help" of lawmakers: https://www.bloomberg.com/professional/blog/europes-new-api-...
Right company. And unless things have changed in the last 12 months, a sizeable number of their delivery drivers are contractors, not part timers (though they do exist)
It helps a lot that you gave me the name for the method. In the future, I can use that as a reference to explain what I'm doing or teach others, perhaps without needing to go into the details as I did here.
And, again, what's your point? Why this isn't an automatic update - why does Google not put the effort of upgrading their old systems while Microsoft just do it? Apart from the ill-fated Surface RT, Microsoft's old devices still receive periodic updates with minimal intervention. Why Google can't do the same thing?

Edit: actually, Microsoft is even kind enough to support clusterf***s that are not even their fault - https://arstechnica.com/gadgets/2017/07/clover-trail-systems.... As another comment pointed out, just give security updates if it's too onerous to upgrade to the next OS - which in CN60 is demonstrated to be a pure business decision.
> Bad comments are like kudzu: they take over rapidly.

The kudzu comparison is excellent. If you've never been to the US South, kudzu is a vine that was brought in from Japan by the Works Progress Administration in 1935 to help control erosion. It sounded like a great idea, as it grows fast - really fast (up to 30cm a day, in the right conditions) and adds nitrogen to the soil. But it's essentially unstoppable and it will use existing plants to support itself and get access to sunlight, smothering them in the process. When the vines droop and touch the earth, they can start a new root system from there. The only way to control it is via goats, and there aren't a lot of goats in the South.

https://en.wikipedia.org/wiki/Kudzu_in_the_United_States

So if bad comments get a solid hold on your site, they can be really painful to remove. Like kudzu, they support themselves on legit comments. And will smother them if allowed to spread unchecked.
> "one code point in unicode does not necessarily map to one character on the screen."

Also, importantly, some characters are not represented at all. For example, there is no codepoint or combination of characters that distinguishes a capital Turkish dotless I from its identical looking but conceptually different sibling the Latin capital I. Similarly for capital Turkish dotted İ.

I find it extremely weird that two codepoints couldn't have been spared, yet we have gradations of skin tone in emoji. One can use composition to deal with the round-trip from i -> İ -> i (within a closed ecosystem), but even that fails when it comes to ı -> I -> ı.

A case in point are the product pages for my friend's book on Amazon. Compare "Sınır Ötesi" to "Sinir Ötesi". The former means "beyond borders" whereas the latter means "exceedingly irritating".

Yet, because there is no unambiguous representation of the Turkish I's, the rendering makes an assumption on the basis of the domain. Note that all other non-US ASCII letters involved are rendered correctly.

\c[PERSON FROWNING, ZERO WIDTH JOINER, PROGRAMMER]

[tr]: https://www.amazon.com.tr/Gezging%C3%B6z-S%C4%B1n%C4%B1r-T%C...

[us]: https://www.amazon.com/Gezging%C3%B6z-Sinir-T%C3%BCrkiye-Mir...
What about notes? Is there a way to add notes to highlights? It would be nice if they are also displayed on the side.
Jazz uses dissonance to create tension in music. Is that much different than stating it causes anxiety?
Sure, but most industries aren’t regulated to the extent that you would need logs.
This looks really neat. I hope to make use of it.

I noticed a minor error in the tutorial under Basics: "scrolling down half of screen width" should be something like "scrolling down half the window height". Animating the scrolling would make it much less disorienting.

Is there a way to see a list of marks? Slices of the screen like the reference preview would be great, but just a list of defined mark names and page numbers would be useful.

I'd love proper touch support. It's so much faster for zooming in on figures or scrolling through pages quickly.

I often view PDFs with two pages side by side in Adobe Reader or Sumatra, and that's great for looking for things (move through documents with left and right arrows). I'd miss that.
"The Bell Curve" is from 1994, a time when the importance of demand for education and skills as a driver for inequality was far less clear than it is today. The real focus of that book was not to drive any racist message, but simply to sound the alarm about how the already extant divergence in educational outcomes would only become more and more relevant in the future unless something radically effective was done to try and mitigate it. People really like to misrepresent that book for some reason, but if anything its real message has only become stronger and more relevant since then.
I encourage you to look into that all of that in good faith if you ever do become genuinely interested.
Recreated sources for the book “UNIX Text Processing,” published in 1987
Ye the churn is crazy in many languages. I almost had a heart attack when the twitter post stated that "true" and "false" are keywords in C23. However that seems incorrect.

On my last workplace we argued if we dared to use stdint.h, since it was so new and fancy. I was a proponent, but there is something calm over discussing whether to use 23 year old additions or not.
Previous discussion from 7 months ago: https://news.ycombinator.com/item?id=27893303
Although is not perfect, this is one of the good use of “A.I.”
That’s just not true. We’ve done this and it has led to the destruction of the family and further impoverishment of many people. We shouldn’t continue doing things that have failed.

The Moynihan Report explored this in the 1960’s and has predicted where we are today. And although it was related to black Americans at the time it is very easily generalized to everyone.

Just giving people money forever will only cause destruction.
> The bank is going to equally ask you the source of the income/funds.

Those would be be the banks that cryptocurrency true believers think they are going to be replacing entirely, though, right?

It needs an entirely new legal framework.

At any rate -- my (business) bank won't ask me the source of cryptocurrency funds. They will see that they are cryptocurrency funds and then permanently close my bank account.
> These people all use iPhones.

A quick research tells me that pretty much all stats show Android use to be around 80% in Ukraine. Or did you mean Hong Kong? For the latter I see a 50/50 divide.

Just curious about that sentence. I don't think the stats take anything away from your general argument.
Difficult to say. I'd keep in mind that NSO Group is a private company, with limited funding and limited privileges. There are also government actors out there with secret services. Who knows what they have been up to recently.
Yes, Drew mentioned in passing that he's not fond of the term. I expressed agreement.

You presumably don't agree, or you wouldn't be dismissing it as snark.

> So nobody involved here was fetishizing “disruption”

Right, Drew mentioned it in passing. Hence It's a minor point and somewhat off topic.
3D prints that appear to change shape when viewed in a mirror
Do they remove the human in the loop? That doesn't seem like a smart idea. A model would be good just for suggestions.

Humans are both biased and with high variance (not to mention corruptible), but the algorithm can benefit from much better scrutiny and ensure uniform application of the criteria. If a human overrides, then they got to have a good reason.
The bookmark feature is basically notes, though they are not currently displayed on the side.
Yeah, there was a time when installing Windows XP with an Ethernet cable plugged in was impossible, because the PC would get infected before even finishing the setup, and reboot.
Because the first one is extremely simple and all that is needed. That doesn't mean that things like education aren't good - but they aren't required or effective for poverty reduction.

The other fundamental issue is the poverty is most severe for households with non-earning or low earning dependents, such as children, elderly, sick, disabled, and caregivers - simply because the household income needs to be split more ways. No amount of teaching can fix that - only redistributive welfare can.
My favourite: https://en.wikipedia.org/wiki/SQL_Slammer - 376 bytes of malware, spread via spraying UDP packets at random IP addresses, infected basically every vulnerable system on the entire internet within 10 minutes.
This is one of the main reasons I’m building https://mygraph.ca.

Unfortunately the only current and sane way to allow users to aggregate their financial data seems to be by having users pull .csv files from all of their accounts (at least where I am, in Canada).
This sounds horrible.

In Europe there is the PSD2 [1] standard that basically forces (since 2020) all banks to provide some form of API to access and control customer accounts. And since all banks already had to go thorugh the work of creating an API, some of them even make them completely publicly avaiable (which isn't strictly required by PSD2).

I once built a script to pull all transactions from my bank account to create a financial history in just one afternoon. No scraping or shady third-party services neeed.

It takes a while to get such regulations into effect, but I think this would be a much better alternative to services like Plaid.

[1] https://en.wikipedia.org/wiki/Payment_Services_Directive
It sounds like Vernor Vinge’s A Fire Upon The Deep (& sequels), well worth finding.
> Having the BBC release code for free to commercial use is often deemed to be a "market distortion", and thus not allowed to happen, as such the lawyers will often err on the side of caution.

People outside the UK: this isn't just theoretical, please look at the history of BBC Micro. That's how the corporation was structured at the time, and it should be read with this in mind. There are a lot of very fine pieces of BBC software that is stricter than that and can't be legally released to the public, for example most broadcasting software like its MPEG2 encoder aren't available because it'll disadvantage broadcast equipment manufacturers (although for the MPEG2 encoder FFMPEG's is now better). This is also not specific to the BBC: before its disbandment, the Independent Broadcasting Authority (which owned half of the transmission network in the UK, the other half was previously BBC but both were privatized and now owned by Arqiva) required to do product development and research by law but can't commercialise those research by themselves.
I had to switch to docker after LXC have been snaped.
Often when I hear stories of billions of requests per second it's self inflicted because of over complicated architecture where all those requests are generated only by a few thousand customers... So it's usually a question of how the company operate, do you constantly fight fires ? or do you spend your time implementing stuff that have high value for the company and it's customers ? Fighting fires can get your burned out (no pun intended) while feeling that you deliver a lot of value will make you feel great.
Agreed, divers can repair running reactors right next to them without incurring radiation poisoning because water is just such an effective shield.

It’s not surprising the shielded radiation is so low.
I'm not sure if you're being sarcastic, but for parallel construction they'd still need to find this exploit. Are you saying Google Project Zero is out there to hide the traces of backdoors?
Show HN: Wordle over DNS
Currently there is no way to see list of marks but you can see the list of bookmarks.
This is spot on. Feeling frustrated working on large distributed systems could be generalized as “feeling frustrated working in a large organization” because the same limitations apply. You learn about things you cannot control, and it is important to see the difference between what you can control and contribute and what you can’t.
There are plenty of websites by actual lawyers who summarize ToS for regular folks. This collection of tweets appears to be written by someone severely under qualified to comment, who wants to be angry on the internet.

https://tosdr.org for example
Why compare 'non-tight' Rust against 'tight' C?

Surely we should compare tight Rust (with some 'tight' unsafe sections) against tight C?
"Programming Done Right"... closing the page
Right, but a memory unsafety but is what takes a harmless logic bug in an image parser with no filesystem access to an RCE and sandbox escape.

Memory unsafety allows you to change the 'category' of the bug, you become free to do whatever whereas a logic bug forces to to work within the (flawed) logic of the original program.
My last team used Google Docs exclusively, and writing a doc was where it went to die.
Good web standards take implementer consensus and users into account too, including their security.

Google has ploughed ahead with File System Access in order to meet a developer desire (and occasionally user desire). Mozilla and Apple have declined to implement it (or at least the dangerous half) because no one can find an acceptable solution to the security problems.

File System Access is not currently a good web standard—in fact, it has not even progressed to being a web standard, because of these problems.
You can put in line pragmas for e.g. gcc that will point you from "foo.gen.c" to "foo.fancylang". However it is not very useful unless the fancy language matches C's structs and native types and also does not mangle names.
> As nixops and guix deploy have shown, the two concepts are very related.

can you elaborate please? are you talking about using Rust for package definitions?
Our entire working lives are conditioned to jump to conclusions - they want things fast and they want it to agree with the opinion/vision of the boss.
I realize that. I don’t think my stance will change. The DNA I was born with is less important and sensitive to me than my decisions and outcomes.
A lot of "positive thinking" is gaslighting.

Blaming people in poverty for having the wrong mindset diverts the attention away from society.
Computer assisted hermeneutics, etymology and archival research make
for fascinating research. But when we read (too?) deeply into what
some historical figure "really meant" they're obviously not around to
defend or correct. That can lead to some wild revisionism.

These may be good or bad. We end up with 'alternative' interpretations
of what were once solid historical characters.

Dickens was _both_ a compassionate writer/social critic, and a hard
businessman. Not necessarily contradictory qualities.

Careful analysis shows that much of Nietzsche's later work was pieced
together by his sister to further her own political aims.

Machiavelli's 'Prince' was very possibly written ironically as
"whistle-blowing" on the Medici family who effectively held him under
comfortable house arrest while monitoring his writing. On the surface
"The Prince" appears to flatter the ruling classes, but in truth
excoriates those who tortured and bullied him.

Computers can be really useful in linking these fragments together,
something pioneer Ted Nelson was very into.
I’ll add: the fact that this of all things makes it to the front page of HN, is worrying.
There is a Rødby-Puttgarten ferry route.
The ferry takes 45 minutes. In the daytime there are two departures/hour in each direction. On busy days you need a reservation.

The ferry cost about three times as much as the fee for the Great Belt bridge to Fyn, so people use the ferry because they still save a couple of hours, depending on traffic.

So the bridge will make a huge difference.
I haven't tried this yet, but the idea that I can click on a reference and have a window pop up to show me the equation/figure/table without actually taking me there is awesome. I've been trying to figure out how to do this pop-up thing in latex so it would do this in regular pdf viewers but the current methods I've seen are all too clunky. To be able to do this purely in the viewer is fantastic.