skysight-inc/HackerNews huggingface dataset:
I love theory, and I also really like lambda calculus, but I feel like this sentiment applies to most theory, particularly stuff after undergrad.

I spent a not-insignificant amount of time learning how to do proofs with Isabelle. I learned a lot about inductive proofs, set theory, meta-logic, and challenged myself to prove a lot of the stuff I had previous taken for granted (e.g. proving that different sorts refine each other). I enjoyed it, and similarly was convinced that this was going to be some life-changing thing that changes my career trajectory and...

Nothing changed. No one in charge of companies gives a shit about theory. They all claim that they love theory, they claim that they are very research focused, they claim that they value all the time you spent learning this stuff, but in reality they really just want you to change the color of buttons, or change the format of dates, or add a field to a JSON. It sometimes feels like no software engineer but me actually wants to learn any math, and will refuse to touch anything even resembling it.

And I'm not picking on Isabelle here; I've had similar results trying to pitch TLA+ and Coq and Agda for some of the more error-prone parts of the codebase, with different sales-pitches, and without fail the managers will always say that they "will look into it", and promptly do absolutely nothing. The first two times a manager said that, I believed them, but after that I realized that they're just trying to shut me up and tell me "no" politely.

It was enough to depress me, and it still kind of does.

I still think learning stuff for fun is worth it, but I'd be lying if I told you if I knew why.
> users with no right-click

"here's a nickle, kid. buy yourself a better computer."
I thought I'd give it a try, but it's already on waitlist!
A reference to January 6.
I don't entirely agree that all it takes is education. Many people have grown up on farms, have lived with animals all their lives, and yet have no problem eating animals.
Institutional code and human behavior (2)
People either left the keys sitting around where the US government picked them up, or they handed it over willingly. If your key is secret, your coins cannot be taken away from you.
Thank you @gruez, @shagie and @px43 for your invaluable insight.
The US and Canada can better handle a falling population because we are better at handling immigration compared to the rest of the world. Sure, there’s been recent pushback but no one is better at assimilation than the US and Canada. Maybe Australia and NZ are also close to us given their history?

I didn’t see any good argument how we’re worse than the rest of the world, especially compared Germany, Japan, South Korea, and China. Ghost cities will not be unique to the US.
The first says the message should be simple and short. The second axiom says the explanation should be long and not only full of details that delight our sight sound and touch, but convey a sense of wonder by offering a fresh perspective and eschewing tired literary tropes.

In the opening of Dickens The Bleak House, “London” is the one word message. For a Dickens reader, you can infer London means Victorian Society. The rest of the paragraph is a delightful description of London. “Megalosaurus”, “The death of the sun”, and the reader’s realization that Dickens may be diagnosing what ails Victorian society and caked it with mud is the obsession with money or lack of it.

> London. Michaelmas term lately over, and the Lord Chancellor sitting in Lincoln’s Inn Hall. Implacable November weather. As much mud in the streets as if the waters had but newly retired from the face of the earth, and it would not be wonderful to meet a Megalosaurus, forty feet long or so, waddling like an elephantine lizard up Holborn Hill. Smoke lowering down from chimney-pots, making a soft black drizzle, with flakes of soot in it as big as full-grown snowflakes—gone into mourning, one might imagine, for the death of the sun. Dogs, undistinguishable in mire. Horses, scarcely better; splashed to their very blinkers. Foot passengers, jostling one another’s umbrellas in a general infection of ill temper, and losing their foot-hold at street-corners, where tens of thousands of other foot passengers have been slipping and sliding since the day broke (if this day ever broke), adding new deposits to the crust upon crust of mud, sticking at those points tenaciously to the pavement, and accumulating at compound interest.
Slavish adherence to theoretical models is a recipe for failure. Even worse, the OSI model was developed in the 1970s before successful internetworks existed so it's not informed by experience; it's mostly made up.
Okay, if that's your experience then that's fair. I don't recall ever hitting any bugs in compiz and I don't recall it ever getting old, though it may have eventually faded a bit into the background. So honestly that alone is probably enough to explain the differing opinions of it. Of course, nowadays I've got approximately zero visual flair on my computing environment, so I'm not sure what to conclude from that...
You don't need a xcodeproj at all for a pure C macOS application (or do you need it 10 years ago? I see the last commit is 10 years)
I would suggest reading the Williams book as a place to start. Thomas and Johnson's _The Illusion of Life_ is also a must. Thomas and Johnson were two of Disney's 9 old men. The Preston Blair book, simply called _Animation_ is good.

