skysight-inc/HackerNews huggingface dataset:
I don't know if it really matters if you are 20, 40, or 80; we can get caught up in certain traps no matter what our age is. Experience is definitely something we should be able to tap into later in life, but we can be stressed and feeling like we need to do much more than we are capable of even when we are 'old'.

I have a little startup and I keep a 'TODO' list of features to implement, bugs to fix, things to test, documentation to write, etc.. I could stress out because the list never seems to get any shorter. Every time I cross one thing off the list, I think of two more to add. Instead, I try to focus on what I can accomplish that day (or that week) and stop when I have spent a certain amount of time on it.

If I am in an ambitious mood, I might speed many hours tackling a single issue. Other times, I can go a whole week without ever opening up the IDE. That is OK! I have the luxury of not depending on the startup for financial survival. I also realize some others do not share this freedom so I don't criticize them if they feel stress and overwork on their project. I just work at my own pace and try to gain satisfaction on what I am able to accomplish.

I try to apply this technique to other areas of my life as well.
Cheers. That's way much more information than I ever wanted to know about that sorry affair. If it can quell the torrent of ad-hominems, it's worth it, but I doubt it. All those hardcore soft. engineers here on HN who spend 99.99999% of uptime close to the bare metal think that people like Gebru who work on ethics are useless hangers-on without any "real contributions" (probably because none of them has bothered to check her background on wikipedia).

Nevertheless, hoping to check your sources I clicked through your profile and I have a question, totally unrelated to all this. Can you say something about the state of the art in "neural proof synthesis"? To clarify, I'm scare-quoting because I didn't even know that's a thing. For context, my background is in the European tradition of Resolution-based automated theorem proving (Prolog and all that) but also statistical machine learning, so don't worry about simplifying terminology too much.

Btw, the "proof engineering" link in your profile gives me a security alert on firefox.
nVidia hardware has dedicated ML silicon, though?
As a tenant you are freed from the property maintenance; instead you are at mercy of landlords for that aspect, but I think they should and actually do the maintenance in practice.

Many properties in SK are offered via a peculiar scheme, the Housing Subscription System 주택청약제도, which is a result of convoluted history. Basically you should have a dedicated saving account, and your eligibility will be scored by multiple factors including the deposit sum of that account and in particular the period of non-ownership. When you buy a house your non-ownership counter resets; Jeonse will keep it. So if you use Jeonse as long as possible, your chance of being eligible for this scheme will increase.
Teslas are the faster than many super and hyper cars, apparently.
I find it interesting that y'all seem to assume that humans will remain biological (for 400m+ years) and will somehow not merge with robots to make the humans vs robots discussion kind of irrelevant.

AGI robots (humanities "daddies") won't care whether humans want to become interplanetary or not. It will just do it itself regardless.
I honestly can't think of a worse result of a hack of a CI/CD service than source code of companies being stolen. In my mind, this is akin to the Okta breach a while back, a ton of companies being hit hard through no fault of their own all at once.

I can appreciate the want to diversify services so that secrets/env are separate from code, but I think I would honestly trust the behemoth that is Github with both.

That being said, my company still uses Okta, so freebies and mulligans are certainly still tolerated when it comes to data breaches.
The first chapter describes "New York White", a super strain of weed that grows white due to lack of sunlight deep in New York City sewers is totally made up, or at best, not researched at all. Weed doesn't grow in the dark, and it doesn't grow albino from lack of light.
If you make everything open source...
Hunter-gathering only works as long as you know which local plants are good and which are poison, I'd assume.
Intro to GCC bootstrap in RISC-V
Ladyada Interview with Paul Horowitz – The Art of Electronics (2015)
Art is sort of the same thing as you are describing. An aesthetic work is typically considered flawless if it feels whole and lacks excess. Every aspect playing into the meaning of the work is balanced, every element contributes to the experience of the art. When this doesn't happen we call it out as "tacky" "gimmicky" "amateurish" etc.
Bootstrapping GCC in RISC-V
Clearly, there has to be more to it than that. Whole subtrees of the virtual DOM can (in some circumstances) be removed without affecting the states of the subsequent components. I'm not totally sure what the rules are for this, but at least sometimes it works.
Interesting. How’d you come to that conclusion?
The problem with that strategy is you can never stay too long in one place or you'll exhaust the food supply (for both your soldiers and your horses). If you're ever rebuffed and you don't have supply lines delivering you food, you just starve.
Ask HN: Which blogs do you follow?
Blogs, articles, long reads?

