skysight-inc/HackerNews huggingface dataset:
Sometimes simple (and old) ideas start to click and ignite a tornado when the timing is right.

While many may argue that the notion of a computational graph was associated with neural networks (NN) from the very beginning, this post is quite novel. It sheds the light on how NN and the general computation theory are actually interconnected, it is basically the same thing.

For me, it was an instant blast: the computational graph reminds me a typical intermediate representation (IR) tree of a textbook compiler. And because it is a formal graph, all mathematical benefits of the graph theory suddenly start to click. For instance, the graph theory formalizes the definitions of cyclic directed graphs versus acyclic directed graphs. If we imagine for a moment that a graph vertex represents a unit of computation, and an edge represents a data flow, it immediately starts to resonate with Lambda calculus. It quickly becomes evident that when the graph is cyclic, it represents a recursion in terms of Lambda calculus and thus becomes Turing-complete.

If computational graph is acyclic, Turing completeness is not achievable.

If you are going to say that this is an obvious and well-known observation - I will be surprised, because it is not. And all that enlightenment was possible thanks to this article combined with a bit of knowledge about graphs, compilers, and lambda calculus. (It just so happened that I'm relatively well-versed in those topics due to a professional involvement.)

---

If we continue to formalize this observation further, we may soon find a formal proof that a program P and a neural network NN are equivalent:

P ~= NN

Both have inputs (I) and outputs (O):

O = P(I)
O = NN(I)

Both perform a computation by calculating output O for a given input I. The Turing-completeness observation and the direct mapping to and from the Lambda calculus will give us a way to translate an arbitrary program P to an equivalent neural network NN:

P -> NN

But the most intriguing part is that the inverse operation also becomes available:

NN -> P

Congratulations. We have just found a way to translate a working neural network NN to a formal program P written in a programming language L.

What are consequences of that? The most obvious one is that we can now create a software that will be able to automatically translate a trained neural network NN to a working deterministic program P written in a programming language of choice and vice versa. We have just made a small step towards an imaginary AI system that can work as good as a professional software developer. Basically, one day we will be able to create a software-based software developer, a skilled one. And the level of skills will 100% surpass human abilities one day because Turing-completeness guarantees the unboundedness.

The steps of NN -> P and P -> NN translation may be performed by the neural network itself. It seems that we already started to see that with ChatGPT 3.

---

As you can see, one simple observation allowed us to precisely calculate the future for many years ahead. And this is why I love the math so much.
To be clear, I don't like how it is. But if corporations have a personality, they either verge on or go full hog on sociopathic. Any corporate lawyer will tell management to not write down potentially incriminating.

The better among corporations actually try to do the right thing, most of the time. But of course, if there's some kind of incident, there's still a lockdown mentality.
> If you see an account called “Bloomberg Feed” that has a blue check posting about an attack on the Pentagon, you’re probably predisposed to think it’s real.

By now, seeing anything on Twitter is just a signal that there may be something real happening, and you should go check a reputable source.
Guessing when working ants get too tired (burned out?) it also gives the ‘work-adjacent’ ants a chance to get in with it being less crowded.
Plenty of distractions with email as well. Also, folks used MSN/Yahoo chat regularly before HipChat/Yammer/Slack came to picture.

But I agree, overall it was a lot less distractions to get things done. On the other hand, the web had a lot less resources to get things done (this was before Stackoverflow), so if you stumbled into technical issues it took longer to resolve them.
I'm having trouble imagining what data I would store in a database as opposed to a filesystem if my goal is to experiment with large models like Stable Diffusion.
Really appreciate the thorough deep dive! In your research, did you find any populous corner of California, the American SW, or the U.S. in general that has a good story to address problems like these?

Out east, it seems like upstate NY has a decent shot at long-term water security, depending on how thirsty NYC becomes and how influential that thirst is in the scheme of NY state politics.
> "When the preferences of economic elites and the stands of organized interest groups are controlled for, the preferences of the average American appear to have only a minuscule, near-zero, statistically non-significant impact upon public policy."[0]

You can't blame the voters for this, the institutions are long ago corrupted.

[0]https://pnhp.org/news/gilens-and-page-average-citizens-have-...
Some stupid people believed something on the internet which would normally be a non-story but it fits into a legacy media narrative so they jump on it to somehow try and blame their competitor. Which is ironic because they're essentially spreading misinformation which is the thing that they feign being horrified about when random people posted fake stuff on twitter.
The Web Will Die (2001)
Is there monopoly on groceries? There’s much consolidation in agriculture, but I’m supposed to believe that ConAgra is in cahoots with my local farmers market to both use their monopsony powers to increase everything? Including what’s grown locally?
Cold Showers in the Russian Summer
"discussion about sexual orientation or gender identity" (direct quote from the law in question) is not "instruction on how to have sex", however often people claim it is. If that was what the law was banning, I'd be a lot less concerned about it, but it just isn't.
I think string theory is so pupular is exactly because it can make predictions that classical particle theory cannot.
That's some heavy handed humanization of ants attitudes there.

"in in an effort to prove they're working hard to the other ants"

"all ants to be comfortable allowing some of their ant peers to work less"

Or maybe on some instinctive level they realize they just literally cannot work in the crowd and wait until they can and that's that.
I guess it all boils down to the age old question - do we (uh, I mean ants) have free will?
Safari on iOS lets you do this in the system settings
I've tried both Chroma and Qdrant. I don't think Chroma lacks that much. Definitely newer, but is also a great product. I think cloud support coming Q3 2023
Ah it’s Ukrainian leaders fault that they were invaded and had their territory annexed? It’s not barbarism it’s realism, might I’d right etc?
True. The evolutionary success of ants happens at the colony level rather than the individual level, so they have an evolutionary pressure to "unfairly" divide the labor like this if it's more efficient overall. I'm sure there is no "awkwardness" for them. We humans cannot evolve this way because it disadvantages the productive ones. No wonder communism works so well for ants and bees.

(Not saying successful communism is impossible for humans, especially at smaller scales, just that evolution is working against it, rather than for it).
My scifi scrawl on sequestering carbon for diamonds
Bit of fun, something that came up in a chat about carbon dioxide
I agree, although I'd rather pay for things that would be useful to me and not pay for the rest than pay for everything through taxes.
Then Apple better hurry up and block Roblox before banks block all payments to Apple stores.
Given that Apple has delivered tons of devices into people’s hands for well over a decade and continues to do so, I am going to go with the common sense that Apple’s suppliers must be earning a profit, otherwise they would not be doing charity work for Apple.
Compromising LLM-integrated applications with indirect prompt injection
Strategies for ensuring correctness in dynamically typed languages?
Correct. There are also issues like Scottsdale limits the use of water for lawns ( https://www.scottsdaleaz.gov/water/desert-plant-care ) and encouraging desert friendly yards ( https://www.azfamily.com/2022/08/01/ditch-grass-city-scottsd... ).

With the unincorporated town that... lets say "has a dislike of government" it becomes difficult for Scottsdale water district to implement the same restrictions for other areas.

https://www.theguardian.com/us-news/2023/jan/27/arizona-scot...

> Incorporating could give the community more options for water supply in future but forming an official town or city brings requirements, such as paved roads, street lights, more taxation and rules. This would be expensive but also change the secluded, quaint feel of Rio Verde Foothills, where people own chickens, donkeys, horses and ride motorbikes straight out their doors to nearby Tonto national forest.

> And forming a new water utility district doesn’t appeal either, with residents reluctant to have another government agency overseeing their neighborhood.
SignWriting has been documented at National Deafness section in California State University of Northridge South Library since 1968 and at Gallaudet University, Washington, D.C. since 1950s.
Let's cut through your bullshit

You said

> none of her work seems particularly interested in technology

Here is a very representative quote from her PhD thesis which you clearly did not really look up

> Augmenting Existing Adaptation Algorithms with At-
tribute Loss
> We can augment any existing adaptation algorithm with our attribute based losses to perform adaptation at the attribute as well as the class level. Here, we describe
how we apply our method to [116]. To use our method with [116], we add the
domain confusion and...

It's clear you will talk any amount of dishonest nonsense to make your point
> there is no book for children that talks about oral sex that is was in any place where a kid could read it

Yes there was, and your conviction that this must be an exaggeration shows just how completely out of touch the mainstream media-following public is from the reality of the situation. Just as a single example, the children's illustrated sex instruction manual "This Book is Gay" has had its relevant contents republished all over the internet, so that one would practically have to have been specifically avoiding seeing it. It is using LGBTQ as a shield for pedophilia and as an LGBTQ person that makes me sick. The very title gleefully declares this intent: "This Book is Gay" and therefore if you object you must be a homophobe, and not, you know, someone who thinks that maybe children shouldn't be having sex unless and until they are old enough to work it out for themselves.

ETA: I almost forgot that even Snopes had to admit about the contents of this particular book: https://www.snopes.com/fact-check/tampa-school-sex-book/. In fact snopes reports it's even worse than what I said; it provides instructions on how to obtain access to hookup apps. To kids. Hookup apps. Kids. It's sick.
In the ‘mote in god’s eye’, the crazy Eddie’s were a bad thing because they inevitably destabilized the system (or were symptoms of the system destabilizing), and inevitably resulted in apocalyptic consequences if they found something of note (and had dozens of times or something). Which I believe was also what ended up happening in the book, wasn’t it?
Slapfight with whom?
Yep. It's a diatribe of self-righteous utopianism. Ukraine provides a second Afghanistan to topple Putin. There is zero chance for Putin to win militarily. Putin has become a hermit authoritarian in a hermit kingdom. Unlike the DPRK, those around Putin will tire of the losses in treasure and lives, and the lack of openness with the rest of the world. My thinking is that most in Russia will go along with the status quo so long as there is not an expansion into other countries or use of nuclear weapons. Putin may instead do other things such as deploy very large conventional weapons and attack critical civilian infrastructure that cannot be easily replaced. Giving the order to use nuclear weapons would likely cause a mutiny because of the understanding of the consequences in the field, at home, and globally.
>Christian fascist stronghold

I just don’t understand this line and I see it so much. I’m not remotely “Christian”, some might even call me christophobic.

Yet I enthusiastically support these measures and would love to see them expanded. How do you cope with that? Not everyone who is against you is religious.
Yes, the Talk and History pages on those articles.
Not everything is a “power structure”. Some people actually like to get shit done and organizations are a means to that end.
If you're running a single app (e.g. a game, or WordStar), adding a "real" OS usually doesn't buy you much in terms of raw performance (though maybe you get better responsiveness during background printing or other multitasking.) In fact a "real" OS tends to add overhead.

Games are notoriously performance-intensive, and early 1990s PC games tend to run well on DOS - Windows just adds overhead. For that matter, many arcade machines used simple drivers and lacked a "real" OS as well.

Moreover, if you're not trying to run some multitasking workload with background tasks (and indeed you don't want to if you care about performance for your game), then polling in a game loop/frame loop may be more efficient than interrupts.

And when you're trying to extract maximal performance, as in the PC demoscene, you often want direct access to the "bare metal" devices themselves - something which DOS happily allows. Windows provides little - or negative - value.
well, most of that money goes to the publishers not to the researchers, so...
Anyone with any insight as to why this topic is suddenly in the limelight in so many places at the same time?

I find it remarkable that, even though the UK government is desperate to demonstrate any form of tangible benefit to Brexit, and talks about independence and sovereignty etc, it is moving in exactly the same direction as EU nations on this, ignoring all advice to the contrary.

To be honest I’m kind of feeling left out. My messages are boring. Perhaps if this nonsense goes ahead I’ll start communicating dinner plans with my wife through our own custom key pairs, just to mess with them.
right, a minor point, hearing-impaired is an ablist slang.

Instead, go by hard-of-hearing, people with hearing loss or simply, Deaf.

Also "deaf" is barely ok when use alone for the above generalized replacement however "deaf" often poorly is refers to most severe of hearing-loss as determined by differing standards of hearing loss, but capitalized "D"eaf is a direct reference to those of actively using sign language and engage within deaf culture, whether it would be American Sign Language, British Sign Language, or some 40-odd variants and different nationalities.
On a planet where the book is being offered to/pushed on young children. That is literally what people are objecting to.
NO IT ISN'T YOU FOOL! ;)
Could still be a fluke. Have you tried three? It might be more harmonically stable.
Inflation has been going on for decades way before lithium was a factor. Covid is not what caused it.
From what I could find, Wikimedia employs about 250 people in total. The compensation paid to the CEO of Wikimedia is about what a senior SWE makes at Facebook.

I don't see what's outrageous here - they are amazingly efficient. Someone managing 250 people at a for-profit company across the street would make 3-4 times as much, and, I mean Twitter had 7,500 employees.

Yes, the CEO got 18 months severance which is on the high side, but her compensation to begin with was very low for the Bay Area.

I think the scandal here is just people in the rest of the world being outraged at median salaries in California. But remember, the cost of living is also stratospheric.
> where the book is being offered to/pushed on young children

Huge difference between saying teachers shouldn't distribute the book and it should be removed from the school library. Libraries don't push books by virtue of having them on their shelves.

And again, when you look at the populations getting uppity about this, it's the ones with high rates of teenage pregnancy and STI transmission. Which makes sense. If Suzy only sees pictures and videos online, or has acts described to her by equally-clueless friends, she's less capable of making informed decisions than someone who also saw the terminology and context in a book. (She's also been informed the topic is taboo.)
You piss off. And so do all the other customers who don’t have enough. Then the store has all these eggs left over and lowers prices because there’s less demand.

It’s not magic, and it isn’t candy land. But arguing that the law of supply and demand is pretty silly as there’s massive evidence of its existence.
What I got from that trial is that they're both narcissistic liars with violent tendencies. Neither of them came out of that looking better than the other.
Wow, both examples of single metrics actually hurting the efficiency of the system as a whole.

Mouldy pickles aint good.

Underutilized trucks aint good either.

Remember that when somebody starts talking about how what we have is just a Free Market and the market forces make everything optimized and smooth.

Yes it does, but we don't have a perfect Free Market. It's as elusive as the the perfect Communism.

(Mother Nature is a neutral judge though and keeps score.)
Regardless when it's in my power I'd rather encourage a high trust society.
Need to break the firewall to read this. Yes, not a large sample size but the accuracy is impressive for both systolic snd diastolic estimates.
That would be useful if I could prove definitively that something is not useful for me, and will never be useful for me for the rest of my life. I would hate to owe back-taxes on something I scoffed at in a younger time.
I listed the guidelines you potentially broke when you claimed to have broken no rules. If you take that as me being a "fascist", then I suppose that's a problem with your own perception of the world. I encourage you to consider treating people more like humans with unique opinions to consider.
Well, let's give people a break. It sounded plausible. We've all heard of the story of the waggle dance, often in grade school, in a simplified form. TIL 3-2-1 Contact lied to me.

That said, I don't believe that computer programmers are, as a group, significantly more skeptical than other professions. Like most people we muddle along with generalizations, lore, and myth.
Linux Game Jam 2023
Gotcha! Thanks for the feedback, we'll make the copy on our site more clear. We are solving the "disconnect between multiple platforms" problem, but for a specific use case.

TBH I'm not sure it's possible to create a true universal API with the current state of LLMs. Robust integrations tend to be very use case specific. Perhaps something we explore in the future!
And yet somehow, not too long ago before the sociopaths were allowed to squeeze people, it was possible to buy a house and have a family on one income and your local grocery store could make that happen for it's employees. Now Walmart will literally openly admit full time employees cannot make enough to survive and teach their own full time employees how to beg the government for enough resources to live.
> It also feels super shitty to launch 1.0 out of the blue AND then expire the public beta builds that we have been using for 3 years with 4 days notice...

The 1.0 has a 14 day trial, so that at least extends it to 18 days notice.

It really seems like the beta program might have been a victim of its own success (and ridiculously long duration).

It is interesting to look at it through the lens of what's the social contract between a beta user and a developer? I feel the basics are that users get access to features ahead of time in exchange for reporting bugs if they discover any, but nowadays perhaps folks think there should be more they get out of it? Of course it isn't fun to beta a pre-1.0 product and have the workflow disturbed because the price isn't palatable, but that's the risk?
"Remember Moab" (IYKYK)
A CRDT (well, an operation based crdt) has all the information it needs to tell that conflicts have occurred, and which operations caused them. Something I’ve wanted for awhile is a crdt which can use that information to place the data in a “conflict” state.

We can do this today with keys / values pretty easily with “MV (multi value) Registers”. If two writers concurrently set the value, the next read can see both values and decide what to do about that.

But nobody (as far as I know) has yet made a crdt for code editing which uses this same trick to mark & annotate editing conflicts. And that seems like a missing piece if we want to replace git with something better.
Why not going full OT then? Complexity?
I'm in the same boat. I select which apps send notifications to my watch and that prevents me from using my phone unnecessarily. Looking at my wrist is a lot easier than taking the phone out of my pocket and unlocking it. And I'm much less likely to get distracted by something unrelated.
>Banning books has never been looked back on as a sign of a strong society.

This clearly isn’t true in and of itself.

For example, you’d never write these kinds of comments in support of inclusion of certain Holocaust-adjacent material, which is actively banned in many western countries. Countries that, I might add, you would probably consider as doing well today?

You support book bans, you just don’t support banning these books. Please be honest and transparent about this, it’s much more respectable.
$8 per employee per month is ridiculously low, no matter the industry standard.
I don’t think the argument is that nothing should have been done instead of what we did.

The argument is that something better should have been done.

There are many alternatives and we did one. It’s not like the only options were to drop trillions in cash on people or to do nothing.
Heya, the grid had some limitations as I was re-evaluating some features. Tried to keep things simple here as well. Where did you find the complexity in the new one on a laptop?
What info did you give your boss to justify a raise? If you just say "I want a raise" that is unlikely to be effective. But if you give them data, like "x number of new features implemented in the past year", "x long-standing bugs fixed", or "x% of commits passed testing the first time", that's more concrete and something they can both compare against your peers, and give to their boss as a way to open up the money spigot.
Impossible to tell until you take it in my experience.
A "small company" facing global-scale governance challenges rather sounds like a luxury problem of big companies.
Then we are just blind mice in the maze and can just as well stop talking now. Excuse me, I have some carbon to release into the atmosphere.
I don't have problems at home, yet I am also drawn to people management for similar reasons: when dealing with people rather than code, your brain doesn't have to be 100%; people aren't as exacting as the compiler. I find it a fine compromise when you don't want to give your best to a job.