skysight-inc/HackerNews huggingface dataset:
For anyone getting caught up in the notation, note that the actual example expressions are immaterial; you might as well replace the strange looking relational algebra operators with "="s or "+"s. At it's core the article is covering different ways to represent graphs, and demonstrating that one particular method allows concise representation of graphs that aren't easily represented by linear expressions (linear in the graph sense, not the linear algebra sense).

In order, the representations are:

1. "Inlining", a direct tree structure, in C++-like syntax something like `struct Node {vector<Node>;}`. The insight here is that if you're not storing a tree, some of the nodes need to be duplicated.

2. "Let Bindings", An indirect tree structure, like `struct Node {vector<Node*>;}`. Here, the insight is that instead of storing nodes, you store names of nodes (in this case pointers), so that the nodes can be re-used. Note that the nodes themselves may be stored somewhere else in the same expressions.

3. "Self-Reference", same as above, but a node can store the name of itself, or one of its ancestors.

4. "Fixpoint Operator", Instead of explicitly storing a graph, we store a transformation from one graph to another, then say the graph we want equals that transformation repeatedly applied to some starting graph, until the transformation's output equals its input (a.k.a. a fixed point is found). Something like `struct ImplicitGraph {Graph initial; Graph (*)(Graph) transform;}`. If you're unfamiliar with C++ function pointers, transform is a function from Graph to Graph. The "hole" the author talks about refers to the fact that the output graph of the transformation can contain copies of the input graph, so the "hole" is the transform parameter; there's a "hole" in the output graph until the parameter is known. Since the transformation can be arbitrarily complex, any graph can be represented, although typically, you'd want as simple a transform as possible.

5. "Explicit Listing of Edges", this method is actually more straightforward than the previous, but it requires thinking about the graph a little differently. It's exactly what it says on the tin; instead of the graph being implicit in the structure of the data, the edges (a.k.a. links or lines) are explicitly listed. There's more than one way to do this, for example a straightforward way might look like `struct Graph {set<Node>; set<pair<Node*, Node*>>;}`. From the example in the article, it looks like Datalog is closer to something like `struct Graph {set<Node> initial_nodes; set<optional<Node> (*)(Node)> generators;}`. Kind of like in 4., you start with a set of nodes, then repeatedly apply each generator to each node until you stop getting new nodes. The edges in this case are between each node and the nodes it generates.

Finally, all of these types of representations also exist syntactically, not just structurally. After all, an expression in a given syntax is just a way of representing some structure, the same way a bunch of bytes in memory can be a way of representing some structure. And each of these representations has strengths syntactically and structurally.
It is and it isn't. A year and a half would go by so quickly. But if it were a high-quality year and a half and not spent in a hospital ward, I guess it's better than the alternative.
Sorry! Different name, same cluster :)
20% of grocery store milk has traces of bird flu
> It doesn't have to be a good joke to understand the joke.

Agreed. It's possible to understand some bad, unfunny jokes.

> those are separate qualities.

They're related qualities. A good joke depends on its being understood.
this is the entire basis of timeshare real estate. it's not that hard to see how the metaphor holds up, dude.
I recently read Aira's Fulgentius and found it to be an engaging, tongue-in-cheek meditation (for lack of a better term) on art, history, conquest and nature.

I consider Varamo (comedic) and Episode in the Life of a Landscape Painter (tragic) to be standouts among the half-dozen Aira books I've read in English. I imagine a good deal is lost in translation.

There's a certain absurd, freewheeling alchemy to his works, but as tends to be the case with improvisation, they're somewhat hit or miss and require a bit of indulgence on the part of the reader. Luckily, they're mostly novella-length and don't wear out their welcome, so I don't mind giving him my time.

According to the article, he writes in places like McDonald's, which is comical and unsurprising. Likewise that he's an admirer of Raymond Roussel.

I didn't expect that he'd be a Morton Feldman fan, though. His books aren't as methodical, claustrophobic and somber as Feldman's works, but maybe share a similar sense of reflectiveness and focus on small, ephemeral moments.
california was part of the so-called "red wall" back from the 1960s-1990s that was a solid GOP wall on the west coast, from washington to california.
Correct on all counts. Thanks!
The protesters are justified in protesting genocide. The company is justified in firing disruptive employees.