Twitter, Substack, Quora or HackerNoon?
We also tried to do this...

But it turned out that our chem teacher wore open-toed shoes that day (not a lab day for her) so she made us detonate it all ourselves.
I prefer "code it twice and hope you get it right once" testing.

Complex systems use that system everywhere. Why aren't we doing it for our code?
That was a classic that got passed around our high school... My favorites were the ones that started with practically nothing. IIRC, they made gunpowder from campfire ashes, a 5 gallon bucket, and a t-shirt filter. Another one - was it rocket fuel? - was made from urine! I think you could even progress that one from urea nitrate to nitric acid, and with the improvised sulfuric acid from elsewhere in the book, make actual dynamite! but our high school teacher warned us that many high school geniuses had blown themselves up making dynamite. Anyway we actually didn't care about blowing things up, really.... we were into fireworks!!!! So we enjoyed concentrating the powder from zillions of sparklers to make an "artificial sun." We also made humungous smoke bombs that went on for a long time making the neighbors antsy.
In my locale there is no set distance:

"point of reception" means:
(a) a point in a lane or street, adjacent to but outside of the property occupied by the recipient of the noise or sound, that represents the shortest distance between that property and the source of the noise; or
(b) where no lane, street, or other public property exists between the recipient and the source, any point outside the property line of the real property from which the noise or sound emanates;
(c) in the case of noise emanating from inside Rogers Arena, a point as defined in sub paragraph (a) or (b) or a point immediately adjacent to and outside of any dwelling unit located within the site legally described as PID: 018-500-374, Lot 221, Plan LMP 12038; and
(d) in any case at least 1.2 m above the surface of the ground

There are specific db limits however
Go is sufficiently verbose that I don’t want to use it, even with an IDE… perhaps CodePilot might make it tolerable but I’ve made a habit of considering Go “other peoples problem” as best as possible.

That’s not to say I can’t work with it, was able to fix a go program after just a basic reading of the syntax … but beyond “this is readable” I have little to love and plenty to hate. And the level of verbosity I see in other peoples Go code is one of the things I hate. Sure they can probably be more concise sometimes, but it does seem like a trend to me that Go programmers don’t bother thinking about that sort of thing, they write the verbose code quickly because the language is designed to limit the user this way to “help” make coding things easier… and they move on. To me, the verbose nature is completely explained by the motivation behind the original design of the entire Language to be a sort of lowest common denominator language that all the new hires at Google could quickly learn regardless of the languages they knew when they were hired be that from decades of experience or fresh from an academic PhD. Lowest common denominator language leads to lowest common denominator code… which tends to be verbose because you’re not thinking about concise expressions using a language designed to avoid concise expression to avoid clever syntax that makes it hard to learn.
Google and other search companies (Microsoft) could say, “let us scrape your content for our ai or we’ll de-list you from google/bing.” What would websites do then?
Show HN: YAML to SQL
JLCPCB should still have special offers for 4-layer PCBs up to 50mm tall and wide. It might be that you can get five boards made for less than 10€/$. I’ll check later.

Edit: yes, $2 for five pieces of 6-layer, 1.2mm thickness PCBs with ENIG surface finish. Unbelievable, isn’t it? 4-layer, 0.8mm, are possible for a few dollars more if thickness matters a lot (the finish will only be lead-free HASL, though).
I feel left behind and a failure. Where did my 30’s and 40’s go? God knows I tried.
That sounds pretty awful, I can certainly relate to the sprint deadlines bit.

