skysight-inc/HackerNews huggingface dataset:
The gopher one it's broken upon using a URL with no selector: gopher://sdf.org for instance. it defaults to a 0 one so it doesn't show up right, you need to state gopher://sdf.org/1/ by hand. Otherwise, it works great.

On the man plugin, for the users with mandoc/mdoc, I found a bug, '-T html' should be '-Thtml' without spaces. Then works fine.
Ask HN: Should I Use GrapheneOS?
I'm planning on getting a Pixel 8, and was looking at GrapheneOS which looks great on paper, but I've recently found out that the project lead is going through a hard time mental-health wise due to some drama[1][2].

So my questions are: What's the current state of the project? Would you recommend it? Have all these drama issues been resolved?

[1] https://www.youtube.com/watch?v=Dx7CZ-2Bajg&lc=Ugx9mbtMpywvDLuk0Il4AaABAg
[2] https://www.youtube.com/watch?v=4To-F6W1NT0
The Bloody History of 'Deadline'
Interestingly without
'Experimental feature flags' demos before mod() work, though mod() and sin() do nothing - on latest Android Chrome.
Does it scale for large monorepos? That's where CMake hits its limits. With tremendous effort we switched to Bazel, which has brought down configure+build times to less than 1/10.
Other thought “And clean our cities of the crooked nose vermin” so it’s all good?
And then the photo of her looks exactly like my wife when she doesn’t give a shit about my bullshit
Kudos, I recognized tge style
But we're not talking about protected classes. They did not take "extreme measures."

We're talking about large institutions adopting policies to shield themselves from potential lawsuits from protected classes.
Not only is it a regular game portal, but also an ideal destination for those who love the online betting experience.

Address: Rizal Park, Ermita, Manila, Metro Manila, Philippines

Email: 8k8liveme@gmail.com

Website: https://88casinobet.site

Phone: +63 56 2222464.
look at https://peerjs.com that this the project is using.
If you have time to answer emails with instructions, you have time to update your site and documentation. Why not just do that?
I'm European too and I can assure you that non-white people are discriminated at the admission stage to top European universities. Not via race, but via name. It's well known that universities and landlords reject people because they have a Muslim sounding name.

We have DEI in Europe too, but here it's increasingly codified into law.
> If you didn’t make it, it’s your own fault. Well your parents’ fault but it’s your fault now.

It's not someone's fault but it is always their responsibility
I have come here to chew bubble gum and kick ass. And I'm all out of bubble gum. -- Nada
“The AGI now has a membership portal and it may be that the page you require sits within that portal. As a member you will be able to reach the page by logging in. If you are not yet a member of the AGI and are interested in joining please visit”

If a standard isn’t publicly available under a free license it should not be called a standard.
To be slightly pedantic, it’s more like climbing down from a foothill into a very wide valley and then looking up at the mountain you thought you were climbing when you were actually just climbing the foothill.
Decoding UTF8 with parallel extract
I hope one day the EU will go
after Microsoft, Sony, and Nintendo. If iOS is a walled garden then consoles are prison.
Your comment is inflammatory but you're not wrong. Selling the cloud as $0 cost to set up is at best, a fairy tale and at worst, an ad.

If "the cloud" was so simple, there wouldn't be 6-7 figure job positions dedicated to just setting up and managing their complexity and they definitely wouldn't come with certification requirements. Somehow the requirement of having a small team of employees "who can manage our own infra" is a deal-breaker but having a team of AWS Solution Architects is not.
2.2 every day of the week is really a lot. I do 1 to 2 hours 5 days a week, but on the weekend I want to do whatever I want
As always, the problem is always the underlying issue, even though the surface one is pretty ridiculous. If the council doesn't understand how to sanitise database input, imagine just how bad they are at the stuff that's mildly difficult or worse. Do NOT give any sensitive data to them, whatever you do!
Cough. Elon got on Twitter. Cough.
Is it really that advanced? Do you actually need more logic tools than what was used in the 19th century to formalize real analysis? Things get complicated if you want to put the proofs into the types, but I don't think this is the main approach the industry uses for certifying software for high-integrity applications (in cases there is a requirement for formal verification, which seems to be less and less the case).