The thing about animation is that it is not about interpolation. It's about the spacing between drawings. The methods developed by animators were not at all mathematical, but something that they felt out by experimentation (trial and error).

The math that does enter into it are directly related to the frame rates. If animation had started in modern times, with frame rates of 30 fps or 60 fps, it would have been a very different animal. And much harder!

At 12 fpt or 24 fps you have a very limited range of "eases" that can be done. So while eases do figure into it, its the arcs, the articulation, and the perceived mass of the parts of the character that make it seem alive. Looking only at the contours and the in-betweens misses all the action.

An awareness of the graphic nature of the drawings, the stylizations of figures and faces are also critical. Cartooning is its own artform and it is tied directly to the way human brains make sense of what the eye sees. Getting more realistic often takes you further from your destination.

Storytelling is also a core part of good animation. Making a character seem to think and react, like it is alive can be done by a good animator. But you won't get there by imitating the real world directly. Rotoscoping has very limited use in good character animation and storytelling. It's all about abstracting out what the brain feels is important and what it expects. You can get away with murder if you caricature the right details.

When I've worked with training new animators, one of the points I stress is that it is articulation and the perceived mass of the character that really sells a performance. The best art style in the world is nearly useless if the viewer doesn't buy into the notion that they are watching a thinking person reacting with a physical body to events in an interactive world.

My feeling is that you will get further if you build articualated rigs and teach the ai to make it move. 2D or 3D. There is footage of tiny AI driven robots in a Google eperiement that are learning to play soccor. The ai is learning to make them move and solve problems (running around the soccar field and scoring goals.) Very natural looking behavior (animation!) develops almost automatically from that.

Trying to solve the problem by dealing with lines, contours, and interpolation seems very far away from the important parts of animtion.

Just my two cents worth.

Get a copy of the Williams book, it's on Amazon. Read his thoughts, he explains things much better, and more entertainingly, than I do. Sharpen up your pencil and start making some simple walks. Simple stick figures and tube people work just fine. And you may find that you enjoy the art form. Even if you don't become an animator yourself, the exercises will deepen your appreciation and understanding of the art form.
Sorry, don't get your stats. In my family one generation passed from orthodox religious to the next: non religious without any issue. One example contradicts the whole point.

The study focus on Christianity and not other religions though.
People pour coke onto fish? (Coca-cola I presume?) To what end?

I've fished. Never felt great about it. But most fish at the fresh water angler level can be caught and released without mortal wounds.
No basements in western states :)
What is the value of a non-interdictable, non-seizable without physical compromise value store?
He wrote a lot and while some of it seems typical of paranoid ramblings (eg cherry picking the lyrics of popular songs that fit his ideas of public demoralization), quite a few of his observations on financial chicanery seem grounded in reality.

I say 'seem' both because I've only had time to skim it so far, and it's very easy to cherry pick facts and put them together to form a powerful-seeming narrative in the pursuit of epistemic closure. Still, it's pretty coherent and rational as manifestos go (I collect things like this for research/journalistic purposes and have something like 100 of them, maybe more).

A few people on social media invoked 'horseshoe' theory to suggest that far left or far right people often end up in the same crazy place. While the man's writings are conspiracist, they don't really align with right-wing conspiracies; extremist thinkers often deride the greed of a ruling class, but right-wing authors are usually not satisfied with that and seek some sort of atavistic/essentialist explanation that allows them to ascribe a disproportionate share of human vice to specific outgroups.

