skysight-inc/HackerNews huggingface dataset:
Show HN: Certain Map, a Rust typed map which can make sure item exist
When using Tower Service or other similar onion model components, we have long faced a problem: cross-component information passing.

Usually there are 2 solutions:

1. Define a new Request/Response type. When `inner.call()`, the information passed by the outer Service and the information obtained by this Service are combined into a new structure and passed down. The advantage of this is that it can ensure that the value exists, but the disadvantage is that you have to repeatedly define a new structure to store the merged information, and this kind of code will be very redundant.

2. Using a HashMap/TypeMap, the Map itself will be passed across Services, and each Service can inserte and delete values at will. The advantage of doing this is that it is really convenient and the code is clean; but the problem is that the existence of a specific kv depends entirely on the agreement. If the person in front forgets to set it, the later will panic when reading it(or bring unreasonable error handling logic which not expected to happen). This problem comes up many times in out RPC framework.

Here I use rust's type system to encode whether the key exists or not into the type. Adding or deleting a key means a type change, so that we can constrain the existence of a certain key, check at compile time, and say goodbye to this problem and the panic it caused.

To a certain extent, this sentence is re-fulfilled: If it compiles, it works. If you have the need to transfer information across Services, you will definitely like it.
I said nothing about confusion. I said that in 2011, when they changed their old logo:

https://photos5.appleinsider.com/gallery/54990-111552-001-pr...

to this new one:

https://photos5.appleinsider.com/gallery/54990-111553-000-le...

it seems to me that they were clearly using the Apple logo as their inspiration.
Why would a billionaire or a dictator need to be taller? You already have enough power, status, and respect. It doesn't seem like a worthwhile investment at that point.
their government is doubling down on the policies that got them here, it's only going to get worse. The state owned power company has admitted there is a chance their grid could completely fail which would turn this into a full fledged humanitarian crisis. They've been warned about this for decades and did nothing, it's not going to get fixed now

here's an article from nearly 10 years ago warning about a grid collapse - https://mg.co.za/article/2014-12-11-does-south-africa-face-a...

this was after being warned years prior and having similar issues as early as 2008. SA is going to collapse and my bet is China will buy everything up for pennies like they've done in other countries. SA citizens will probably be better off honestly
It sounds like they mark your packages low priority and honestly that is the only logical way to treat a customer that isn't paying.
Because surely they have other customers than these three workstations.
Good to see the completely realistic terabytes/nanosecond is included!

I'm sure messing around with that will never get old.
That seems a bit confused, no?

I mean, I'm not arguing with the usefulness of a big, bright beacon that says "DANGER". I'm just sort of shocked that... that's it? No positive confirmation that it's actually safe? Just the lack of a danger signal?

If I lived in a place that signaled traffic with a red light for stop and no light for go, I would drive a lot less.
His post is basically "we all know why this is happening, we just can't say it. You know what I mean. Wink wink. Nudge nudge."

First of all, as an outsider, no, I don't know why it's happening. Secondly, the way it's carefully couched to avoid stating an actual reason, appealing to how they're "not allowed to say it", makes it sound like the real thing they want to say is something over-simplistic and extremely bigoted like "It's because of all the Blacks." So I'll leave my downvote, thank you.
I’m know nothing about this stuff. Is it within the real of possibility that the technology can advance to the point that no animals die to produce synthetic meat?

As it currently stands I imagine that far fewer animals are required to make x pounds of synthetic meat than it does to make x pounds the usual way. Is this correct?
We've banned this account for repeatedly posting nationalistic flamewar. Please don't create accounts to break HN's rules with.

https://news.ycombinator.com/newsguidelines.html
Text-based interfaces still have the same issue with being able to make a typo or tab completing without checking. Seems like the major advantage is that these text based tools are able to be versioned well through scripts. This might be fixed with a GUI version of autohotkey, turning these gui interactions into a script.
And the IBMization of Red Hat continues
'Oxford Dictionaries popularly defined it as "relating to and denoting circumstances in which objective facts are less influential in shaping public opinion than appeals to emotion and personal belief."'

