skysight-inc/HackerNews huggingface dataset:
"The key feature of literate programming is separating the order that code is written in from the order that the compiler requires"... in the languages that were popular at the time Knuth wrote the definition, which were very rigid and uncompromising on layout.

We don't need specialized literate programming tools today because modern programming languages are already capable out-of-the-box of sufficient flexibility in organization that the additional marginal benefit of a superspecialized higher-layer toolset to weave pieces together is no longer worth the effort of learning and propagating out to teams. Yes, they technically can do things programming languages can't, but I could even honestly quibble on whether those things are a good idea.

This is why strict Knuth-ian "literate programming" has never taken off on a technical level and why it never will; by the time it might have gotten enough attention to really take off, programming languages had already largely incorporated the necessary additional flexibility that made it unnecessary to use specialized tools to write good code.

The human reason, of course, is that merely making documentation easier or nicer is not generally enough to get people to write it, and arguably literate programming makes it harder to write. Not because of the tooling being bad or anything, but because of the bar being raised really high to have "proper" documentation under its dictates. People can write plenty of well-documented, high-quality code in any modern language right now. They just generally don't.
Which fonts do support them?
qalc (https://github.com/Qalculate/libqalculate) is my command-line calculator of choice. Its killer feature IMO is the units support
> When I was a kid in the 1980s, we heard about Soviet government propaganda to its citizens, including via Pravda.

Lol. Assuming you went to public school, you've already proven that the U.S.G. did propaganda to its people too.
I really enjoy your contributions to this thread
Measure is the best way to know how much energy actually used. Let's check your own computer.
Thank you so much for trying it out.
The languages scratchpad actually comes from a third party provider, including execution and output. I will definitely see if I can escape the ANSI codes.

About storing states absolutely makes sense. will fix this 100%.
> The "safe" solution recommended by the rustaceans was to use integers as references to the data in a vec or hashmap.

What ? Box, Arc (and weak) are exactly made for this.
> They don't want the rate to be low, they want it to be zero

I'm not sure what the problem is with that. Of course mistakes happen but it should be the goal.

The red team also seems to have less of those "oopsie I just killed you" moments, so perhaps that might color things there.

And then you go on to the far end that calls for abolishing police/prisons and make that the general team blue zeitgeist. There's low hanging fruit of reform that needs more focus, e.g., not using police for mental health emergencies.

Anyway, your framing of the situation as a non-conversation is kind of meta -- it feels like you talked right past the problems.
This raises my hope that platforms can successfully catch other nation states trying to do this to my country.
If the last time you tried it was 5 years ago, then you probably didn't experience Rust with non-lexical lifetimes. That was added in around 2018 (IIRC), and radically increased the number of programs that the borrow checker accepted.

That being said, you still can't do "naive" cyclical data structures without some additional assistance. But the ecosystem has matured around that: crates like ouroboros[1] provide safe interfaces for creating self-referential structures and datatypes.

Edit: NLL was indeed added in the 2018 Edition[2].

[1]: https://docs.rs/ouroboros/latest/ouroboros/

[2]: https://blog.rust-lang.org/2018/12/06/Rust-1.31-and-rust-201...
I contributed to Supabase Realtime [0] before being hired late January of 2021.

[0] https://github.com/supabase/realtime/commits?after=9990120c6...
I kinda down own a macbook at the moment, so was not able to test it on other platforms
That's my take too. Idiomatic Rust is "safe" in the sense that... it disallows most nontrivial data structures. Even a doubly-linked list is impossible to get through the borrow checker.

That's... not really that fatal. There's a lot of very useful code that can be written using only runtime-provided[1] containers and straightforward ownership trees.

But obviously the big problem is that for applications that do need to do non-trivial reference semantics, Rust doesn't really offer much. Applications with nonstandard allocator paradigms or weak-referenced caches or that need to do complicated graph management are mostly on their own in the world of unsafe.

And the somewhat more cynical point is: for applications that can easily fit within standard containers and standard allocation paradigms, C++ actually works really well already. Use your smart pointers. Use your containers. Follow the rules everyone tells you about not using bare new/malloc. And... it's basically just as safe, because anything beyond that would be unsafe in Rust too.

I don't dislike Rust, really. But the space between "Need to stay away from C++" and "Should probably just have written it in Go" seems to be getting smaller and not larger.

[1] Which in Rust, means "written using a ton of unsafe blocks".
Seriously, just use unsafe.

“Welp, can’t write a doubly-linked list in safe Rust so I might as well use C” is throwing the baby, the bathtub, and the rest of the greater metro area out with the bathwater.
Wow, that's a good looking brochure. I always loved that style of illustration.
Oh yeah completely agree. I've been working (on and off) on some designs embedding other non-text items into the sheet e.g. tables, graphs, etc. Still in the early phases but the difficulty is balancing the complexity / simplicity.
I find that practically speaking, 80 to 90% of the decision-making and what language to use boils down to what one is trying to do and what examples one can find of somebody doing something similar. For medium to large scale software, ecosystem matters most because when you get stuck you don't want to be reinventing wheels that other people have already solved.

I have definitely, for example, used Java in a project where I would rather walk on hot coals than add more Java to the world... Except the project was to write a second webserver that included all the accreted wisdom the company had built up over the years and we already had a first one written in Java.

The pain of adding more Java was offset by avoiding the pain of having to explain to a vice president how the company got hacked a second time in the exact same way we got hacked 5 years ago...
> Those who need to make emergency calls must do so from the main office, and those caught with cell phones have them confiscated, she said.

Sometimes it isn't possible to get to the main office.
I don’t understand this attitude at all, it’s significantly more secure than password auth, takes less than 5 minutes to correct, and you only need to do it once. It takes approximately as long as you typing out your comment.

The entire software industry has occasional change, and I have a hard time believing that 5 minutes to update your account to use a more secure system is that much of a burden (they even provide you a link to the docs!). You seem to have some other reason for really taking a stand about this.
I think the outcome of the US navy torpedoing civilian ships of a national adversary is highly unlikely, unless 1) we were actually at war with them or 2) they are doing something generally accepted to be illegal -- like Chinese fishing boats turning off transponders and fishing in us territory. or 3) sanctions running