I guess we’re not mature enough to understand that two opposing groups can both be right.
Sincere question: is XMPP still widely used anywhere? It seems like Slack etc have eaten the “small” corporate deployments that aren’t big enough for something horrible and enterprisey. For instance, I can’t imagine IBM using Jabber throughout the org.

But I say that full well knowing that I don’t have a lot of experience inside large enterprises, so I’m guessing about things I don’t have evidence of.

So who uses XMPP today, and what’s it used instead of?
Laughed out loud when I scrolled far enough to see an actual example. Still not sure if this is a subtle satire about people’s aversion to Lisp syntax. The ideas here are really interesting though, of pushing metaprogramming further up the chain to tokenisation not just parsing. Either way, I hope it’s a compliment to say this could easily have appeared on Aphyr’s blog.
"Excessive" without further qualification is a qualitative assessment. It's how people feel: "too much!"

It's not a quantitative assessment even though it's about numbers.
I think the point was that Google is so overstaffed that they wouldn’t be negatively impacted even if they picked the “wrong 25%” to lay off. All the xooglers I have talked to basically agree.
The point of this post is the feel, the narrative, in service of strengthening the central metaphor of internet as untilled land dominanted by fortresses (social media). The tl;dr is: don't use Facebook, make websites. Maybe make a decentralized search/discovery protocol (or something?).
It could be a blown up multiwalled sphere with the heavy equipment in a solid cylinder in the middle. The walls would naturally be a bit bouncy, if under the pressure of the internal air.

A big arena for playing professional sports could make a significant amount of money through televised sporting events.
Voyager's Golden Record: Music collection selected for NASA [audio]
Is this something that would be a good fit to automate node reboots/restarts of complex clustered systems? Think Kafka, Elasticsearch or Flink, where you can’t restart the next node without revalidating the state of the cluster and the rejoining of the previous node. Please feel free to suggest other tools for this purpose.
I use Linode, but I don't "know" Linode. I click around to buy a server and then ssh into it for administration.
For DOS TUI, the standard was https://en.wikipedia.org/wiki/IBM_Common_User_Access: Shift+Delete to cut, Ctrl+Insert to copy, Shift+Insert to paste. These worked in DOS utilities like EDIT.COM, QBASIC.EXE and HELP.EXE, in all Turbo Vision apps including Borland Pascal and Borland C++ IDEs, in Visual Basic and Visual FoxPro for DOS, and they still work today in any Windows app that doesn't try to play silly tricks with its UI by doing its own text input.
So instead of 5kB bitmap we'll do a 768B vector + a 5GB diffusion model, plus waste 20 seconds just to render it.
> That's not really reasoning

They are trained a certain way to perform specific types of tasks, primarily natural language processing tasks. They have necessarily learned some methods of reasoning in order to do what they were trained to do. No one is pretending that these are symbolic logic mechanical theorem provers. They are tuned a certain way to respond in a specific manner and they only do what they are told. If you want it to use reasoning then you need to tell it to use reasoning. It's a chat bot running on a neural network and it is not self aware.

Hopefully the next generation of AI will be more reasonable. We are not there yet.
Live Nation/Ticketmaster is buying Congress
yo check out this cool new program i wrote:

ajksbdnfjasdnflaksdfbnf
What is the proper term for the mechanism that decides how to populate a social media feed other than a "recommendation algorithm"?
I think the important element is that terminal.shop's use case (likely SAQ D, likely level 4 or level 3 volumes) allows them to comply with relatively minimal expense and complexity.

Sure, there would be a non-zero time investment required to implement and ensure actual compliance with what is being attested, but it's quite doable for a person or small group of folks with a mix of SDE skills, SRE-like skills, and PCI-DSS experience.
My dad died from that also, luckily for me, I was still in middle school and it had almost no impact on my career path. It's difficult to picture how my life would be different had this treatment been available.
The justification at the time for nuking Hiroshima and Nagasaki was field testing two different novel bomb designs .. the urgency came from Germany's surrender and unavailability to use as a test bed and from the rapid depletion of pristine targets in Japan.