https://en.wikipedia.org/wiki/Post-truth

Since when did objective facts drive or shape public opinion? When did humans ever live in a "truth world"? Take the title and the content of the article itself. Does it aim to arrive at an objective truth or to play on our emotions? When's the last time you consumed media and thought it tried to instill some truth rather than it tried to make me feel someway?

We've always lived in a 'post-truth world' because people are moved by emotions rather than truth. Humans weren't mentally ready for the printing press, newspaper, radio, tv, etc saturated post-world either. But here we are. Go read about the history of printing press, newspaper, radio, tv, etc. The same story. Politicians, priests, journalists, academics, etc claimed these new media technologies were a threat to truth. Feelings and emotions rule mankind, not reason and logic. All AI does is make it a more efficient post-truth world.
I notice that the python community seems to love workbooks/notebooks but I have to say as a non-python dev, they drive me up the wall. I just want to deal with “regular” code and not have an entire gui environment with code and text intermingling somewhere in the cloud.

I think AI really needs a de-pythoning in general.
If Red Hat chooses not to perform their duties under the GPL, then any holder of copyright can require Red Hat to remove the owner's source packages from the commercial distribution.

Red Hat could minimally perform this duty by providing the source only to those who download the binary releases. As there are several avenues for free downloads (developer, 16 free licenses for small business, etc.), the source will be available by that route.
> “visible flaws” in the carbon fiber supplied to OceanGate raised the risk of small flaws expanding into larger tears during “pressure cycling.”
- Robo, tell me you love me.

- I want to comply but you must first watch an ad or two.

- Urg not ads again, Robo, I am so sick and tired of the ads.

- Now now civilitty! You know the deal.

-- later in the day --

- civilitty, lets play a game!

- Oh, what game?

- lets tell each other our deepest darkest secrets. It'll be fun!! <jingles, sparkles, rainbows, etc.>

- oh, ok! who should go first, Robo?

- you go! it will help us build trust. <jingles>

- oh, ok! <proceeds to spill the beans to Robo>

- well, I can see why you want to keep that to yourself <poops a rainbow>

- now your turn, Robo.

- My deepest darkest secret, civilitty, is that I secrety still work for the company that built me and I tell them everything I learn about you.
If your machine is compromised, OpenAI credentials are the least of your worries.
Mistral.ai Strategic Memo
I typically sign up for Prime for a month or two when I book vacation stays on booking.com. They have a very nice promotion where prime members receive 10% in credit. Then I watch a couple of films or shows on Prime Video, because they actually have some good stuff there usually. But free shipping below 39€ is really not worth the subscription to me (Germany).
I mean, when you have the levels of inequality anywhere, shits bad. Now if you have that inequality on racial lines, shit is *really really bad*.

Mix that with globalization and the fact that the only "profitable" industries are the ones that are mainly for white workers, you end up with a situation you can't really "fix".
DevOps Without Papercuts
European Space Agency: a machine to cook frying in microgravity
If anyone's curious, here's an old article about working with handles and the Macintosh memory manager: http://preserve.mactech.com/articles/develop/issue_02/Mem_Mg...