The only way I see the landscape changing meaningfully in the direction you suggest (cargo ships going up against seafarers they are not able to defend themselves from) is if letters of marque were reinstated. At least one proposal has been floated -- and when we all stop laughing about it I grant that it might become a thing
Damn, I am kinda surprised we don't have this enabled on our site. Thanks for dropping this tonight.
In a lot of cases as your planet size goes up the gravity doesn't go up as fast at the surface as you would expect. First off, sometimes the density is different, so you would have a similar sized but lighter planet. Other times it would just be the distance from the mass meaning that the mass on the opposite side of the planet has less effect than you would expect at the surface. If you add extra mass you also increase the radioactive decay potential which is part of our core being warm. More radioactive material, a longer time with a stronger magnetic field, less damage from solar radiation. And yes, the surface fluid being denser would provide more boyancy, so an aquatic species would have less of an issue from multiple times Earth gravity.

Pretty cool stuff.
I like qalc (https://github.com/Qalculate/libqalculate) as a command-line calculator. It has all the basic repl features, but also excellent units support and other useful math-oriented things.
> Yet another example of trying to solve psychological/emotional issues through cultural changes. The root problem is low self-esteem; it's internal, not external; it takes deep inner work, not a change in social norms and teacher behavior. It affects some kids deeply, and some not at all. It's not "caused" by the culture or the environment, but by parenting.

I think it can be both. Surely our cultural influences and practices in childrearing (including by societal mechanisms like schooling) matter.

There's a huge pop in anxiety among youth, that no one quite knows the causes of (climate worries? increased academic pressure? social media? collapse of portions of the social fabric?). This massive rise indicates there's some degree of underlying change causing it, and raises the prospect we could change back or change to be even better.
It doesn't explain things too well, but it gives answers and is iterative so I'll keep at it.
multiple people, myself included, logged in to comment precisely because the idea that MR is mostly aptly described as "Azure CTO" is a bit much. Glad the op commented the way they did, it also obviated this exact argument by simply establishing who exactly he is and not exhaustive foot stomping recitation of all his work.
Appeals to authority are useful and good. They’re shorthands for doing PhD theses on every topic you encounter. They aren’t bulletproof, though.
I love Numi - it's a very beautifully designed app! Didn't realise you could use underscores as separators, will make sure to add it in!
I'm not convinced that destroying the flash chip makes it more secure. Erasing the chip should be secure and fast enough. Damaging it with overvoltage might leave the data recoverable.
The borrow checker has become smarter, but not at handling cyclic data structures.

The problem you're describing still exists, though I'd say the advice isn't quite right.

Generally the better advice is to use a graph library, or something like slotmap [1] if you're rolling your own, than to use a Vec or HashMap. That's superior to a vec/hashmap for a few reasons. It handles keeping indicies stable/writing your own index allocator. It also makes it possible with a feature flag to detect all use after frees at low-ish cost (instead of only detecting them if no-one is re-using the slot). It makes it convenient to use typed keys instead of integers. The underlying datastructure is basically the same though.

You can also use Rc/Weak for cyclic data, for ref counting "GC", it's an approach I have less experience with so I can't speak towards it as well.

In the end not that much data is cyclic (especially in idiomatic rust), and this is trading off a small amount of debugging convenience on cyclic data, for guarantees of memory handling correctness in the rest of your code, and for guarantees about the amount of damage that mistakes can do in the code that does need to handle cyclic data (which in turn is a debugging win on cyclic data, so...).

I agree it's a bit of a rough edge, but it's a case where rust solved the easy 95% of the problem with only slightly questionable tradeoffs on the remaining 5%, and that's a win in my book.

[1] https://crates.io/crates/slotmap
To be that guy... Didn't Guido officially step down as BDFL?
More details here: dated 25 Aug.. https://www.bloomberg.com/news/articles/2022-08-26/china-dep...

[..]China is using two massive drones to seed rainclouds in Sichuan province to try to end a devastating drought that has choked power output and disrupted supply chains of global giants like Apple Inc. and Tesla Inc.

The China Meteorological Administration launched drones in northern and southeastern Sichuan on Thursday morning, and the aircraft will eventually cover an area of 6,000 square kilometers in operations lasting through Monday, state-owned CCTV reported. [..]

[..]Seeding works by dropping an ice-forming agent like silver iodide into a cloud that already contains ample moisture. Rain droplets gather around the agent, gaining weight until they begin to fall. China has a long history of using the technology to water crop fields, cool blistering cities and make sure skies are clear for events like the Olympics.[..]
> That said, almost every concept you need to understand C++ is also needed to understand Rust

I agree that many basic C++ concepts are also present in Rust, but C++ is more than just its basic concepts: it's a huge set of features on top of those that interact with each other in complicated ways. Like how constructors aren't functions but something very special. If you just want to be a beginner C++ dev who works alone on their piece of software that doesn't have any dependencies, you can be fine, you just use the subset you are familiar with. But if you want to maintain other people's code, you need to fully understand what it is doing, the C++ features it's using. Rust's whole feature surface is absolutely smaller than that of C++, and the features that exist integrate way better than the C++ features.

Plus, if there is a gap or misconception in your knowledge, in Rust you would get a compiler error, often very well explained. In C++ you would get a segfault, often not a really nice one.
vs the current situation?
So you don't feel that doctors should pay for their education? What about jobs which require paid certifications? But in general I agree. Keep paid education separate from employment. No good can come from conflating the two.
Box doesn't solve the problem of cyclic references. And telling people they need to eat the overhead of a per-object reference count and/or weak pointer double-dereference just to write a list that can delete items in place is a pretty tall order for a language that claims to be high performance.

No, this is genuinely a big hole in the expressive space of the language. Not a lot of apps really need to do a ton of manual pointer work implementing non-trivial data structures, but some do, and it kinda sucks in Rust.
No. He could be improving Python on his own time.
Secured vs Unsecured credit
I know, that was the joke :)
> “We talk about Stanford behavioral scientists hired by Big Tech to design the little dopamine slot machines we carry around,” Hertz said. “I tell them about my own struggles with my phone, I remind them that their eyeballs are dollar signs, and tell them it’s not their fault that they can’t stop looking at these things.”