I don't think it's the mathematics, it's the tools. If the proof is separate and needs to be kept aligned with the specification and implementation manually, that's not really useful except for niche applications. Integrated approaches (like Verus here, or SPARK in the Ada context) should solve the implementation/proof gap, but such tools are not widely available for languages people actually use.
The stated tolerances of typical manufacturing processes seem to be off by at least an order of magnitude. Not that it does make sense to give a tolerance number without some magnitude it applies to, nonetheless, 0.125mm stated tolerance of CNC machining is ridiculous.
If you're pushing bits and bytes you might want tight control over the runtime and guaranteed execution time. If you're not, I think it's perfectly acceptable.
Mars Express animated movie review
Connect up to 4M.2 NVMe SSDs to a Raspberry Pi 5 with the Geekwork X1011 board
This looks like an implementation of STUN - there are no miracles, if two machines are behind NATs someone need to broker the connection.
This really sucks for some people, but the true impact may be overreported and is definitely blown out of proportion by the review bombing. While all this is hugely controversial on reddit, if you look at steam charts, the player count did not take any obvious hit. In fact it follows the natural trend after every content release. So at least on steam the delisting seems to have affected almost no active players. It's very possible that whoever is responsible looked at the data, saw the true player numbers from those 100 countries and decided it was worth taking the L in favour of tightening the online service to make future development easier. Especially since this "requirement" was in there already from the beginning, they just didn't enforce it (likely because they never thought the game would see this much success).
It takes a real galaxy brain to look at the parents of Yale students and focus in on two-parent stable families as the key element, not wealth or inequality.

For reference, Yale has the least poor students in the Ivy league.
No, like every other category it's made up.

Another of my favourites in this category is Save the Green Planet!, though it's not as family friendly as Carpenter's take on it.
Requirement was always there, just not enforced due to „technical issues”.

https://web.archive.org/web/20231207163847/https://store.ste...

> „Requires 3rd-Party Account: PlayStation Network”

However, making it purchasable from countries not supported by PSN accounts was big error on their part.
> I can be sure it is not used against me.

Oh,the hubris on this one...

Can you say with 100% confidence that everyone you know and interact with has as good as a digital hygiene as you?

Can you say with 100% confidence that no company is acquiring data about you through shady brokerages?

Can you say with 100% confidence that no company had a data leakage (accidental or not) and went on without reporting it?
You should be able to get 40-50 cents/hour.
"put the glasses on" is a distant ancestor to "red pilled"
In practice both paths were bad in varying ways, it's just that one was paved with a disregard for others, the second paved with good intentions.

eg: Daisy Bates oozed good intentions

https://adb.anu.edu.au/biography/bates-daisy-may-83

https://en.wikipedia.org/wiki/Daisy_Bates_(author)

and strongly put the case that:

"As to the half-castes, however early they may be taken and trained, with very few exceptions, the only good half-caste is a dead one."

and a number of other firm opinions that spawned a regime of hugging "the good ones" to death while abusing the "in betweens".

But yeah, good intentions.
Counterpoint to this website: it is convenient to have symbols to represent things. I don't see them suggesting anything better than flags.
Not all but many of small houses are wood and 50% of the Swedish population lives in these houses[1], some of the bigger houses are wood as well. Construction relies heavily on wood. This was not my experience in many other countries, even when there was wood in the vicinity. I think the readily availability of spruce and pine is one reason. It would be interesting to know statistics from Denmark because in the south of Sweden wood is that used as much.

You can see this in the tradition of constructing fences as well, if there is a lot of wood people use lots of it. In the south near Denmark the tradition is to use as little as possible.

[1] https://www.scb.se/hitta-statistik/sverige-i-siffror/mannisk...
People who makes it tend to have some survivorship bias, overvalue their personal impact, undervalue external factors, merely luck.
I wonder why the number of countries doesn't add up.

PSN is available in 73 out of 195 countries, while Steam is available everywhere.