This person identified himself (in a Reddit post) as an 'anarcho-communist' but seems to have been influenced more by Kropotkin than Marx, eschewing vocabulary and conceptual shorthand commonly used by Marxists. Overall it seems more technical than ideological, groping toward the idea that elites rule almost exclusively through a combination of blackmail and ponzi schemes.
> perpetually

Is this a fun thought experiment, or are you immortal?

You may be shocked to learn that GDP growth can't continue perpetually either, under reasonable assumptions:

https://arxiv.org/ftp/arxiv/papers/2005/2005.05244.pdf
I think that the uproar about license changes are less about actual license impact and more about the impact to the community and social framework that Redis has fostered as a project previously. People are switching because at this point they think they can’t trust Redis Labs not to do more dumb stuff later. Combine that with my previous assertion that redis is very important software at most companies, and the calculus leans in favor of using the fork because any further major license changes might necessitate it anyways, and it’s easier to do now than under the gun. It’s important to not do stuff that loses trust when you’re a company founded on a community.
And you'd need to be sure that the work being done wasn't some real-world scam... I see the point of how difficult it would be - I'm just saying that's tremendous value.
The idea I'm looking into is for a high margin thing that can absorb price fluctuations. Re: stablecoins, I did notice that one of the YC Request for Startups was for stablecoin-focused startups, but I don't have a strong opinion about stablecoins, yet.
https://www.ycombinator.com/rfs#stablecoin-finance
Whether it is OK or not is in itself an arbitrary decision.

I don’t necessarily disagree with you, merely pointing out that ultimately every moral system rests on non-observable abstract principles. Metaphysics, in other words.
I'm talking general computing here, but also see my other reply about scams running on instances.
My personal favorite is the articulated locomotives, especially the Klein-Lindner system: http://www.douglas-self.com/MUSEUM/LOCOLOCO/klienlindner/kli...

It probably took me about a week to get a full idea of how it works, and I'm hoping to create a model to help myself really understand.
I'm shifting towards simply "not having" a home directory. Actual data is stored on other partitions, eg `~/git/project1` => `/git/project1`, `~/Pictures/Wallpapers` => `/data/Pictures/Wallpapers`, etc. The shell can be set up to spawn in some custom directory, $CDPATH can be altered for quicker navigation or completions, configurations are managed by Nix so I simply don't have a reason to look at my $HOME that often.

Programs can pollute it all they want, since I don't use it myself I also don't have to care about that.
Doesn’t matter.

Generalizing topics and/or adding caveats about how something may not always be true is the easiest way for a LLM to increase the rate of providing factually accurate responses (aside from refusing to answer). Both of those strategies requires being more verbose.

Concise and to the point is not in the best interest of a LLM designed to give decent answers 99% of the time.
Rust’s native strings are not null terminated, though there are alternative string types (CString, CStr) that are. If you want to call a function that requires a zero terminated string, you’ll have to convert if you don’t have one already.

And yep, the latter is true. Just how it is. It’s unfortunate, but it’s also inevitable.
> speaks volumes to what makes Bitcoin interesting:

Yes It is interesting

It is not useful

It is a huge waste
Relatives can buy btc stateside and relay it to you with pretty much no interference from local tax authorities or sanctions regimes.

There's value in this, Americans who are long America just hate admitting it.
hooray bitcoin, bitcoin is dead, long live bitcoin!
I think you are overthinking things. Of course most of the human beings on planet earth do not perform some kind of philosophical analysis.

However most people actually have an intuition of what it is like to be human and apply it unconsciously to everything that they encounter. I posit that a significant part of that is “acts like a human acts in such-and-such situation” and, inferred from that, “experiences things like a human”.