In fact that sounds straight up dysfunctional. I've certainly worked in a few agile (to varying degrees) that functioned far better than that. To me they've been the only places that we're halfway decent.

They were outnumbered by places that either paid lip service to Agile (universally using SCRUM), or applied it in some backwards bizarre way. I think this is where that bad rep comes from.

It's a shame, I've personally worked with an onsite customer that was a C level exec, and we cut out reams of red tape, got stuff done, and delighted them. Maybe the real vision of it is just to hard to achieve given political realities and the shitty nature of the modern corporation.
> We treat our time as something to horde

I’m having a hard time understanding how this mistake is made.

Hoard and horde are not even close to the same. They sound the same, but before you write it, shouldn’t you have read it at least once?

Or consider that maybe ‘mass of people’ is probably not the same word that’s used for ‘amass a a bunch of stuff’?

Actually, now that I consider it, it makes total sense that you’d use the same word for that… guess I’ve answered myself.

Anyway, it’s hoard.
I love how you can see Beavis in the mirror. This is incredible.
They are paying Apple $350 to acquire every new Apple Card customer.
There was no 'fog of war', as this went on for months. The ceremony I spoke of happened nearly a month after his death, on February 3rd. I'm not looking for perfection - merely some vague concern for the truth over agenda, and I'm not finding it.

And the idea the media was misled, instead of a participant in misleading, is rather belied by their lack of their concern about such 'deception.' Were this a case where they were genuinely misled, this would have been grounds for a defacto inquisition. Instead not only did they seem completely unconcerned about that, they actively tried to keep pretending he was killed - even when it became clear he was not.

They never pursued, in the slightest, why they just lied to the American people for months. Sites, such as YouTube, which claim to care about disinformation still host hundreds of videos pretending he was killed. And it's not a cherry picked example. The media has been rife with lies as of late. The issue is that this is one where there's no way to do what you're trying to do, and argue for some sort of plausible deniability.
> React will keep existing DOM nodes in place as long as you continue to tell it "render a node of this type in this spot in the tree"

What exactly is a "spot in the tree"? If I need to keep an element, must I ensure that all prior elements, in DOM order, are kept in place? What if I want the stable element to be preceded by a conditionally rendered element? Is that supported by react?

"UI is a function of state" sounds kind of cool, but in my mind "function of state" means that state is an input to the function, not acquired through back channels.
Fair enough. I guess I read your statement as universalizing that feeling. That is, when you said "this type of messaging ... does nothing for you except make your mental health worse" it didn't seem like a statement about your reaction; it seemed like a criticism of the site.

It probably isn't just you, but on the other hand, if we were to agree that existential dread is a less desirable reaction than some others (and it might not be!) there doesn't seem to me to be an obvious way to develop those more desirable reactions through methods other than exposure therapy via these sorts of sites.
> if we start differentiating AI and non-AI, it'll only blur the boundaries between real and reel life even more

That’s ChatGPT talk. By definition, differentiating sharpens the boundaries.
Pfft as if any of the work I did for these shitcorps was “meaningful”
I think it'd be interesting to see a bit of that process in a blog post. Maybe something about how you do what you do and how your techniques have progressed? Even if it's a hacky mess, it sounds neat.
The "why?" link points to a stackoverflow filled with people saying this seems like a bad idea...

All the example YAMLs are longer than the SQL they generate.

What is this making easier, and for whom?
evolution produces end results that are worthwhile fully understanding at the very least, i imagine hovering around on updrafts is pretty energy efficient off the top of my head too
I have purchased things on Amazon that were illegal for import. I didn't know it at the time of purchase. I only realized months later when I wanted to buy it again, only to find all the listings were gone.

With so many 3rd party sellers it isn't too surprising.
Wait until the frameworks spoil it
Some people find that very comforting.
Dell Tried to Hide Bad Capacitors Problem 2003-2005 (2010)
No.

