skysight-inc/HackerNews huggingface dataset:
Re 2: Reproduction is hard for physical things. For a running computer program, it's as simple as:

fork();

I don't believe that a superintelligent AI is possible. But if it is, I'm pretty sure it can figure out a fork() call.
Feel free to prefix 'In the US' to statements like that I make, since this forum is US centric.

In other places, yes the gov't sends the press what they are allowed to say and if they deviate they'll be shot.

No one (even the US) ignores the press entirely, especially when foreign actors are actively trying to manipulate the press. It's the degree of independent that matters though.
One of the first things requested by users of an internal media sequencing tool where time is measured by frames was 1-based indexing, they absolutely hated starting from 0
I have noticed that there is a contingent that seems to downvote but not respond to new comments with leftward inclination. Usually the comments recover but presumably enough do not that it’s worth the effort.
> hugely because it is so easy to embed in other programs

Not only; Lua is also an example of excellent language design: a minimum of concepts for a maximum of expressability; it's minimal, complete and elegant.

> Deno definitely has some good gestures toward a this

Lua is much leaner, only ~100k machine code. WAMR looks like a better candidate than Deno, but concerning performance and simplicity it has still to catch up.
IMHO, one should make one's language choices based on utility and NOT solely on metacharacteristics such as quality of governance, DEI efforts, or nation of origin. None of these things matter when the program is run, if the process and end result do not solve the problem(s) at hand.

Thorough feature discussion, appropriate licensing, and accessibility of source code for risk evaluation are metacharacteristics that are relevant.

And-lest anyone think that, as a white cisgender male born in America, I have no skin in the game, it is my belief that any interactions with others ought to be principled on transparent rigor and mutual respect, from which all other things should flow.
Lua is also the language of choice for the nmap scripting engine.

While cute, easy to learn and all, I feel like it has kept back the development of nmap scripts. Only a few people are dedicated enough to take the time to learn it.

Then again, I think this has kept the quality of the available scripts high.
Traffic mainly, but also maintenance. Mechanisms needed to be inspected/serviced every N openings. Although the big fight was basically that 'Team Road' wanted the bridge to open twice a day at fixed times and if a boat missed its slot it just had to wait, while 'Team River' wanted the bridge to open within 10 minutes of any boat showing up.
Can someone do an eli5 please? I've read the statements of the people involved but hardly contextualized, how this is involving rust if so?
You just made me think of this comic about “teaching a fish to man”: https://mountainmoonvolcano.tumblr.com/post/66762332783/amp
"X for Y" isn't a new thing ("Windows for Workgroups", 1993) but I think the phrasing is possibly more common in the tech world than outside it.
Maybe you're right, maybe a fork in and of itself could be productive but "crablang" specifically is a waste of time. I sort of interpreted the OP to be decrying the idea of a fork in general, but that might not have been the intention.
The UK is much higher North than most of the US, and as a result the UV Index is pretty different:

https://www.grida.no/resources/7130

Note that it’s the same as Spain in the northern-most of the continental US, same as Morocco in the middle, and same as Dubai in the south.

Americans have far more need for sun-screen than Brits do
So maybe analyze it instead of leading with the conclusion first? Don't forget to come up with a plausible better concrete alternative so we can compare/contrast.
> more centrist news sources like NPR

NPR is not considered centrist, but left-leaning.

When I check logged out I get CNN and Fox side by side, along with a lot of non-political basketball and Mr. Beast type stuff. Content probably varies on your IP address.
maybe? centralized sources are good for profit margins, but distributed and efficient systems are more how Nature works. We got here with a mix of both, keep mixing...
Zero outrage on my part. Just pointing out that the op’s view of how this works doesn’t jive with reality. There are a lot of people and governments putting money into this to make it work at the scale and scope that it does.
Just read this: "If covid had a high mortality rate we would almost all be dead. Next time we may not be so lucky" -isetprettygirlsonfire
No, I absolutely think they should make that clear. But among all the reasons they made this decision, however opaque things have been thus far, I think it’s wrong to speculate that the cause is racism.
s/guy/woman
From an aesthetic perspective, I agree. In practice, it wasn't a problem, though. I rarely accessed arrays with a constant index anyway.
I found programming in Rust is fun. The std library provides efficient implementation for your need, which made your time spent worth it.