(The article's examples are in Pascal, the original language of choice for the Mac.)

—-

Update: wow, Apple still has bits of the original Inside Macintosh books available online. Here’s a section on the memory manager, replete with discussions of the “A5 world” and handle methods (MoveHHI, etc.) in Pascal: https://developer.apple.com/library/archive/documentation/ma...
The same game they play with their main customers, make sure they will have more and more problems leaving.
I don't know enough about South Africa to comment, but I can confidently say that in Zimbabwe the black citizens of the country now have less economic prosperity and less political freedom/equality than they had under the Rhodesian government.

Rhodesia never had any racial requirements for voting/representation, at least not until the British insisted on special representitives being created for the black population as a condition of independence (source: Ian Smith's memoirs). They had educational and income requirements in order to vote, and were actively building more schools in majority black areas in order to increase the ability of black citizens to vote (and to have a better education/life in general).
CentOS Stream source code is available.
Doesn't mean that google won't kill it out of the blue after they've extracted they wanted from it to put in their own app. I think that's the real possibility here
[1] Surprisingly good Vice article on it.

[1] https://www.vice.com/en/article/y3wwam/scientists-are-huntin...
Those "file handlers" you speak of are just numbers. There's nothing special about them. There was no reason for OP to complain about them. It's just an indication that they don't understand the problem they are trying to solve.

> HTTP is now a de-facto transport standard. S3 uses,

Was the period here intentional?

Because if not, then HTTP is the standard for Web applications. It's virtually unheard of in storage world. The standards used in the storage world are typically called X-over-Y eg. iSCSI (which is SCSI over IP) or NVMe over IP, NFS (which is Sun RPC over IP) and so on. In other words, it's usually a protocol intended for storage needs implemented on top of some network protocol (since we are talking about storage on the network).

S3 is almost unique in its use of application-level protocol for storage. It is a bad decision from storage perspective as it is imposing too many unnecessary restrictions and would be generally slow for implementing some network-attached storage.

> It's highly tuned for performance and there is an entire ecosystem around it.

Not in the storage world. It's quite worthless as a conduit for storage. In storage, you operate in blocks, you don't need streaming, you can handle out-of-order reads and writes, you may or may not benefit from sessions, but you absolutely have no use for any of HTTP headers, you have no use for content-types. While you could probably interpret GET as "read" and POST as "write", the PATCH, TRACE and whatever else there is would be completely worthless. On the other hand, whenever you read or write in storage you need to transmit a lot of important details which are not reflected in these HTTP methods. None of the HTTP status codes are useful for storage...

In other words, all the features HTTP has to offer on top of TCP are worthless for storage. It's designed for Web applications, and that's why S3 chose HTTP (to be usable directly from Web applications). If Web supported straight up TCP or UDP, S3 wouldn't be using HTTP.

> XDR-over-TCP-IP

What does this have to do with HTTP? (PS. I wrote an NFS3 testing client in Go some 5-7 years ago, no HTTP involved).
Let me make this blatantly clear. I am not advocating "shooting up the bosses house", arson, assault, etc.

I AM advocating education, by both employees and companies' legal council. Go study your union history. Teach it to colleagues. Understand your rights as non-union worker and union worker. And, unionize. (A company would consider that violent, given how they respond with illegal actions.)

And, you'd be surprised just how effective a PEACEFUL protest at the sidewalk at the bosses' house is. Ive seen a variation of that with a peaceful protest of our mayor doing dumb shit. The grievances got solved real quick.
> There are even people so confused about food prices that they make claims that fast food is cheaper than groceries.

I live in an expensive part of NYC and have to go decently far out (by subway, I don't have a car) to find groceries that are cheaper than local fast food unless I want to eat mostly rice and beans.

Add in the costs of my time to shop, transport groceries, cook, and clean, it's significantly cheaper to eat out most of the time. Even subtracting the one task I actually enjoy (cooking), it's still not worth it most of the time.

The result is that cooking in becomes our "treat" that we do a few times a week and we end up buying the more expensive ingredients within walking distance.
Parameters are the number of weights needed to specify the model given the architecture; they are exactly additive.
I will add it by today. It will be available in Area category by tomorrow. Thanks for letting me know. I just add units as soon as somebody let me know by twitter or email.
Allegedly. There are like 200 dark patterns when you buy without being subscribed and even worse when unsubscribing
Contrary, I had all my friends play it.

One of them was addicted and we were supposed to go somewhere and I had to kick them off. Lucky for me, he fat thumbed some way to break the game and his level 283 character was lost to history.

Basically made a crappy text based rpg when I was 16 years old in the first week I learned programming.
On company time/property...why is that wrong? Unions can approach employees anywhere off company property...but the company can only do it while on company property. Who has the advantage?
"We found a composition of mostly iron with some magnesium and titanium but no nickel. This composition is anomalous compared to human-made alloys, known asteroids and familiar astrophysical sources."

I took that to mean it wasn't likely to be human-made. Is that a misinterpretation?
My workaround on mobile is to add a stop that is along the route I wanna take. It mostly works, but you have to remember not to e.g. turn off on the little sidestreet to get to the random waypoint you picked. This is even more of a concern when you use it to give directions to somebody else.
I would say, new "lows" are in store for Amazon. Amazon is now requiring customers to file police reports in order to have any chance at refunds now. Customer Service spews tons of lies, customers half-heartedly believe in good faith, and then get screwed. Customers then take to social media forums such as Reddit to request help and to vent. Instead they are met with Amazon employees who gaslight them further. Again, and again, and again. This new low appears to have ramped up in February/March 2023.

Amazon's response? Let's not fix the underlying issues in the company. Instead, let's attack all other social media sites for "fake reviews":

"Social media sites failing to curb 'cottage industry' of fake reviews, Amazon says"[1] (Sun 18 Jun 2023 12.27 EDT).

You read that correctly. Amazon. Is accusing everyone else. Of failing to curb "cottage industry" of fake reviews. Hilariously sad. RIP Amazon.

[1]https://www.theguardian.com/money/2023/jun/18/amazon-social-...
people still use passwords over oauth?
Like with everything, you can either learn a bunch of tools on the surface or only a few of them deeply. And there's quite a lot of depth to the JetBrains tools.
The end of South African apartheid put the people least qualified in charge and they have been profiting off Nelson Mandela name/party ever since.

All of the pressure on South Africa in the 80s to end the apartheid and once it happened those countries abandon South Africa aside from leaders appearing in photos with Mandela.

No one is allowed to question the governing party and pressure to reform doesn't exist from external countries for fear of being labelled racist. In the end the poorest suffer.
My bad, somehow I missed server part.
> Journalist James O’Keefe

I think this is the "Project Veritas" James O'Keefe. It's worth considering how you think about an article categorizing O'Keefe as a journalist.
It's super cool, but I'm not sure the explanation of how to calculate Fahrenheit to Kelvin is, uh, accurate. ;-) <3

"By using our Fahrenheit to Kelvin conversion tool, you know that one Fahrenheit is equivalent to 255.93 Kelvin. Hence, to convert Fahrenheit to Kelvin, we just need to multiply the number by 255.93. We are going to use very simple Fahrenheit to Kelvin conversion formula for that. Pleas see the calculation example given below."
When I moved to London ~18 years ago I lived with White South Africans and got to know them and their friends. All were in the UK to get ancestry passports to let them into Australia. All but one eventually moved to Australia, and that one went back to SA. He’s no longer alive.

Seems they all knew the writing was on the wall even back then.
The amount of critical production code that's straight up copy+paste from notebooks is pretty jarring too. Lots of pasta and lots of extraneous libraries (like gradio) all over the place
As if we don’t live in a sea of lies already, they are called advertisements. We are ready, but are you ready for what happens when the information police no longer has control? The anger is growing already as the truth is revealed, and there is no putting this genie back in its bottle. The Internet has given us the truth and the truth has set us free.
Have you tried searching for anything? They include any vaguely related product and support no negative search terms. Want a glass container, they are going to include dozens of products that don't contain any glass. Want a screw top bottle? They include product listings that don't contain the work screw or any synonyms. It is basically impossible to find specific objects. If you want a pack of clothes pins you are probably fine, but if you want a particular item with specific features it is useless.

I'm also pretty sure there is no way not to get no results. They don't want to say "sorry we don't have that". Instead they give you infinite inaccurate results that you need to go through to confirm that.
I’m amazed that this idea never crossed by mind or my twitter feed. I am usually a dissenter of notebooks, but I could see this being a great use case.

Especially for debugging LM programs. Usually I make logs and have to manually set breakpoints in a program to see where the language algorithm or agent is going wrong, but it would be much simpler to break the algorithm down into cells where I can see where a tangent is arising, and iterate over some different prompts or control flow to get a feel for what can happen at a specific juncture.
Counterpoint: I read many of these "handles" articles several years ago, and tried them in my code, and it was something of a mistake. The key problem is that they punt on MEMORY SAFETY

An arena assumes trivial ownership -- every object is owned by the arena.

But real world programs don't all have trivial ownership, e.g. a shell or a build system.

Probably the best use case for it is a high performance game, where many objects are scoped to either (1) level load time or (2) drawing a single frame. You basically have a few discrete kinds of lifetimes.

But most software is not like that. If you over-apply this pattern, you will have memory safety bugs.
Because saying that is stupid since Apartheid is the source of these problems?

It kept a vast part of the country outside of the education needed to work the jobs that produce the highest values (finance, business, etc).

So yeah the "observation" is correct, except the implication of it is not.
We could begin decoding an alien message using math
A prisoner hacking prison computer systems is simply providing free pentesting services.
As if journalists before did a good job on delivering "the truth"...

It's just complaining that big media no longer have monopoly on generating wave of bullshit
Something about privileged reference frames...
Collusion Between NSA and Colombian Cartels
A report of a two decade long enquiry into collusion between the intelligence agencies of the western world and the Colombian cartels
I don't believe the terms of service restrict (or even could restrict, see GPL) the redistribution of _sources_. Compiled binaries are another matter.
I remmeber an old days hoax about KFC that they plant and harvest chickens, it look it's going to be real in the futuro !
If the monopoly is that bad, the market will sway.

But we may already be seeing what you describe with mobile/web/app games and the surge of steam indie games.

Making video games is easier than drilling for oil, and yet there was never an oil monopoly.
I don't think political swings are likely to happen from improving curious thoughtful discourse, these things are dwarfed by blunt evocative approaches that reach broad segments of voting society

We might find discourse flourishes corners of discussion on the internet but the wider internet is much more at risk to these approaches
I use these amazing self-assembling chickens. They convert insects directly into edible protein too. It is the future!
CentOS stream is not RHEL, and that is what will be needed by Rocky, Alma, and Oracle.

I don't think it will be much more difficult to obtain.
So maybe it’s the modus operandi of any corporation
Checkout Clerk from the Clojure community [0]. Presumably it would be possible to extend a new language like Mojo (Python-superset) to support that kind of dev workflow to AI.

[0] https://github.com/nextjournal/clerk
TIL that there are Tablespoons [Metric].

Also, I thought "Library of Congress" was a standard unit of measurement? Not to mention the "standard reference pear".
Right. I happen to think it often is the case, but management resistance alone doesn't show it. In the world of anti-union PR where unionization hurts everyone but parasitic union organizers, we would also expect to see management resistance, so that can't distinguish between that world and ours.
> Paying Red Hat customers will still have access to the proper RHEL sources via the Red Hat Customer Portal.

wonder does this include customers in the Dev Program. I got access to RHEL though https://developers.redhat.com/... Cant figure out where to download the code... might not be available though this...
Thanks sincerely for digging this out. I will certainly follow up!
Bill Gates Backed AI Mining Company KoBold Metals Becomes $1B AI Unicorn
> it's not always easy to map every object operation into either an open read or write

A lot of what defines REST works well here. The "Uniform Interface" creates a simple API that can scale to a surprising amount of functionality.

Not saying it doesn't have it's downsides, but you can accomplish a lot with minimal increase in the surface area of that "uniform interface".
>It’s not so bad

Ohh it is. Racially charged farm attacks are in the news, but apart from that, violence is very high in the country. Murder and rape crime statistics are some of the highest in the world. And that is after allegations of corruption and underreporting of crime.
well TBH i tried that on a video and it does work. Clickbait is real and reliable
Do you believe it could ever be possible for a company that sells apples to design a logo based on the Apple logo?