The point is not to focus on time, or calculating how much of it you have; the point is to live in the present and step out of time. Forget it. The past is only in your mind. The future does not exist. The only real thing is right now.

If you are depressed you are living in the past. If you are anxious you are living in the future. If you are at peace you are living in the present.
--Lao Tzu
I think flat screen TVs + crap sound engineering on modern streaming platforms => watch with subtitles.

It's like they stopped teaching actors how to enunciate and audio techs how to mike anyone up anymore.

We could blame Christopher Nolan for inventing the genre.
Japan seems to be a leading example of - what happens if women become highly educated (more than men on average), able to earn a good income, but still feel like second class members of society?
Why? This section is literally just questions about a modestly complex reading passage. It’s the most real world part of the SAT.
ML folks often call it "neural theorem proving." SOTA results are still from combinations of tactic prediction models with specialized tree search processes. They do OK on some interesting benchmarks, but still can handle mostly only fairly simple proofs. So far, they seem strictly complementary to symbolic methods. Interest is growing dramatically, though, and progress is accelerating, so I'm excited about the near future.

Language models are showing a lot of promise for autoformalization: automatically converting natural language mathematics to formal definitions, specifications, and proofs. This is a task where symbolic methods do not seem particularly promising in general, and one that meshes nicely with synthesis.

A good conference to look at is AI for Theorem Proving (AITP). It's small but has a lot of relevant work. All of the talks from this past year are recorded and on the website. MATH-AI at NeurIPS had some good work this year, too.

There is a bit of a culture and citation gap dividing the work in the AI community from the work in the PL/SE communities; in PL/SE I'd recommend work by Emily First and Alex Sanchez-Stern. They are undercited in AI work despite having SOTA results on meaningful Coq benchmarks. In AI, I'm particularly psyched about work by Yuhuai (Tony) Wu, Markus Rabe, Christian Szegedy, Sean Welleck, Albert Jiang, and many others. Tony's papers are a good gateway into other AI papers since the AI papers tend to cite each other.
In theory, you can:

- Open Microsoft Paint

- Make a blank 400 x 400 image

- Select a pixel and input an R,G,B value

- Repeat the last two steps

To reproduce a copyrighted work. I'm sure people have done this with e.g. pixel art images of copyrighted IP of Mario or Link. At 400x400, it would take 160,000 pixels to do this. At 1 second per pixel, a human being could do this in about a week.

Because people have the capability of doing this, and in fact we have proof that people have done so using tools such as MS paint, AND because it is unlikely but possible that someone could reproduce protected IP using such a method, should we ban Microsoft Paint, or the paint tool, or the ability to input raw RGB inputs?
Thought this was going to show how, missing a question mark!
The Moon is a Harsh Mistress...
Reminded me of Frank Gehry and MIT's Stata center. Except that these look to be better buildings.
Unfortunately, from what I understand academia is an even bigger mess of bureaucracy and politics.
xmpp is great. I just wish the clients were better/more interoperable/more unified on sharing organization information. For example, gajim has these great workspaces where you can group conversations but it's all local to that install of gajim and it doesn't appear to be durable across closing conversations and getting new messages.

As a messaging protocol it appears to work well, it was relatively easy to get it running (although not as easy as matrix) and slidge is coming along nicely to provide interoperability with other chat platforms.
Correlation doesn’t imply causation. I’m not sure how more water seen in tree bark thickness quickly correlates to the Mongols not conquering Europe.. That horses don’t do well in watery land seems like a poor theory to me. Although that one movie that I saw where horses got stuck in the UK battle seems to collaborate that theory... Like all science it’s a theory offered and it’s to other historians to prove it wrong. I find it all fascinating.
Foods Ranked by Luteolin Density
Those are still well defined limits, which reasonably account for property size and shape. That is in line with the point I was trying to make -- there are unambiguous limits defined. Much harder to do that with smell.
You're not exagerating. Lordy.

https://youtu.be/OE4VkfYaP1w
Noise? Drone propellers are ridiculously loud.
Anarchist Cookbook is fun, but with all the stories here about high school chemistry, I would have expected most would have also discovered PiHKAL[1] and found it infinitely more entertaining.