Whatever your goal is, it's worth your time as i see it.
Surely you have options though? In Rural NZ we have a choice between 4g which runs at about 50mbps and latency of about 15ms and starlink which runs at around 100mbps and has a latency of about 25ms.

Both should be good enough for remote work.
We've evolved to be rangers, pathfinders, hunters, surveyors. Spending all day in a concrete box is certainly a way to make us sad. And being out and about navigating is the cure.
What kinds of things have you 3D printed?
asyncio event loop in Python uses `uvloop` which in based on `libuv`
Note that there are multiple versions[1] of “constructive mathematics”, so for example what Bishop’s constructive real analysis book considers constructive is not what Markov’s “constructive = computable” tradition does.

You are also going to encounter other funny things. One of De Morgan’s laws failing could seem troubling but ultimately theoretical—how, then, about the distinction about countable and constructively countable[3]? The set of all programs is countable; the set of all terminating programs is a subset of it, but can’t constructively be proven to itself be countable—after all, that would imply a solution to the halting problem! (Neither can it constructively be proven to not be such, as it is such in a consistent extension, namely classical mathematics.) Thus you get the new and exciting notion of subcountable sets. And that’s one of the mildest things that you’re going to encounter in your shiny new theory of cardinals.

(Anybody who can explain to me what the hell constructive Hahn—Banach[4] is about gets a beverage of their choice if we are ever in the same city. Without HB, you cannot do any functional analysis worth a damn, and without that you can’t really talk about Green’s functions / fundamental solutions to linear PDEs, which are in turn a basic tool for any electodynamics or quantum mechanics worth speaking about. Unless you want to forgo proof or the natural sciences, you need it, is my point.)

None of this is to say that I think intuitionistic logic is useless, mind you. It’s interesting and useful[5]! But so far it seems that you need to learn at least some logic (as a piece of mathematics and not mere terminology, so including scary words like “metalogic”) before you can really understand how it comes together.

[1] It seems categorical logic[2] says useful things about what the One True Definition should be? But I don’t understand it well enough to tell, and in any case the constructivist tradition predates not only it but category theory in general.

[2] https://mikeshulman.github.io/catlog/catlog.pdf

[3] https://ncatlab.org/nlab/show/constructive+mathematics

[4] https://www.cse.chalmers.se/~coquand/hahn1.pdf

[5] https://www.ams.org/journals/bull/2017-54-03/S0273-0979-2016...
> If HTTP offers features that are offensive or unwanted, simply don't use those features. Make an HTTP server and client that only implement a subset of HTTP.

Just make sure it never ends up in a security critical context. Various larger companies already got screwed over when their front end code did not detect the size of a http message the exact same way their backed code did.
How about in 15 minutes lol ? https://tylerneylon.com/a/learn-lua/
It’s just a Linux environment. You can still use your own tools.
Markdown is not context-free and therefore hard to parse.

Caching can be abused for tracking.

That's why both are solutions to the problems the Gemini project is trying to solve.
How do you define "reason to suspect"? E.g. what separates the actions that would result from your position from the actions that would result from a position of "there's nothing wrong with racism as long as it's not said aloud"? Established behavioral patterns? Less than that? More?
Aren't vCPUs only hyperthreads? So this is actually similar to a dualcore processor?
A whole gamer generation has learned to make mods/games with this. (Roblox).

Not javascript.

Not python.

This.

That which educates the young, shapes the future, may the elders like it or not.
“Ian Hacking was a one-person interdisciplinary department all by himself” — true that. One of the greats.
You'd still get pus, blood, endotoxins, hormones (like estrogen), pesticides/herbicides (organic farms still usually use them), etc.