Shouldn't that put the number of countries where the game isn't available anymore at 122 instead of 177?

(not that it matters much in practice of course)
This whole hiring game is just terrible. People in charge of hiring try to infer all kinds of things about a person based on very fuzzy and superficial data. I understand that hiring managers have to go through huge piles of applications fast. But that indicates that the labor market itself is broken. There should be a bit more randomness in the selection process to give the unusual people a better chance of finding a job (assuming that these unusual people fulfill the listed requirements).
Nothing loads. I see blank page and an image of screenshot.
I personally find that new UI much more difficult to parse.
Ask HN: Questions Regarding Dual 4090 Build
Use Cases =>

Playing around with huge models, inferencing, training, etc. (just for learning purposes)

Running modest general purpose, code and image generations llms/models while my pc is on. the goal is to replace the gpt-4/claude subscriptions and have a usable local AI setup thats integerated with my tools as well

actually using the pc for work, not as a server. this means that I need to be able to dual boot between desktop linux and windows and not have constant driver/upgrade problems

pytorch/tensorflow for creating and training my own models

some blender and 3d stuff

Questions =>

Does it really matter which 4090 I pick? and why? also if it does, should I go for a liquid cooled card (like the msi suprim x) or an air cooled one?

Can I split the load of training between the cards even when using self-created models on pytorch/tensorflow like I do with ollama and other pre-trained llms?

7950x3d vs 7970x - is the threadripper really worth it? will it improve my 4090 performance by being a more powerfulc ompanion or will I just hurt myself money and performance-wise with a server cpu?

how much ram and what is the thought process of coming to a number? and depending on the motherboard, can I run that amount of ran on full speed?

I live in India currently but I will probably shift to the US in the next 2-3 years. This means I'll encounter the 1600W max problem. Keeping this in mind should I even consider a 2000W PSU since that buffer won't ever be utlized anyways or are there workarounds to that problem? Also how much above the advertised power do cpu/gpus shoot when under load?

In the future, will a third or perhaps 4th 4090 make sense it terms of price-to-performance ratio or will I be better of getting a dual A6000 or equivalent setup at that point?

How do I go about selecting the right motherboard (with the right amount of pcie x16 slots) since pcpartpicker and online reviews are no help

Is the H9 flow big enough to comfortable fit and air cool dual 4090s or should I got for a taller Lian Li case?

I know this is a dumb question but which model and inference will push these cards to the absolute limit?

Feel free to suggest any corrections or ideas to my current specifications list

Current Specs In Mind =>

CPU : 7950x3D (if I decide against the threadripper, otherwise 7970x)

CPU Cooler : Noctua NH-D15

GPU : 2x 4090s

Motherboard : ProArt X670E-Creator Wifi Or Asus TUF Gaming X670E-plus (i think both of these have the right amount of slots??)

Memory : 128 GB (4x 32) G.SKILL Ripjaws

Primary Storage : 4x Samsung 990 Pro 2TB SSDs (I test multiple distros and kernels at the same time and its just easier to dedicate a drive to each one rather than make multiple partitions)

Secondary Storage : WD Blue SA510 4 TB 2.5" SSD (sata)

Case : NZXT H9 Flow

PSU : be quiet! Dark Power Pro 13 1600 W 80+ Titanium
Haha, it should be! If it is, "Landscape with Invisible Hand" is certainly one of the genre's best!
I guess they did it with icons.
Sorry, I lack context, what happened?
How can this work without a a server? You surely need a third party to traverse NAT.
I wish AM Stereo is back in vogue.
I think part of the problem with apostrophes is also that there's two characters for it. ' and ’
> You also slap 'invented by american capitalists' onto every single invention coming out of US of past 250 years

Try criticising capitalism and you'll soon encounter exactly that rhetoric, even for things that exist only thanks to government direct action (the most socialist org in USA, the Department of Defense, is directly and indirectly responsible for huge part of innovation that people assign to "capitalism" despite it having little to do with it)
But the flag was useful to show in the ui where the language setting was. This is especially useful when the language has been set to something I cannot read. I don't know which of 语言设定 and 重置设备 will allow me to set the language back to English. Also flags in the menu means that I can find English easier than 英语
> ...in favour of tightening the online service to make future development easier.