The H&N bombings followed close on the heels of bombing 72 other cities (including Tokyo) as part of an ongoing HE + incendiary campaign with list of targets.

These specific targets were selected for atomic tested as they had not been bombed before and served as "clean" test beds for the before and after comparisons, in addition to having some containing topography.

What's important to remember is that they were selected from a long list of targets that were all scheduled to be bombed, the fact that they were low priority from a military standpoint is what had "saved" then from not already having been bombed.

When Hiroshima was bombed the only prior atomic test at Trinity was on a tower with a lot of external controls .. it wasn't even certain at the time that this would work as a bomb let alone "end the war".

The military compulsion to battlefield test a weapon that had consumed more R&D budget than any ever before in history was intense, and the WW's were rapidly closing out with Germany defeated and Russia closing in on Japan.

After the bombings, immediately after, came a lot of retro fitting justifiction, more so with the Cold War .. but it was never as clear cut and about swift endings and saving casualities as came to be believed.

People forget that atomic bomb or not the US was already committed to levelling all cities within Japan.

For more, and a deeper dive in the many takes on dropping the bomb, see:

https://blog.nuclearsecrecy.com/2013/03/08/the-decision-to-u...

for example (it has many references to many historic viewpoints)
What’s the point of this statement?

Do you list the age of every person mentioned in online conversations?
Xterm is black on white by default.
I'm not sure who you're talking about, I've noted above that I still find the medical establishment trustworthy, and that my kids are fully vaccinated. I'm fully vaccinated and boosted, but there were studies done that showed excess fatalities NOT attributable to COVID were correlated with the vaccination rate of the country. This also doesn't mean individual vaccines are unsafe, as that is still a very rare occurrence.

Consider that if 4 billion people get a vaccine with a 1/10,000 (0.01%) chance of causing myocarditis / blood clots / other side effects resulting in sudden death, that would still mean 400,000 dead, and those deaths aren't meaningless to the families they affect. It's very insensitive to accuse those who've lost loved ones and then continued to get boosters anyway because it's the right thing to do of pushing a "classic anti-vax agenda"
Anyone know why the default voice is set to be so bad?
This is great comment.

And it's worth observing that McDonald's is sort of structurally obliged to be doing all that. It's a trap that many very large companies find themselve stuck in and that in many cases becomes the poison that feeds their ruin.

If McDonald's didn't "keep up with the Joneses" as their both their peers and upstart-darling competitors dressed up their menus and digitized their engagement, they'd be giving up their prestige as a defining brand in fast food and would set themselves down the road to being the next generation Arby's, A&W, Dairy Queen, etc -- nostalgic and lingering, perhaps, but no longer a global titan of their current scale.

They may be playing out a losing strategy as you point out, but they also may not have had a winning strategy; at least not at the corporate level. And for corporate, this one has the advantage of extracting more short-term money from operators along the way, so it's not entirely a surpise that it's the one they'd run with.
Limited Run Games selling burned CD-R games which don't work
No he didn't. He squatted in an abandoned store, went about town, joined a church, and had a (seemingly) pretty serious relationship. Headline makes it sound like he's Ceiling Cat, but with more stealth ninja.
The Parker Solar Probe is super cool. It's the fastest ever macro man made object, and will go even faster during its closest pass next year. It's also the man made object that's experienced the highest rate of time dilation relative to Earth; during its most recent close pass it was losing around 1000 seconds (~17 minutes) per hundred years due to its speed and proximity to the sun.
Location: Mexico
Remote:yes
Willing to relocate: yes
Technologies: Java, Spring boot, Python, Sql, NoSql, Git, Docker, Azure,Aws
Résumé/CV: https://drive.google.com/file/d/1Au4ESeqnq-nGWa8PtnRDSy_F2Nq...
Email: alancccyb@gmail.com