Only 40% of consumers in UK [0] know that a cow has to give a birth to a calf to be able to give milk. Male calves are usually immediately killed these days, or sold for meat in a few months (together with 25?% of female calves). In dairy industry calves are removed from their mothers the day they're born (only 27% of consumers know this), in beef industry they're usually kept together.

The saddest story I've seen is a mother cow who gave birth to two calves. Because she was not first-time mother, she prepared. One calf was immediately taken away, the other she managed to hide somewhere in the fields. Of course when the farmer found about it (insufficient milk output), he located the calf and took it away. I can't find it, but here is a similar story. [1]

All dairy cows are forcibly impregnated every year, are spent after 5-6 years to the point where they often can no more walk [2], and instead of a normal life which would be 20-48? years (upper number is the record) they're taken to the slaughterhouse [3].

> humane conditions for the cows

That doesn't exist, not even on small local farms. Humane? It's an oxymoron.

[0] https://plantbasednews.org/culture/ethics/brits-willing-go-v...

[1] https://www.trendcentral.com/mother-cow-hides-calf/

[2] https://www.youtube.com/watch?v=UcN7SGGoCNI - Dairy is scary!

[3] https://www.dominionmovement.com/watch
Good advertisement for crablang, didn't know it was a thing.
It's not JeanHeyd Meneide's (PhD) first time rage quitting. He has a history of this. He previously rage quitted from the C++ community and moved to the C community. I wonder where he's moving to next.
https://youtu.be/vaLKm9FE8oo
What do you mean by "way ahead"? I don't follow.
I just set up IntelliJ to use my remote workstation for LSP and Build and Test, but all of the text editing happens locally.

Specifically the files are also hosted remotely but the local text buffers are synced in the background not every keystroke.
As an outsider, when I see drama in the Rust community, I always assume it has something to do with 2SLGBTQIA+ discrimination or racism. In this case, I was surprised when I skimmed the blog post to see none of that, although maybe I was missing some subtle subtext embedded in the pronoun usage or words like "discomfort." I can't follow this stuff anymore.
I went for a six hour walk in the rain in April and got sunburnt in the UK.

I was surprised.
How do we know that’s PhotoDNA specifically? It seems odd to single that one product out as if there aren’t many people who could use open source tools to build surveillance systems. China doesn’t have a shortage of CS majors.
https://xkcd.com/2347

That way lies npm and left-pad.

Tools encourage behaviors. I avoid tools that encourage behaviors I want to avoid.
100% this!

Hope you're doing well Sandy, been a long time.
Russian Peasant Method (2012)
I haven't looked in a while, so I'm wondering what SBCL's GC latency profile is like nowadays. IIRC, it used to be a non-incremental STW conservative GC, which is a bit unfortunate.
The last few incidents have been damaging with or without communication. For large companies who need stability to ship software - the Rust story has been one of what looks like a good language being destroyed by shitty leadership and shitty drama.
I take it that many people like the idea with tree-sitter but don't really know how to use it. Tree-sitter does have documentation but it's not that useful.

It would be interesting to know how many sales you get from a niche book like this though.
Considering two of the first commenters in this gist are Kirby and a Dall-E anime girl, sounds like a spot on assessment.

Not that people should be shamed for their personal interests! Everyone should imbue some of their personal style in their work, that's how we generate creativity and so forth.

That being said, I think the problem is when personal style overlaps too much in what needs more professional separation and distancing. It seems like that can be a recipe for too much ego that creates rifts.

There is a risk that we start turning a serious endeavor into a personal project / hobby, or worse just treating it as a joke; leading to situations like:

Up until recently, I was part of two private online discussion spaces where a bunch of Rust people hung out.
>The RISC-V architecture focuses on reducing as much as possible the physical CPU complexity, at the expense of the software side.

I disagree with this conclusion.

The claim that ISA simplicity is harmful to the software side would need strong supporting evidence; they provide none.
Rest in peace. He taught at my university (University of Toronto), and he was obviously a rock star in the philosophy department. Still, as an undergrad, I was too concerned with drinking and passing my classes to really give his work serious intellectual consideration.