I really doubt that there is a single technical reason behind the decision, it's more likely that it has been enforced by Sony business peeps.
Not to mention Westward Ho!.
MS-Marco-Web-Search
Btw thanks for this honest insight. When I read the bit about your pivot, I sort of rolled my eyes. But this is a really nice, sober reflection that actually builds credibility with people like me who might make snap judgements at first.

I hope you guys find traction.
I don't really understand why they've decided to do this in 2024.

We all know that older systems had problems with encoding and escaping special characters, but wouldn't they have encountered and dealt with all the possible problems by now?
It will be known as the great US-China war that destroyed 30% of humans .Dozens of countries got dragged into it. .
XOR xor xor reversibility through cyclical permutations ?
The C++ type system is completely inadequate for these tasks.

I thought of a rather nice way to picture it, the C++ type system is like you have Roman Numerals, and so now the notation itself fights trying to understand important concepts about numbers (types). Languages with a better type system are like having Arabic Numerals, it's not a panacea, but the notation allows significant improvements in expressiveness and teachability.

This analogy seems especially apt because Roman Numerals lacked zero as I understand it, and the C++ type system doesn't cope well with the idea of ZSTs nor with the Empty types which are analogous to zero in type arithmetic.
H2 offers quite a comprehensive solution for dealing with this:

> [H2] provides a way to enforce usage of parameters when passing user input to the database. This is done by disabling embedded literals in SQL statements. To do this, execute the statement:

> SET ALLOW_LITERALS NONE;

> Literals can only be enabled or disabled by an administrator

https://www.h2database.com/html/advanced.html
DEI policies are useful only inasmuch as they mask, rather than expose, the inequities of the system. Once people start taking it seriously and understanding the exploitative nature of capitalism, DEI gets dropped like a hot potato.
There is no business reason to cut down your own market unless it comes with additional expenses due to technical reasons. I'm pretty sure someone weighed these numbers again after the game's huge upgrades in infrastructure due to its unexpected success and decided differently this time.
Only if the symbols make sense and there's a one-to-one relationship. This is a good move by Apple.

Also, as a color blind person it is quite frustrating when people make content and use a flag emoji instead of a country name. Often mousing over doesn't work. Emojis are not semantic information.
Looks very full-featured, surprised I haven't heard of it. Might finally realise simple (Apple-based) command-line builds for macOS/iOS:

https://xmake.io/#/guide/project_examples?id=iosmacos-progra...

Including signing. It still relies on xcode of course, but if you don't actually need to use xcode to configure or build, that's a big plus.
A multiplayer game that's very successful on Steam - but published by Sony - suddenly has a requirement to have both a Steam and PSN account in order to log into the game - a couple of months after the game was released.

