skysight-inc/HackerNews huggingface dataset:
though having a single pass compiler makes it a bit dated feeling compared to other languages

Can you please share how F# could improve with a multi-pass compiler?
Guess we'll have to brute force clean our teeth by moving the locked toothbrush up and down, side to side, and in circular motions.
I use an extension called SingleFile, and have it save EVERY page I visit. It saves every page locally with a timestamp at the beginning of the filename followed by the page title. Normally, I can find what I'm looking for using search, so no need for tags.
The situation in question involved a response from some other server. That server was supposed to speak some binary protocol which had a 32-bit length field at the start of the response. Instead the program which did the giant malloc accidentally tried to connect to an HTTP server. It blindly trusted that it would receive something in that binary protocol, so tried to interpret the first 4 bytes of the response as a length, and then proceeded to try and set aside enough of a buffer to handle that size.
when you say we just like AI, this imply people do not really care anything, they just mimicking human behaviour. we know this isn't true. besides, if someone scoff at your family, you will angry, this is a common/predictable behaviour. is it a bad thing?
It's not a person, it's a machine. And it's one that will still produce hallucinations that embarrassingly prove that it has no notion of intelligence, and do so confidently. That it does so less than it's sibling is entirely irrelevant.
— We didn't notice, it passed all our tests (sheer luck) and dumped core on prod all day long.

If this happened to me I’d not call that luck, I would want to know why my tests missed this.
If anyone wants to export a pretty good version of all their reddit data, I wrote an exporter that dumps into SQLite: https://github.com/xavdid/reddit-user-to-sqlite/