Moving into a new home the summer I graduated, I found a pile of books left on the curb. One of them was Ian Hacking's Representing and Intervening: Introductory Topics in the Philosophy of Science. I ended up tearing through it, utterly fascinated by the ideas and the philosophical landscape -- an agenda of discussion -- that he laid out so clearly, like a dictionary. I used to be quite naive when it came to science -- I thought philosophical topics around it were not worth thinking about. But he slapped the naivete out of me and single-handedly deepened my curiosity in science as an enterprise, as a social worldview, and as a variety of competing epistemic outlooks with profound implications.

Reading this article, I'm glad that he received the accolades and attention that he had. So much to think about, and what an incredible amount of thinking he did in his life.
The Beatles song was in fact inspired by literal octopus's gardens.
https://en.wikipedia.org/wiki/Octopus%27s_Garden
I think mainline kernel support for the RK3588 boards has been merged, although it's true there are a lot of other SoCs out there where up-to-date kernels are a pipe dream.
Golang has lots of good examples of design discussions without vitriol in their RFCs and proposals. There is the occasional bikeshedding and needless bickering granted, but it mostly stays civil and is the most mature language community I've ever had the pleasure of being a part of.
You forgot...

Future Person 3: "I'm so glad they finally threw off the mental chains and ran the shills out of town on a rail so we could finally see what was really happening."
The reasoning is, i don't trust a man in this position can resolve all the conflict. Let woman do that.

The "real" in this case doesn't mean anything, it's just for the sake of avoiding "arbitrary"
Shocked about the prices. Outside of AWS/Azure/GCP, many companies offer bare-metal dedicated server, with very high specs and would cost a lot less (around $40-60) per month. And they can be used as remote workstations.

I myself use a Hetzner server as a remote workstation, which I connect via RDP. 12 cores Intel processor, 64 GB RAM, 2x1 TB HDD and 2x512 GB SSD for US$ 60. If there’s any hardware issue it’s their problem and they will fix it really quickly, so I don’t have to worry about it.

GCP/Azure/AWS prices are insane.
A $1 Microscope Folds from Paper with a Drop of Glue (2014)
The official music industry position is that all YouTube content is DRMed, whether or not it invokes an EME decryption module, because the URLs are obfuscated. They've been trying to get YouTube downloaders banned for years now on that basis.
They made a mistake by removing the star rating system.
I vehemently disagree. The possible motives of those in power should always be looked at with a microscope, unless they give us comprehensive reasons as to the decisions they made. Your perspective, while well intentioned, is exactly the sort that drives implicit bias and a disregard for minority considerations or reasoning that the decision makers don't personally relate to.
Huh? A cursory google search says it's a guy called Hector Marcan. Is this wrong?
I've started to view Lua as an extension to C rather than a language in its own right, which isn't really accurate, but reflects how well the two languages complement each other.
What about "German for Engineers"? is that the same "for"? I'm thinking of a ficticious language course for engineers..
Because it's immediately obvious that for anything with a finite number of states determining if it runs forever is "trivial" as running it until it either repeats a state or halts which will always occur in finite time.
He says a lot of things but when you look at his actions the pattern is pretty clear. For example, giving RFK free publicity would be consistent with all of the other things he’s done to boost Republicans (Bannon has been trying to get RFK to run as a spoiler in 2024, along BBC with his general antivax utility).
Note that the SCP raw flux format can be read/written with the open source GreaseWeazle[0].

0. https://github.com/keirf/greaseweazle/wiki/Supported-Image-T...
Not sure if you are speaking out of knowledge of this particular individual but with respect to other cultures, a biological male presenting as female does not necessarily mean trans the way western cultures think of it.

Japanese Okama culture, for instance, is an entirely different animal. I don't know this specific person just thought I'd share that misgendering isn't as black and white as even a lot of trans people think it is.
This... isn't just a Rust thing, it's very common in Linux circles as well. Where do you think the UnixPorn aesthetic of a certain type of background comes from? ;P