[1] https://en.wikipedia.org/wiki/PiHKAL
Thanks for sharing your thoughts. What also worries me is: people who aren't in the tech space, don't understand how internet works.
They think AI is stealing their work, and it's time to kill it with fire.

I also think quoting people is gonna get hard going forward as there's no means or utility to trust and transparently show where the original words/ideas are emerging from.
Plausibility != proof
Is all of Europe now Western Europe? News to me.
You're right, what I meant was that our species, homo sapiens branched off not that long ago, about 300k years. From what we were then to what we are now in an astronomical blink of an eye. And given the exponential growth of development and innovation in the last couple thousand years. And to think we still 400k years to go on earth is just mind boggling.
Unseasonably warm weather stopped the Mongolian horde from conquering Europe. Hmm
I don't understand how a mortgage is out of the question but they can come up with a lump sum of 80% of the property value. Where does this money come from? If they can come up with that and the market is great why not stay at YMCA and invest it for two years and get the entire sum to pay for the property? Your reasoning doesn't mesh with my way of thinking, which is obviously very different since I didn't grow up under that system, but it sounds to me like the tenants are getting screwed. Can you help me out?
https://bugzilla.mozilla.org/show_bug.cgi?id=1392841 is the bugzilla bug to enable the feature by default.

https://simonhearne.com/2020/network-faster-than-cache/ has some discussion.
Why does it need to end?
I wonder how the stress of shooting the munition from the gun did not set it off.

Must have something to do with the direction of acceleration, but I can't see how exactly.
It was Biden/Harris. As for the exploitation of his death, search YouTube for something like 'officer killed in capitol riots.' For a company that claims to care about misinformation, they're perfectly happy having hundreds videos, full of misinformation, actively exploiting this issue to this day.

And while I have become extremely skeptical of the competence of our government and agencies, I can safely assure you they are more than competent enough to at least determine whether somebody was murdered at the Capitol on a given day, or not.
It is a mystery why Ruby collapsed, and Python came to eat its lunch.

Python was there first, and took a very long time to gain its hegemony. Pandas and Jupyter could in principle have been built on Ruby: why weren't they? Python suffered massively in the 2->3 transition and has only just begun to essay thread-safety, which both should have given Ruby a leg up.

Was it a core implementation group's superior openness to the needs of such projects?
That whole thing is highly dubious, and reads like a slippery slope argument.

Like one, there's a limit on how much water can exist as vapor in our atmosphere, (which is far, far less than what the earth's oceans hold), up until the point of boiling. This is conventionally known known as the saturation point, which is 100% relative humidity. Anytime you try to go above this limit, forces the water to condense and drop down back to the oceans as liquid. So the oceans aren't going to evaporate out to being dry like it predicts unless global temperatures rise by an extreme amount - quite likely requiring boiling temperatures, but in any case, extreme enough that life would likely be dead from the temperature alone. So its subsequent reasoning on how photosynthesis and life ends is not likely how it will play out.

Additionally, it ignores that CO2 is made by animals, and O2 is made by plants, and therefore, the entire possibility of having a natural carbon cycle without volcanism. Never mind the fact that we currently have climate change tech that produces CO2 already, and if we survive that long, could easily prevent photosynthesis from ending in such a way.
I agree that nothing makes any of your categories better than the others: achievement, fun experiences, relationships. But if I look back on my life so far, something that does seem worth optimizing for is intensity/high quality.

I've had experiences that I enjoyed every minute of (for example because they were new, or doing things that I love). Periods of hard work that stand out in my memory because of how much I learnt, accomplished, felt the 'flow' state. And time spent with people I'm close to that deepened those relationships and gave me a huge sense of connection.

For me, being conscious of what I invest my time in is less about the category of experience, and more about generating opportunities for high quality experiences, making sure I don't pass them up, and being present in the moment during them. I'm not great at this, but it's what I try for.