Hello, I'm Alan Candanedo, a seasoned software developer with a proven track record in creating management systems and e-commerce solutions. I'm excited to join a dynamic team, tackle new challenges, and deliver exceptional experiences for our clients. Let's achieve great things together!
Skateboarding on the moon is going to /killllll/.
It was simply the first hit on google, no preference for where you find the info, it's everywhere if you look for it.
Seems about right. The EPA uses a conversion factor of 8887 g CO2 emitted per gallon of gasoline consumed. [1] Assuming 40 miles per gallon, as above, that's ~222 grams per mile for the theoretical ICE car, a little over 2x the emissions of your electric vehicle.

Incidentally, 2023 Bolt specs [2] indicate an efficiency of about 4 miles per kWh, and the EPA reference above states a typical US grid efficiency of 4.17 × 10^-4 metric tons CO2/kWh. This gives us 15.38 km per kg CO2. So ~105 kg of CO2 would be released by driving a Bolt for 1000 miles on typical grid sources. [3]

I'm surprised to learn the US grid is this inefficient. In theory, an ICE car with an efficiency of 85 mpg would emit less CO2 than an electric car. Obviously that's not reachable at this point, but a hybrid like a Prius that can hit 57 mpg cuts it a lot closer than I would've thought.

[1] https://www.epa.gov/energy/greenhouse-gases-equivalencies-ca...

[2] https://media.chevrolet.com/media/us/en/chevrolet/vehicles/b...

[3] https://www.wolframalpha.com/input?i=1000+miles+%2F+%28259+m...
Two reasons--supply of new homes has stagnated and hasn't kept up with demand for decades and obviously the more recent change has been the Fed lowering interest rates during the pandemic, the massive expansion of the money supply, and all the excessive stimulus when unemployment was already low and demand was already exploding.
That's definitely not true. I remember clearly health authorities and the media were completely open that 1 in N people will die from blood clots. From the beginning.
Another project falls victim to the tragic “ng” relative naming, leaving it without options for future generations
PFAS increase likelihood of death by cardiovascular disease, study shows
Location: USA Mountain Time

Remote: Yes

Willing to relocate: No

Technologies: Java, Scala, C, C++, Python, PHP, Perl, NodeJS, SQL, K8s, AWS, GCP/GKE, Kafka, SQL, SPARQL, you use it - I can learn it

Résumé/CV: https://www.linkedin.com/in/smalyshev/

Email: smalyshev+job@gmail.com

Me: I am an experienced software engineer, with decades of experience over multiple stacks, operation systems and technologies. My primary focus lately has been distributed data processing pipelines and distributed network APIs. I have also been working with linked data, graph databases and blockchains/cryptocurrencies lately. Looking for a position of Senior Software Engineer/Software Architect/Tech Lead or equivalent.

I like learning new things and new challenges, and creating systems from design to implementation and maintenance stages, so if your current stack does not match my experience but you think you could use a good experienced backend engineer, please don't hesitate to contact me.
Reminded me of circular wall running in 2001 Space Odyssey more than 50 years ago: https://youtu.be/1wJQ5UrAsIY
As someone who agrees with the parent commenter, I don't think (at least for me) it's individual style, but it's what my goal is and what the content is. I think the main problem is blog posts, which basically contain a single main thesis, that are written like short stories.

I think that if, as an author, your goal is to get a primary point across, and you're publishing on the web, for the love of God, get to the point. There is a near infinite amount of content online vying for our attention, and if I'm reading for information, I don't want to spend a ton of time just figuring out if your point is worth my time.

On the other hand, if you're telling a story, I'm fine getting drawn in with elaborate prose. But at least for me, most of the time I'm looking for this style of writing in a book, or at least something like a magazine article that is positioned as a short story. I don't often look for this type of content on the web, and I almost never look for it in blog posts.
> it's everywhere if you look for it.

Like flat earth, coming ice age, 9-11 inside job, etc stories?

Ubiquity doesn't necessitate truth.
Not to crap on your idea, but convenience apps like this seem to mainly allow people not to simply ask. In my six decades I have learned both where I might find a toilet (Target, Safeway, gas station) and how to ask people when I need help.

Encouraging and enabling people to disengage and stare at a phone screen rather than talk to people seems corrosive to me.