This is interesting - I wonder who she was talking about in particular, perhaps someone from BJ Fogg's Behavior Design Lab (formerly Persuasive Technology Lab?) Though it appears that the lab, and its graduates, are generally oriented toward more positive outcomes.
Ghost-cell [0] also lets you create a doubly-linked lists (without you having to use unsafe code, and with no overhead)

[0]: https://crates.io/crates/ghost-cell
Island Syndrome
Then Azure should probably get some Rust SDKs: https://azure.microsoft.com/en-us/downloads/
NASA's InSight 'Hears' Its First Meteoroid Impacts on Mars
We do indeed listen to what authorities on subjects have to say, yes. Mark Russinovich is an authority on systems programming, and his thoughts carry weight because of his track record.
This is so cool. Everything in one command, Thanks for sharing. How are you serving the model? I couldn't see it on the Github repo.
Use generational arenas.
Redis or some handroller message queue
the thing is that we all see this system as a failure,

but the people who make the decisions, and who run that system, see it as a success.

their primary goal is not to provide reliable power, their primary goal is profit and ideology. and they have successfully done both those things.

a bunch of people died, nothing will change, and they will face no consequences. texas will remain off the grid and the next winter storm the same thing will happen.

in their book, they are a success.

thats the whole thing about complex systems. at some point, human beings disagree on what the priorities are, so they disagree on what failure is, they disagree on what maintenance is, and they disagree on what "proper function" is.