Note I'm not weighing in on the culture itself, because I don't care - I'm just noting it because it's kind of ridiculous to try and use it to dogpile onto the Rust ecosystem and what it's going through.
That's not even the context we're talking about here. We're talking about professional argument. Disagreement over decisions. Hurling slurs at people isn't even in the orbit of that.

I'm talking about people being thin-skinned, petty and passive-aggressive about other people disagreeing with their ideas, which is something I see _constantly_ in this field.

It's much worse when the progress we've made is weaponized against people and minor technical/procedural disagreements get turned into "other person hates X" because they disagree with me and I'm X...which unfortunately happens sometimes (and mirrors the false-equivalency that you've presented here).
That's not it, X for Y sounds completely normal as in 'food for kids' or something. But I have read the title as if io_uring added support for libuv.
Toys for Tots, food for thought.
If all you care about is appearances, it doesn't matter at all whether discrimination actually took place. If you do actually care about discrimination, it matters quite a lot whether it happened.
> I ask anyone who disagrees with this view, to show me the fine tuning method that can prevent prompt injection attacks.

OK. It's probably going to be one of the easier things to solve.

The trick is to take some token values and assign them as special meta-characters. They never appear in the training text, only during reinforcement learning. Meanwhile you get another LLM to generate a continuous series of prompt injection attacks, but delimit the boundaries between user and system text with these special tokens that cannot be supplied by the user (because there is no text that parses to them). Every time the LLM follows instructions found inside the marker-token delimited area, reinforce that this is bad and it shouldn't do so using the usual techniques. Eventually the LLM will learn that anything between the marker tokens shouldn't be used as a source of instructions regardless of how persuasively phrased, and forging the tokens isn't possible because they are applied after the text itself is tokenized.
A Simple Framework for Working with Generative Agents Powered by LLMs
So now you can start predicting outcomes of new experiments with your new physics? Right? Would you mind telling me about those too?
More like a mom... or a dad... or any mature adult
Plain text file. Date, entry, <ENTER>

Best improvement: I realized that I always feel awful after meetings with some people and cut or heavily limited some relationships.
Not having a journal, it was a regular pattern for me. To be invited, have a meeting, feel so-so after that, forgetting gradually about the experience, and sometime later, when the same person called, agreeing to another dreadful meeting.
Having a couple of entries like:
"met with X, felt terrible after the meeting, wasted time, X was bragging about sth all the time."
It helps to avoid repeating such mistakes.
The Programmer as a Journalist (2006)
Genetically engineered octopi could be developed to grow hard little nubs on their tentacles so they were capable of giving massage therapy. Quarterly profits indeed!

But then, perhaps they would learn to give each other nub rubs and then we’d have this runaway hedonic biological phenomena underseas. My god.
This is a great addition to the space. Do you plan to fill the gap left by mapbox for the open source community?

Things like map libs for mobile and the web with advanced things like 3d, navigation, elevation and the likes?

I feel like we need a go to solution that unchains away from the commercial solutions to power osm solutions across devices and use cases.
Honestly this is a very bad look for both sides. But resigning over this tops everything. You don't resign at the first sign something is wrong, you try to help fix it. Sure if that doesn't work resign. No social environment is perfect and mistakes will always be made.
I wonder whether there's a correlation between how much people care about somewhat small issues and the quality of Rust.

Although I think this saga is a bit too dramatic, maybe that's why Rust is such a great language: people care a lot.
I love the design of this shutdown notice. No logo, it just starts with the text, it even doesn't have excessive padding. Makes me question why the first thing Hacker News (like all websites) has been telling me for years is that it's Hacker News, with a logo and with text. I know what website I'm on.
Groups of trolls banding together to down-vote people they dislike is as old as down-vote buttons. Surely you've heard of brigading?
> Wish we had more role models these days who were willing to disagree with decisions and work to fix them rather than loudly resign or point fingers.

You're kind of stating this as if nobody in the Rust ecosystem tries that approach first.
I like how you're implying I haven't worked here for years and don't know the options. I have the best possible option and that system can be flaky for hours on end depending on a lot of factors.