I met a “founder” in Chiang Mai, Thailand who was developing this same app. He had the same rationale with the additional problem of language barrier. Travelers visiting Thailand should probably learn how to ask for the nearest hong nam on the flight over. The actual problem he intended to solve was social anxiety, not difficulty in finding toilets. When I told him that hotels usually have toilets in the lobby he said “Yeah but you have to ask to use them.” I can’t recall ever getting denied but I’m not anxious about talking to strangers either.
Separate facilities for work and life, interconnected by a rollercoaster commute. What else has sci-fi left out?
I thought the same. I thought the title was hinting at a path to bring back the old web, not building up to "we can do it if we want".
Not PMunch, but bindings¹ and statusbar².

Nimble has a couple of fuse projects and wrappers registered too.

¹ https://github.com/PMunch/libfuse-nim

² https://github.com/PMunch/statusbar
Also, I hate to break it to you, but your homes are spinning around the earth's axis once a day (at the same rate as a geosynchronous satellite, in fact!)

Anyway, Starlink wants to scale up to 42,000 satellites. I can't imagine that's anywhere close to the maximum number that could fit in their altitude range. After all, if arranged in a grid, that's just ~ 200 x 200 satellites. The earth's surface area is many orders of magnitude larger than that, and the satellites are occupying a larger (and much thicker) orbital shell.
I use screen.studio
Add in communism and religious fundamentalism and I think you’ve just about covered it.
My bigger point was that cable didn't have that for most of that time, and you're ignoring that to nitpick one line. The answer to that question doesn't affect the rest of my comment. It doesn't show I don't know what I'm talking about, you're just being rude.

Especially since the correct answer is probably "some of them". I was hoping you could be more specific, since you're doing your best to give an impression of knowledge but not doing much to share it.

And your store loyalty remark was objectively being an ass, that comment adds no value to the conversation at all.
I think I'd rather just learn Assembly... Lol this is comical to look at, but wow.
> It might only work if we do some genetic engineering to make off-world habitats more habitable.

Regular engineering, of robots, will probably work first.
Not literally. Gravity is not pulling me towards Facebook and Twitter. Maybe it's similar if you consider big social networks as having lots of mass, but it's still not literally a force of gravity.
What is the generalizable evidence you base this opinion on? Surely you must have access to a database of the real reasons someone was fired across all of tech?
Show HN: Shadowvane – A cross-platform Soulslike MMO (built in Node/Three.js)
Aesthetically it's a Soulslike, but it plays like a themepark MMO (like WoW). That is, you can queue up for a BG-like experience, there is a 1v1 Arena, and there's an open world with EXP, leveling, etc.

With enough developer-specific demand I would open-source parts or all of it, either as a Three.js-based MMO engine, or some other kind of community driven thing.
There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++.

[1]: https://souffle-lang.github.io/
Significant Other.
They don't say how many light years away it is.
> until it becomes prohibitively expensive or dangerous for the attackers to do what they do.

We used to hang thieves. We still had theft.
counter-counterpoint: you already have a different web, it's called Geminispace[0]. Brutally simple by design, text and hypertext only, built on a protocol frozen in amber. Antimodern, antiprogress, anticapitalist, antinormal. It will never grow beyond niche because it's too simple to be useful to the mainstream. Hell, it's too simple to be useful to most of Hacker News, which is saying something.

[0]https://geminiprotocol.net/
https://m.youtube.com/watch?v=kb5_hIuEk8g
Fake job interviews target developers with new Python remote access trojan
A lot of people have asked about more details. I am going to reply here and hope it gets enough visibility.

Right now, it's a simple web app + db + redis queue. We'll start with just one prod server (and a test/staging server perhaps?) with some kind of a failover setup. My goal is to keep operational complexity to a minimum. I plan to avoid k8s and just use docker compose/docker swarm/dokku.

I have seen enough places burned by going with the big 3 - either through billing, support, or the sheer complexity of managing everything. You might start of with good intentions but you tack on a service because it's easily available and the next thing you know your costs have creeped up and moving things has become a non trivial project that you don't have time for.

I am just looking for a box I can run my setup on with fair pricing, good support, and enough reputation where I have faith they are not going to fold in 6 months. And if things go south, I want to be able to migrate easily.