When I look at my fellow human beings (hell, when I look in the mirror), I have no objective knowledge that they are conscious. If I were to encounter someone badly injured it might not even be clear to me that they were human, much less conscious- so I use observations of behaviors and reactions to put $NEW_THING into the right ontological bucket.

My bucket for “mosquitos and other pests” is absolutely inappropriate for humans; but it is interesting to me to know whether things belong in some bucket that deserves special treatment.

The last few years has seen a lot of research (some of it obviously animal rights activist driven) into consciousness of arthropods and mollusks. I read a couple of the papers to understand what was being measured and how, and now I’ve moved lobsters into the “should be killed humanely before cooking”, where I would put cows and chickens etc.

I think most people, if they were given this kind of information, and if they were economically able to act on it, would make similar choices.
I used to think this was just a cool name, but now I know it's because they take your money.
I'm glad they took a less censored approach this time. In my testing of Llama 2, I found that it was censored to the point that sometimes it would do a 180 and say something actually harmful or rude under the guise of safety: https://i.imgur.com/xkzXrPK.png
Google wanted the social cache, without the actual cost. Like most people I've encountered, they wished to be seen to be good, responsible, conscientious, fair, and principled, and as with most people I've ebcountered, they wanted it without having to actually deal with the consequences of being any of those things.
I don't buy it. One thing that stands out to me: he has a ton of charts, but this crucial bit:

>But, since 2008, vacancies have been declining steeply.

is missing one. It looks like this statement is based on his estimates. So... original research. I'll leave it to an actual statistician to analyze his methodology, but that statement doesn't jive with my experience.

I continue to suspect that the "housing shortage" (similar to the "labor shortage") is due to a mismatch between the value that industry expects and what are actually the rates necessary to support the population. Powerful institutions representing wealthy individuals and groups, and large swathes of people, like the status quo; it is, in fact, fundamental to their lifestyle, their finances, the overall economy, and they will (and have) done everything they can to keep prices and the perception of scarcity high. The situation doesn't seem rational from an inventory/demand standpoint because it isn't; there are enough house, and they should be worth less and more affordable. But we won't return to reality until the privileging of incumbents ends.
Otherwise stated as

>This is why we can't have nice things.
I agree with much of this, but I think we also need to acknowledge our own ignorance over

- how much of the complexity of mammalian neurons is "incidental" complexity, due to also needing to be living, functioning cells, etc as versus "necessary" complexity needed to perform as well as they do