As a PC gamer I would be pissed too tbh (on the other hand, it's the same bullshit that Ubisoft pulls for their games released on Steam).
At first I thought it was written in the 80ies, then I saw the author mention 1995 and it began to feel very strange that someone from the mid 90ies would rant against computers. Then I reached a section about LLM …
The linked github repo [1] seems to have the code available and well documented.

[1] https://github.com/Infini-AI-Lab/Sequoia/tree/main/Engine
If that becomes true, both remote work AND offshoring may soon be increasingly rare at Google.
They should auction off the frequencies, and let the winner use them however they see fit. Instead of holding beauty contests.

(Especially, the winner should be allowed to run eg better wifi on them, or better mobile phone data.)
> Could someone explain to me when one would use this?

For memes, obviously.

Me: I want Rust!

Tech lead: We have Rust at home!

Rust at home: rusty.hpp
Indeed, Johan Vos of Gluon is the leader of the Project Mobile.

Swing remains a decent GUI toolkit, but it still requires native dependencies for stuff like OS file dialogs and other platform APIs, audio/video codecs, hardware-accelerated graphics.
This seems to be a node in a net of ai related landing pages/websites which try to make users enter their email.

I wonder what the story behind this is.

Is it some kind of scam?
Keyboard layouts are more country related than language related. At least among French speakers that's the case. So using country flags probably makes sense here.
I.E.: The more evidence and examples I bring, the more you feel the need to accuse me of speaking in bad faith.

> but then you'll be accused of not dealing with specifics, and then if you deal with some specifics but not all of them, you'll be accused of not dealing with all of the facts, and so on.

Frankly, I think that's a description of what you were apparently attempting to do. For me, it was about the pattern, the damage to communities, and the immediate aggression with which you yourself responded.

You already know you must be right. You just need everybody else to also agree that you are right. How dare I bring pesky reality into the fold.
It was pretty obvious that the person was saying “hey generators and async/await are in some sense dual”. You’re unhinged.
I'm not sure what this link dump is intended to do?

And you're confusing stagnant with not breaking backward compatibility and / or the entire ecosystem not changing every couple of years.
The Hawaiʻian ʻokina symbol begs to differ...
iOS only matters in this case, because they have close to monopoly in some areas. But at you listed, in the EU you've got Microsoft, Sony, Nintendo, and the whole PC market. Consoles are really not a prison in this case.

(I agree the behaviour would be regulated a bit either way. But it's not even close to "prison")
Not so distant. The films are only a decade apart and They Live was hugely influential.
He's also the author of elfeed [0] "An Emacs web feeds client". I've found his minimalist implementation very inspiring.

[0] https://github.com/skeeto/elfeed
I'll just note that GIGO is very much a problem with human teachers too. There is significantly less overlap than we'd like between the sets "Teaches X" and "Can successfully practice X".
This Japanese stereotyping would be a little more credible if Sony Entertainment's headquarters hadn't moved to California years ago...
Maybe somebody at Sony needs to push those PSN user numbers up to get ahead in the rat race.
Which gave birth to Cripple Fight.

https://en.wikipedia.org/wiki/Cripple_Fight
> Depends on what their risk-reward appetite is.

That's the same for DoJ. In fact, for them it's all wins and no loses. In the worst case their argument just doesn't stick.
Xmake gets posted here once in a while, here are some previous discussions:

https://news.ycombinator.com/item?id=19610459

https://news.ycombinator.com/item?id=22583147

https://news.ycombinator.com/item?id=30696061
next to go will be capital letters

thenspaces
Related but not quite the same: http://www.dxcluster.org/

Dxcluster used to use a lot of radio links to disseminate data. However fixed internet lines have become much cheaper, so there isn't the need to have massive HF antenna to create relay link any more.
Solar scales linearly with size of installation. Is this remotely true for wind energy?

What is the potential ROI for a wind installation in a resident area? To be honest, I suspect it is extremely low.
I have not encountered difficulties with timestamps, because every programming language and every relational database already has tools to convert a Unix timestamp to a display date in a given timezone.

A timestamp is defined as the number of seconds since 00:00:00 UTC on Thursday, 1 January 1970. That means any integer is a valid timestamp, not just integers with exactly 10 or 13 digits.

The bash shell for Linux, and I'm guessing every shell, has a way to easily convert a timestamp, including converting to any timezone. Obviously you can script this.

$ date -d @1714901488

Sun May 5 16:31:28 +07 2024

$ TZ=America/Los_Angeles date -d @ 1714901488

Sun May 5 02:31:28 PDT 2024

So that's what I do, or use whatever programming language I'm in. From a web browser I can do it with Javascript in the JS console:

> dt = new Date(1714901488 * 1000) // multiply by 1000 because JS Date takes ms

> dt->toDateString()

"Sun May 05 2024" = $3

> dt->toTimeString()

"16:31:28 GMT+0700 (Indochina Time)"

I normally encounter timestamps in relational databases. Every relational database I've used converts timestamp values to displayable dates/times, with functions for timezone conversion and specific formatting.
You don't need to buy from MSs, Sony's or Nintendo's store to play a game on their consoles.

There was no way for iOS except Apple's App store.