It also supports the Reddit GDPR archive format, so you can fetch your whole history of comments/posts (which isn't possible to page via the API).
One could compare Arabic dialects/languages [0] to Slavic languages about 700 years ago. The dialects/languages are actively diverging due to different cultural ties and influences each country experiences, but due to the internet there's a regular cultural interflow keeping a certain level of mutual intelligibility with other "Arabic-speaking" groups.

In this metaphor Algerian is probably Polish or Czech in the 14th century.

[0]: This is a loaded and inaccurate term used here for brevity.
It's simply not correct that he is asking only for his competitors to be regulated, and it's extremely well documented. https://www.bbc.com/news/world-us-canada-6561686
I've had luck extracting/parsing documentation with chatGPT and the Link Reader plugin.
How on earth is this not an earth shattering political event for Californians?
There is much naïveté among the strongly typed herd.

Is exactly the reverse also true? Let me try: "There is much naïveté among the weakly typed herd." For every person who thinks Python or Ruby can be used for everything, there is another person who thinks the same for C++ or Rust.

Also, the example that you gave is incredibly specific:

When tasked to create glue code translating between two opposing type systems, which is a very common data engineering task

Can you provide a concrete example? And what is "data engineering"? I never heard that term before this post.
Per your link, Moore's law also doesn't state anything about density. Density is just one of the ways "The complexity for minimum component costs has increased at a rate of roughly a factor of two per year.", i.e. Moore's law only ever stated transistor count per a given price roughly doubled every 2 years.
IP over Burrito Carriers (2005)
Von Neumann may have meant the cumulative delta-T as of 1955; he may have also been referring to the expected equilibrium delta-T given the total emissions as of 1955. I don't think he meant the change over a generation; he was saying that CO2 emissions over the preceding generation were as large as all of the emissions before it. If we take the simple, cumulative change interpretation, he was off by about a factor of 2 using the usual start date of 1880; the equilibrium is harder to reckon. To make things more confusing, the years 1883-1920 were actually much colder than the preindustrial norm due to the eruption of Krakatoa, which he also mentions; using these as the baseline, one degree Fahrenheit is quite close to accurate (but no longer solely human-forced). The Krakatoa anomaly is why pre-1880 is usually chosen as baseline.
Jira sucks in the same way that email sucks - the platform is fine, the stuff people put in it sucks. you probably don't hate jira, you hate your boss, or their boss, or your colleagues, or your business's development practices or prioritization. or your developer's productivity levels, if you're looking at it from the management side.

but it's easier (and probably healthier) for jira to soak up that hatred. jira's good at that.
Anything that uses ZFS gets it by default, as well as most configurations of Btrfs. Not secured by a TPM key (unless you go to great lengths), but for accidents it's plenty.
Yeah but this doesn’t scale. Like, there’s an assumption in these conversations that okay — glass bottles are better, but does that mean that now I’m going to hold on to and reuse every single glass bottle I ever receive from now on? Realistically? Then extend that to everything you use.

I can imagine ending up with a house full of glass bottles. Where does it reasonably stop for the individual?

The conversation also highlights that our intuitions about what the most environmentally friendly thing is can’t be trusted.

Individuals can’t solve this, that’s for sure.
Thanks for the link, I read it with interest but philosophically it is a flawed argument (IMHO). It's a nonsequitur or something, for the following two reasons.

First, I'm inclined to think that longtermism is an invalid and harmful ideology, but also acknowledge that AGI / existential risk is something that needs looking at seriously. The external factors, such as corporate interests and 1% wealthy interests/prejudices, are not a good reason to dismiss AGI concerns. I'd like to imagine there's a reasonable way to address short-term issues as well as long-term issues. It's not an either-or debate.

Second, even from just a reading comprehension level: one side says AGI is a problem, then the other side cannot just say, "No, AGI is a false problem and here are the real problems". The reasonable argument is to say, AGI is a false problem because <of such and such reasons>. Bender et. al are just sidestepping the moot point, and rhetorically this is not an okay move. I think honest experts could simply say, ultimately we don't really know what will happen. But that would be boring to say because it would require acknowledging multiple issues being valid.

(There's a well known chart, the hierarchy of disagreements. The most sophisticated intellectual disagreements point out what's wrong with the argument. Less sophisticated disagreements do things like point out alternatives, without pointing out what the critical mistake is. The critical mistake in this case hinges on whether the premise of AGI is true or not. That's the crux of disagreement. Substituting that with short-term issues, which are valid in themselves, are the example of a lower-level of argumentation. And of course even lower levels of argumentation are bad-faith readings and so forth, I forget but the chart had several levels. It's funny that professional academics nevertheless don't practice this and so get into endless, intellectually unsatisfactory debates.)

So I think this is actually an example of different factional experts constantly talking past each other. It's funny that famous intellectuals/experts constantly do this, let their egos get the better of themselves and having a real intellectual conversation rather than make basic debate mistakes like nonsequiturs that any college student should be able to point at.
(Author here)

Well this is a blast from the past.

Back when I wrote this, I kinda hoped F# would surprise me and gain more traction than I expected. But 8 years later, if anything, it seems like the dominance of C# in the .NET ecosystem has grown.

F# is still a great language, but the main fact hasn't changed: C# isn't bad enough for F# to thrive.
Just FYI, what we do at https://qbix.com/platform is we send WebRTC via MediaRecorder to a Node.js server via a socket. We then call ffmpeg from there, to record the video. In addition we can send RMTP to YouTube Telegram or Facebook for a livestream.

Actually we are big fans of trying to eliminate ALL dependence on Big Tech platforms so if you want to run your broadcast in a peer-to-peer way, you can:

https://community.qbix.com/t/teleconferencing-and-live-broad...

Yes we built a self-rebalancing peer to peer broadcast tree based on WebRTC, that can be used to “livestream” to unlimited numbers of people even without needing some Big Tech server farms.
Yeah but workers don't know that
Justice itself is worth a lot to us.

It's an important value. We want justice in our lives and in our society. People will sometimes sue others when a potential remedy doesn't cover the costs. And society will permit certain individuals an excursion outside social norms when they have been wronged to restore justice. For example, we consider punching bullies and thieves back acceptable, and we have many movies and video games where a hero is morally permitted violence and committing serious crimes to bring justice back to society. It's hard to say where this need for justice as a core value comes from in our culture, but it is definitely there.

And in this case, society has been wronged. Rendering justice allows it to stay true to its values. Why these values are the way they are is interesting, indeed. But putting Holmes in prison aligns with them.
That should read:

And, DAC has lower latency and uses less power than 10GBASE-T (e.g., even at the lower 10Gb speed due to latency you don't want storage over 10GBASE-T).

(Not that anyone is still reading this old article or would likely care if they were)
"htmx is a proud component of the HOWL stack: Hypertext On Whatever (back end) you'd Like" -- @htmx_org
Volunteering for FIRST programs (FRC, FTC, FLL, etc) and similar programs would be right up the alley of anyone here. I find it incredibly fulfilling. You can mentor a team directly and/or volunteer at events; both are rewarding in their own way.

There are many different roles that you can fill. For example, next competition season I will try to become a CSA (Control Systems Advisor). They help teams troubleshoot various issues during competitions and even during matches. The role requires excellent problem-solving and communication skills.

As my description suggests, roles are well-defined, as are the relationships between them. This structure neatly avoids most of the messiness about unclear decision-making hierarchies that can be found in some other volunteer organizations. It also avoids something that really annoys me about some other volunteering opportunities, which is an unclear path of advancement to "the good roles". Of course, advancement isn't required at all and I'd guess most people don't think about it; it's just something I care about.
It has all the benefit. I don't want to have to worry about IMAP and that's what it allows me to do - with not only theoretical browser compatibility, but a complete complete client library fully ready.
It could have so many more quality of life improvements... If I remember correctly there was also no quest log whatsoever, right? (So basically if you missed one bit of text, you don't know what to do.)
I find it interesting to compare F# with Kotlin.

F# had Jet as the one large success story of a full f# shop, but outside of that there weren't many large companies using a lot of F# (except microsoft internally, and they didn't blog about it _too_ much).

Kotlin on the other hand is seeing server-side adoption in quite a few large companies. Google is recommending it as the server-side JVM language for new services going forward. Airbnb and a handful of other large companies blog about having kotlin services in their architecture.

There's a few reasons I think Kotlin is succeeding where F# hasn't been able to:

* JVM + tooling is a proven and great ecosystem. First-class support for most of your cloud tooling and databases (AWS, Kafka, ElasticSearch, Cassandra, etc).

* It has fantastic editor tooling (given that an IDE company created and maintains it). F# for quite a while has had less-than-average tooling (it's gotten better now with newer versions of FSAC, Ionide, and Rider, but it was _rough_ for a while). It's hard to move to something new that's supposed to be safer when your language server has memory leaks or breaks every X hours. I remember stretches of time where I was just writing F# in vim without syntax highlighting because any editor I tried would constantly throw errors in the middle of me coding. That hasn't happened to me with Kotlin.

* It's close-enough looking to a scripting language with nice features that it's more approachable. Classes and functions look similar to other languages. It even has block parameters that are inviting for rubyists (although the implementation is different). It also has some syntactic sugar to make some things very ergonomic to work with.

* All of the above just works. No big fiddling necessary. The pain points in working with the Java ecosystem are written about and known (largest that come to my mind are coroutines interacting with java threading, exceptions in mixed coroutine/threading environments, and null/optional which Kotlin has some great features built-in to work around).

There's also things like arrow-kt and http4k for those desiring the more functional side of things.

The one thing that continues to baffle me is how little I see in people talking about kotlin in various communities (slack, discord, reddit, etc) compared to how many people are writing it (both for android and for server-side concerns).

The one upside I'll give is that fable has been much better IME than my experience with Kotlin/js. I also prefer F# from a purely language standpoint, but Kotlin is just better to work with.
I feel like indoor bouldering lends itself a lot better to make random friendships. Attempts at any given problem tend to be a lot quicker, there's often multiple people looking at that same problem, and there's the resting between attempts. Because bouldering problems are usually just a few moves, it's a lot easier to strike up a conversation to compare beta.
Anyone whose political ideals include exclusion or destruction of classes of people may be "scary" to those classes, and in any case I am willing to be intolerant to people who have vocally, explicitly broken the social contract we all usually abide by.
This seems to be much more about getting the fact of "this is the account he's paying you from" vs a privileged solicitation of legal advice.
This device has a fully switched fabric allowing comms between any of the 256 "superchip" clusters at 900GB/s. That is dramatically faster than a direct host to GPU 32-lane PCI-E connection (which is crazy), and obviously dwarfs any existing machine to machine connectivity. The actual usability of shared memory across the array is improved significantly.

I mean...nvidia has obviously been using DMA for decades. This isn't just DMA.
Thanks for the update, and for mostly putting the docs back in place. I would argue that instead of hiding the "we're experiencing issues" in the search syntax page, instead if one includes an advanced, but inoperative, facet (such as the one I stepped on `-inurl:`) then it would be stellar to include "hey, watch our /updates page for more info on how we are working to fix that term that we just ignored"

It looks like there's even precedent for such a "toast" given that the use of `site:` triggers the info box "Only showing results from"
The problem is the word dynamic is overloaded, and I'm not at all sure which one your parent comment meant.

"Dynamic programming" traditionally has nothing to do with dynamic languages but is instead a class of algorithms that are "dynamic" in the sense that they represent time.[0] This might be what your parent was referring to because these algorithms lend themselves well to Haskell's lazy evaluation, and they reference F# as being eager.

That said, they also talk about F# as being type safe, so they could also be referring to dynamic programming languages. The grandparent was definitely referring to this one, but "dynamic programming techniques" sounds much more like the algorithmic meaning.

[0] https://en.m.wikipedia.org/wiki/Dynamic_programming
crosvm: The ChromeOS Virtual Machine Monitor
I am super interested in getting into motorsports as a driver but really not sure how/where to start. Why do you say to start with RallyCross? Is it best to still start by volunteering as a first way of getting involved? What are useful skills to have/develop for volunteering? Do you recommend doing some kind of rally driving school / classes like DirtFish? Do you find sim racing useful as prep/practice if you drive, and if so, which game - DiRT Rally? DiRT Rally 2.0? Something else?

Sorry for the question whirlwind lol, please feel free to answer only some or none, thank for all the info in your OP regardless.
Single threaded or in parallel?

It's a Merkle tree, apparently, so parallelizing the checksum should be trivial.
Since you’re Serbian and clearly referring to Kosovo…

How about a war costing 500 civilian lives, with no land conquest by the perpetrator (NATO countries), so that in a few months you can bring an end to the systematic campaign of terror, including murders, rapes, and arsons in which over 13k people were killed or missing during the two year conflict. The Serb forces caused the displacement of between 1.2 million to 1.45 million Kosovo Albanians.

Ya post-facto seems like a trolley problem with a better outcome than your desired alternative of thousands of more dead.

Serbia has never come to terms with how much death and destruction they caused in the 90s to their neighbors. Sad to see them still support other countries doing the same. This attitude will hopefully not lead again to the further killing of your neighbors and same international shameful pariah that Russia is experiencing.
I think that this comment is downplaying the power of labor organization and mocking it in a way that is anti-worker and pro-corporation.

Maybe this is not a big walkout, maybe it won’t lead to change, but I don’t see the merit in mocking it.

We all actually have incredible power over our employers once we get beyond the extremely difficult part that involves organizing and fighting professional anti-organization efforts that corporations employ (along with sympathizers like this that make organizers look like wimpy losers on their lunch break).
Oh for goodness sakes what is going on here? So much ridiculous, wordy justification of the unjustifiable! Is it just AKTCHUALLY dialled up to eleven or something else?

There is NO WARRANT here. None. If there were a warrant then a judge could tell them to get lost. That is oversight.. If you aren't even notified you can't even get your lawyers to get a judge to do the obviously right thing when there is CLEAR abuse. Abuse that WILL happen. In secret. You can bet a lot on that, actually.
Tasks are native and I've never had the use async. Performance is great.

Agree that exceptions are frustrating that they exist, sadly there's little option due to C# exception model. Same thing in OCaml though less excuse over there.

I basically use C# libraries directly, and it hasn't been annoying at all.
Discussed in a separate thread: https://news.ycombinator.com/item?id=35678698
> because employees can't advance their careers, learn new skills, and get promotions/raises when they're unemployed

I think an employee could, just not in that industry. In software that's relatively easy, I switch between two different fields and industries every other job. I'd be curious about adjacent fields for engineers working on tires like in GPs example.
Oh, that's unfortunate. I had hope for Stalwart, not so much for the Perl proxy.

Is there anything else on the horizon? Switching away from my current E-Mail provider isn't a realistic option for me and won't be for almost anyone else.

Man, that sucks.
I wouldn't say that very many, if any projects would set out to destroy the world. The vast majority of people are out to set the world right even if that view is wildly different depending on the perspective. By that I mean a terrorist is seen as a freedom fighter depending on the angle.

What I fear is that something innocuous will have wildly intended outcomes. A good example, it is thought that a part of the 2008 credit crash was caused by algorithms handling all the bundling of securities. In bundling bad debt with good, it could hide a lot of the risk in the system.

It comes down to the whole issue of trying to define the environment in which we deploy these things, defining the goals and hoping there are no gaps that the system can exploit in optimizing for outcome.
> Maybe... don't flaunt the fact that you work in tech?

I never brought it up nor do I wear FAANG apparel or anything that would indicate such. It would be brought up in conversations among other people that you'd hear. People were always bitching about people in tech going to climbing gyms.

I went to Vital in Brooklyn mostly. I did metrorock in Brooklyn as well. Considered some others but that's where friends wanted me to go.

> As to the friendship discussion, it's kind of on your charisma and the other person's acceptance of it to move the conversation from bouldering to life in general, but it's a nice open window that I see swinging in the wind every time I go! Just don't wear headphones, and keep yourself approachable and supportive.

This comes back to the "how you look" part of my post. People who are good looking tend to have no real issues in this part of life. Become part of the ugly group - you'll find this hurdle much larger. Especially in large places like SF and NYC. Looking like a nerd is much more about your physiognomy, frame, etc. It has very little to do with what you wear.
Wouldn't plasma gassification be a much better way to recycle plastic? In theory it might even give a way to recycle some of the metal that makes its way there.
Block Party’s Twitter product is on indefinite hiatus as of May 31
True: a decent chunk of my annoyance is Android still doesn't have an "exact restore" function for it. A wiped android doesn't get all it's apps and my home screen organization back.