complex systems are always connected to complex vested interests and flows of power and money.

so people say things like "the boeing 787 failed". . . did it though? It killed hundres of people , but the executives in charge of it made huge profits and faced zero consequences. Boeing stock price is fine, and it will not face any meaningful punishment or consequences from the government. nor will it face any meaningful consequences from the legal system, which is irrevocably twisted in favor of big corporations like them.

From these peoples perspective, the 787 killing hundreds of people is not a failure, its just something that happened that they can hire PR people to deal with. it wont interrupt cash flow (or, at least it wont interrupt their personal bonuses and personal wealth that much) so its basically irrelevant to them.
for CRDT solution, check tiptap + hocuspocus / yjs
Maybe "only talking about the title" is an anti-pattern in social media; and maybe HN even explicitly warns about complaining about titles; but, this wording difference is astounding enough to be interesting in its own right:

Washington Post: "Pentagon opens sweeping review of clandestine psychological operations"

New York Times: "Pentagon Orders Review of Its Overseas Social Media Campaigns"

https://www.nytimes.com/2022/09/19/us/politics/pentagon-soci...

Just how flexible are we with language, exactly, that these two headlines can coexist?

It's not even as if these two papers' editors have particularly different ideologies or mindsets. They just looked at the same story, separately; selected a framing; turned the language intensity up to 11; and this is the absurd result.
> , I meant confidence comes from achievements

Confidence coming from achievements is a terrible foundation for real confidence.

I did all kinds of things, and still found ways to doubt myself or think my purpose was exhausted.