- how much specialization between regions and the details of the larger "connectome" are, vs how much can be accomplished by enough repetition of the right local structure (e.g. Hawkins' "thousand brains" etc)

> It is reasonable to suppose that the structural complexity of mammal/bird brains is an important part why their cognitive abilities are so much greater than 2024 AI.

Statements like this seem a premature to me -- we haven't really had systems with a simple (e.g. repeating) large scale structure and efficient adapting durable-memory-and-compute to really evaluate with, right?
> Do people just not think about how their product will make money, who the competition is or how are they going to get customers?

The short answer is "yes, people don't think about those things."

The longer answer is that they think that they've thought about those things, but in reality, they put more thought into what they had for dinner last night than they did into those things.
This is only loosely related to the article -

I always hear people talking about how disastrous a falling population is. But I visited Japan last year which has had a falling population for a while and was in a long term recession for decades, since the 80s.

I gotta ask, is that what “bad” looks like?

Because I thought it was a pretty amazing experience and society did not seem like it was crumbling.

I understand they have their problems as a country (so do we all), but if Japan is a future indicator, I’d say we don’t really have to worry about falling pop too much?
Digital Signatures for Authenticating Compressed JPEG Images
If they don’t bother enforcing the privacy rules on domestic companies, it’s just thinly veiled protectionism of dinosaur media companies.
No, my comment was entirely based on the fact that it apparently uses significantly less power than the CPU alone is rated for.
I used this number (with my local area code) to get discounts at Kroger.
> Actual title is "not very censored" which makes a big difference.

To anyone else who's confused by this comment: dang changed the title so now it reads differently than what OP saw. I think based on this conversation [0] that at the time of writing the title would have been "Llama 3 is not censored". Software stripped "very" out, then dang replaced the title with the first sentence.

[0] https://news.ycombinator.com/item?id=40093227
The Black Swan problem (the problem of induction) prevents empiricism (induction) from being justified on its own. You end up with solipsism (turkey problem, grue problem, etc.)
915 square feet is still enough for some solar cells, a bio digester, an aquaponics setup with vegetable garden, a cabinet full of quail, a cot, a rocket stove, and a small shed.
Building a powerful Double Entry Accounting system
In terms of HyperScale this leaves Ampere only serving Microsoft. ( Microsoft is also an investor of Ampere ) As both AWS and now Google has their own design. Along with the much smaller cloud vendors.

They also have their own custom core design instead of using standard ARM Neoverse Core. Historically speaking there hasn't been a single vendor that outperform ARM in terms of CPU IP Core design price / pref apart from Apple.

Would love to see how it perform against a similar 3nm Zen 5C with 128 Core / 256 Thread.
It's value easily eroded by High-altitude Electromagnetic Pulse (HEMP) so none on times of war, whereas the Internet was created to be resilient even in war, and I see value in the "cloud" running on diffuse infrastructure instead of corporate infrastructure.

EDIT: The global Internet I mean. Assuming HEMP doesn't hit everywhere at once, just the USA, for (unfortunate) example.
Ignoring the screed, your retort was CO2 was a low percentage. My response is it is the volume that matters, not the percentage composition

> This noble cause has turned into a matter of adolescent rebellion that is dealt with absolutism and a way to jump into battle that totally disregards strategic considerations

Pot calling the kettle black?

Can you put forth evidence why percentage composition is more important than total volume? I believe chemistry and thermodynamics come into play, volumes matter when balancing thermal dynamic equations. Thus, it is those equations that imply a 50% increase in volume, while still an overall small fraction of some other total composition, would have a significant impact on Earths climate systems
> But there it went, the book talked about being Rustaceans (I really hated the term), in love with diversity,

This is pure projection. Heres the part that talks about “Rustaceans”:

> If that’s all correct and Rust still isn’t working, there are a number of places you can get help. Find out how to get in touch with other Rustaceans (a silly nickname we call ourselves) on the community page.

The word “diversity” does not appear in the Rust book.

> in all honesty, I don’t really care enough about Rust to actually check this in detail,

This is really all you need to know about this post.

The package he refers to exploits an obscure compiler bug, for giggles. There’s never been an observed instance of this bug impacting anyone in the wild.

There are good criticisms of Rust and the Rust Project, but this isn’t one of them.
My informant says "for w2024 most companies applied 0-3 times previously, but it went as high as 12!"

(Edit: disappointingly to me at least, 12 turned out to be a bug. The highest number of applications for W24 was 6. Still pretty high!)

Good luck with your application if you go ahead with it!
> Nobody can stop it.

Hypothetically, government can with severe enough punishment. Governments will do anything to squeeze tax from things, and as long as any digital transfer is not being taxed, it will find way to stop it or squeeze tax out of it.
Was Jenkins a Leeroy Jenkins reference? Seemed to be just continuing the butler theme from Hudson.
HN tends to do that to any topic associated with intense emotion. Hard to have constructive discussion in threads like this.
I've lived in Oregon, Washington, Nevada and Colorado and I've seen and lived in plenty of places with basements.
> The future will still have Mormons and Muslims and evangelical Christians.

Do you want Idiocracy[0]? Because that's how you get Idiocracy

[0]: https://www.imdb.com/title/tt0387808/
> The original three transmission towers were installed along Interstate 94 in 2005 and two more added for western Lake County in 2010

Just doing a back of the envelope calculation, but the east to west distance is on the order of 23 miles, and line of sight might require a very tall tower.