Confidence from enjoying growth and knowing I can improve and be valuable no matter what the outcome of what I'm doing now is a much more solid footing. Plus, it makes me try harder, too, instead of having my "achievements" called into question by each failure.
I did read it and it is honestly not that complicated. The SEC is being generous here. They could make the argument even if there were no validators. But I hope this is the start of them shutting down the validators too.
bizarre. not even sure what that linked comment is supposed to do for your argument here. The idea that rust is some plot by "companies" to "prevent jailbreaking" is ..... rough, man.
The number of ancient Martian lakes might have been dramatically underestimated
It's not just the articles, it's digitization of the texts themselves and email conversations. Using characters offers the opportunity to do computational textual analysis (this allows you to do substitutions first, by replacing this character with 'o' -- much harder on a bunch of tiny images).

Plus there's no shortage of space in the Unicode address space.
"Who wants to take that risk?" I do, Japanese society in general is ridiculously risk-averse, and IMHO this is the perfect example. You take risks everyday you don't even know/think off, which are likely multiple orders of magnitude higher than you dying on an earthquake even if you are in the riskiest position. E.g. in the worst earthquake last few decades (2011) and only ~600 (4% of deaths) people died because of the earthquake itself. Even if that happened every year, it wouldn't be in the top 10 causes of death, probably not even top 100 (Japan has 1.2 million deaths/year).

If you are even slightly conscious/purposeful about this, you can do a thousand things with the money you save NOT rebuilding a house in Japan to lenghten your life that are a lot more effective.

About cost, I don't know enough about architecture to tell about earthquakes, but in non-earthquake areas a house built costing 2x as another one (everything else being equal and focusing the extra cost on quality/durability) will go from lasting X years to basically forever, or at least a much much larger timeframe than 2X.

Assuming earthquake are similar (I suspect not), cost should definitely be worse if you have to rebuild every 20-40 years than if multiple generations lived in the same house!

IMHO in Spain (low geo mobility, long-time housing duration) that's a big deal and basically why, while it is a "salary poor" country, people have relatively good lives. That's why most people also go somewhere else for summer holidays, either a family second house, a friends house, etc.
I would argue right to privacy until riding enough public transport and hitting enough incidents that make you wish someone was watching.

Some incidents:
1. A man as red as a tomato with anger yelling at the top of his lungs that he was going to kill a woman and following her out the door at Chicago’s blue line.
2. A woman begging with a toddler-aged child that was constantly drowsy / appeared sedated on a line multiple days, and weeks in a row.
3. The slashing of Nia’s throat in the Bay Area BART.

Eventually we stopped riding public transport, even if it was cheaper or more convenient/fun for the kids, because of fear of traumatizing incidents with little ones present. Its possible that the awareness of possibility of being recorded makes people behave better than they normally would. It’s also possible that public safety is better ensured if they know common abusers and somewhat reduce the abuse.
> a dedicated negation operator it should have a higher precedence than power

I prefer the traditional precedence; it ensures - 3 ^ 2 = 0 - 3 ^ 2
When you say JavaScript, do you mean java? Rust undoubtedly raises the floor which is great, but designing scalable systems that enable new members to ramp up is a timeless skill independent of language.

As someone who isn’t a rust native but an interested outsider, it can obviously be cumbersome to use on my pet projects compared to something like python, js, c# or C. Dealing with references to generically types traits adds a lot of syntactical burden (re: shit for me to type) and defining types and their implementations leaves something to be desired regarding its grammars.

That being said, my toy programs do not require particularly complex types and the rust compiler is nothing short of a brilliant. The book is a surprisingly easy read, the module system is fine, cargo is decent out of the box, and there is an interesting mix of paradigms in the language itself. In my mind, the power of the compiler is certainly the big feature of rust and that compilers input language is decent enough such that I wouldn’t dislike using it as a daily driver.
While the Cpython core developers are Fellows of the PSF, the PSF does not provide technical direction. That is not its purpose.
Twitter Archive of Users