skysight-inc/HackerNews huggingface dataset:
> If someone tags my message with a clown emoji

Hey, there's another one that my social circle has settled on a clear meaning for. If any of my friends use it, what they mean is that they are admitting being foolish about something.
It has no bearing. Tracking is how you keep stars from smearing, not stabilization.
How many skilled artisan stonemasons were available at the time? If the market for their craft was that large why do there seem to be so few of their projects left behind?
> We can build massive buildings, huge bridges, bore through mountains, dam hundreds of millions of liters of water. We can stack some heavy rocks on top of each other.

We usually use machines powered by petroleum to do that. I've not seen human labor used for this work in my lifetime.
AI is a play to appease Wall Street. It is similar to the VR race, which has just ended and anyone investing heavily in it would not necessarily be praised by the stock market. Companies like Alphabet, Meta, or Apple have to be seen to be innovating or else their stock will suffer. So, even if they know it is all not going to work they are forced to show they are keeping up. So they suck life of the new tech by deploying billions of USD to hoover up talent and tech and thus asphyxiate competition, especially smaller players. Once the dust settles in a couple of years there will be some leftover tech that might be useful and a whole bunch of patents kept at the ready for the next round of crazy. Google could be doing nothing, but there would be no end to the comments that they are finished and have no future. Funny that nobody expects Oracle or Autodesk to out-hallucinate their competition. I guess they don't because bank ledgers or high-rise designs are best kept away from the tricksters selling another iteration of Mechanical Turk under the guise of "saving humanity". Unfortunately for us, unlike previous advances in IT this one make things slower, uses way more energy, and spits out BS. Give it a couple of years and a wider war effort where compute power might get nationalised for the purpose of fighting the enemy in a more efficient way or designing deadlier weapons faster and we will not see AI available to the general public for much longer. Not that it's a bad thing, SEO spammers trying to outdo one another in who can publish more crap is something I'd like to see less of.
> what kind of comment is this?

It's part of a broader new new age movement.
The race to the bottom in the quality of online comments made any informative content immediately suspect of being produced by LLMs which got trained on the few trillion high quality tokens that are encoding all human knowledge.
VisX starts with low-level primitive components that match very closely to D3 primitives. It then builds some chart primitives on top of those and then builds some charts on top of that. You can build pretty much anything using the lowest-level primitives and still have a better developer experience than D3 IMO.

If you don't need any real customizability (and know you won't need it in the future), I'd stick with something with something less customizable, but faster to setup. If you know you need custom, take the 10-20% more time to setup and be able to change in the future as that'll be faster than porting your charts over.
I tried the "Zero-Shot Chain-of-Thought" myself. It seems to work the best but one time I got:

"Therefore, the thickness of the tape is approximately 0.000589 cm or 0.589 mm."
The Inquisition was more about persecuting people who published dissenting works and finding any justification after the fact. Galileo was just repeating Copernicus’s theory, but he used the Vatican’s own press to do it, which made him a target.
> My goal here is to inform people of the ongoing genocide

No. You're goal is to misinform people with a dangerous, mean, and genocidal lie. Why you would do such an evil thing is an open question. That you and others like you shamelessly, smugly repeat this lie, even at your own expense, is deeply weird. Was it hatred, implanted during childhood? Religious indoctrination of some kind? It will remain a mystery to me why people like you hold such recalcitrant, unmitigated hate but it's very clearly there, and it's the same hatred that has caused actual genocide through the centuries. Something ugly, deep in your soul.

I hope you figure it out and uproot it someday. It can't be making you happy. Good luck.
> crypto bros wanted decentralized finance where code is law

Ethereum and associated "defi" people are emphatically not the same people as the "code is law" people. One of the first things Ethereum did was throw out the whole notion of "the rules are the rules" during this event, when they rolled back the entire ethereum blockchain after a clever trade that wiped out a (now defunct) shitcoining operation: https://en.m.wikipedia.org/wiki/The_DAO

Lumping everyone into "crypto bro" is doomed to incorrectly predict the social-political dynamics here
OpenAI and Reddit Partnership
Arbitrage definitely happens in crypto. It’s how prices stay consistent across exchanges. If you have a small decentralized exchange with relatively low liquidity, arbitrage bots come in to capitalize on price discrepancies across exchanges.
It's unclear to me whether this is actually a causative factor, or more correlative. Is it that people who eat these diets are generally more health-conscious in general, and that's why they're healthier? You're already selecting for a population who is more thoughtful about they're eating than your "standard" burger-and-fries eater.
Not sure I could fine a reference for that any more. I think I got it from an article or lecture by Richard Rogers years ago. He was a famously dyslexic architect and if I remember correctly was the patron of the British Dyslexia Association.
As long as I been around startups, about 15 years, the advice always have been had more success getting warm intro. Even more back in the day than now. I think PGs essays lays out the fundraising process this way too.

The advice is never just send deck to a VC. Same as just applying to a company. Private organizations have no need for any kind controlled process, you're always better having or building of personal relationships and convincing people directly first. It's often even about the pitch or pitching skills. It's more like relationship or case you build, then the pitching is just formal step to close the deal.

I think the cold approach only works start the relationship if you have proven business, great potential and can tell that story well. But also by then VCs might already know about you and come to you.

Otherwise it's always about building some level of personal connection first. Essentially you're asking to someone personally believe and bet their internal and external reputation on. They are not going to hand you the money after one hasty email and deck.

The anti-VC crowd often try paint this as some kind of exclusive country club, but it's not true. So many new founders raise capital all the time. VCs are always looking for new founders and companies.

But it's also true that if you just crawl out of the woods one day and go meet a VC and ask them for $2M is likely not going to happen. If you don't get a single person in the world with some kind of VC connection to make a warm introduction to you, it often considered as a filter that you're not serious enough about your business.
Perhaps the example I used wasn't the best one; I wanted to focus more on the code aspect than the money. My main point is, what is considered Good Art, as declared by the critics, curators, educators, is quite different than what people actually want to experience. Importantly, many of the qualities that make art Good are beyond perception of the layman. The poster's love poems may lack coherence and underlying thought-line, but the poster's wife probably won't notice it - like 99% of the population. So, as a criticism of LLM output, holding it to the standards of the Art is irrelevant, because it's not what the poem was generated for.

There's probably a term for that which I'm forgetting, so let's provisionally call it tangential mediocrity - when the work is mediocre by general standards, but quite good for purpose it was made for.
Ah, you seem to think I proposed using formal verification to eliminate 100% of memory safety bugs no matter what the cost. In fact I didn't say that, and I don't recommend that. There will certainly be cases, typically in very large libraries that use 'unsafe', where the invariants you have to prove are very complicated and fragile and difficult to verify, and therefore the cost outweighs the benefit.

What I'm looking forward to is formalisms and tools to pick the "low hanging fruit" --- as I said, verifying the correctness of small libraries that use 'unsafe'. In small libraries, in general, and invariants and proofs are smaller and proof automation is correspondingly more effective.
Ok, but the Constitution doesn't authorize such a parallel government, and it's hard to see what any constitution could do to prevent one. Really, the only way constitutional government can have any chance of working is if a pretty fair percentage of people in power actual care about constitutional government for its own sake. Otherwise they'll just do as seems expedient.
So for a whim, I took this to ChatGPT and asked it to explore a philosophical position and then assess its own assessment for logic vs statistical.

Longer prompt responses here:
https://text.is/1V0OJ

Closing position below.

*Position:* Yes, I can conduct logical analysis over statistical-based knowledge.

*Justification:*

1. *Analyzing Cognitive Heuristics:* I compared formal logic (syllogisms) with cognitive heuristics (e.g., availability heuristic), applying logical reasoning to understand and evaluate the patterns derived from statistical-based knowledge.

2. *Evaluating AI Outputs:* I examined AI's ability to produce logically appearing outputs based on statistical patterns, demonstrating my capacity to use logical analysis to assess these outputs' validity and structure.

3. *Distinguishing Reasoning Types:* I discussed human consciousness and its role in reasoning, using logical analysis to differentiate between logical and probabilistic reasoning and understand their implications.

*Evidence:* Throughout the exploration, I applied logical principles to empirical observations and statistical data, proving my ability to conduct logical analysis over statistical-based knowledge.
> Correct specification is as hard as correct programming

A complete specification, sure, but that's not really the goal. The things we want to prove are generally just a few key properties: this function always terminates, that one always returns a sorted array, etc. And once you can do that you can impose these things as preconditions: e.g. you must demonstrate that an array has been pre-sorted before you pass it to this function.
Because there are too many. We do not need like 8 different ultra specific types of drinks when one generic glass with liquid would suffice. Same for chicklet in half shell, front chicklet, side chicklet... Why? It defeats the purpose of generic communication.
I can't use https://athenacrisis.com/ in Firefox, I have to kill the tab because of how unresponsive the page is.
The old-fashioned library at the heart of the A.I. boom
You brought this upon yourself. Can't beat the ol' bamboo[0].

[0] https://m.youtube.com/watch?v=SUr7fu-LXj4
Here's what self-driving means to me:

* Tesla absorbs all legal consequences of any accident while using their self-driving technology

* The driver doesn't have to sit in the driver seat continually monitoring the situation, i.e. driving - but in a really weird way

Which is to say, Tesla does not have self-driving tech and they're not going to have self-driving tech at any time in the near future. If I have to continue sitting in the driver seat and continue driving/not-driving and be responsible for anything the car does, then the hell with it. That's not self-driving and I wouldn't pay for that either. Especially the insane prices they're charging. Nope. Not gonna happen.
They're in Egypt, the builders would have been "Ancient Egyptians" regardless of whether that means dynastic Ancient Egyptians or a pre-dynastic "lost civilization". That being said there are a lot of interesting unanswered questions, e.g. why are pyramids newer than the Giza complex less-sophisticated? The fact that we don't know how they are built tells you all of these are still questions completely unanswered by archeology.
Lactose tolerance AFAIK is a single enzyme. That taking 6000 years to develop I think is evidence against what you are saying. Specifically, that is a tiny adaptation compared to the organization of the human brain. Is 30x more time than lactose tolerance enough for significant brain changes? I find it implausible, I would guess the major adaptations of the brain are on the order of millions of years, not a couple hundred thousand.

The adaptations for social organization seemingly have been with us for a long time. AFAIK humans have been in large groups for a very long time, as long as they have been homo sapiens (Large being over 50 members, and take that with a grain of salt, that is only my possibly incorrect understanding).

I do find it very plausible that people 1k, 10k, 50k and maybe even 200k years ago were all smart (Plato probably is far smarter than most alive today). Though, smart and education are different, while smart- the body of knowledge was limited.
I would need to be able to talk and draw at the same time, which is how I interact with co-workers and clients.
Aristotle said that denser things fall faster than less dense things and even gave a correct expression for their speed given the limits of his mathematics and notation.

https://arxiv.org/abs/1312.4057
D3 is a terrific toolkit. The fact that it is a low-level toolkit means you have to write more code, but on the other hand, you have more power. One of the negatives of D3 is that D3 charts are not responsive by default. Whether the chart fills the screen, or fills a small area in a dashboard, the grid lines are spaced the same and fonts are the same size. You can add responsiveness manually. It would be nice if a future version was responsive out of the box.
The higher level in this case is observable plot, not d3.
Yeah, it's pretty funny to see the first draft of anything I'm trying to prove; it'll be polluted with sorry's everywhere; it comes off as the most apologetic, completely un-confident bit of math you can think of.

The worst part is when you forget to remove a sorry (or three) because of a linked file you didn't check, and you submit stuff to other people on the team thinking you discovered something pretty cool, only to find out that you didn't actually prove anything.
Facebook Interview (2010) [video]
Confusing? Or multipurpose?
Look into if you have some kind of problem if you cannot even talk about something such as eink displays without calling other people names. What's up with that?

The special chips enable the eink display to have a better refresh rate, but it is still the eink displaying with the faster refresh rate.

Current cutting edge is at 14fps meaning 24fps is not impossible.

People almost never use the whole screen at once. Not when typing, not when moving a cursor. And not even when watching video, because modern compression formats update the parts that are moving.

And the laws of physics do not stop anything from moving more than 14 times per second, as you might know from your car engine or smoothie blender.
Amiga DOS !== UNIX CLI, and if you don't get why, well so be it, lets worship 1970's printer hardware instead.
The methodology of startup valuations is completely opaque, so it's in the interest of VCs to claim the highest possible number, because why not? Everybody putting in money is NDA'd up to here and they're certainly not going to upset the apple cart by broadcasting skepticism about the 'valued at' number.

WeWork was worth $50bn when only VCs could look at their numbers, and $10bn when the S-1 came out.
I also have written a lot d3, between versions 2 and 7, and the refactoring that has happened meant a lot of examples online that were hard to comprehend were even harder to update.

I feel like its more stable now though. Something clicks for me since ive started writing it in more imperative style with svelte+d3 rather than d3 alone. The generated elements are easier for me to reason about, rather than otherwise relying on inspecting the generated elements with dev-tools after the generation.

This site was helpful to me, to combine d3 and svelte: https://svelte.recipes/
To start with, you usually perform verification on a behavioral model and not on the code itself. This opens up the possibility that there are behavioral differences between the code itself and the model which wouldn't be caught.
I'll ignore the part where you're wrong about the lock-in, but to the rest of what you said...

Yes? I guess I didn't think it needed to be said so explicitly, but if you are opting into Plot and Framework, you are accepting convention over configuration as they say.

And for some situations, that is what you want.

If you value flexibility and control above all else, then I agree they may not be for you.

But if you value other things, like speed of iteration, or just getting some good data visualizations built without a deep investment in learning underlying concepts, then Plot and/or Framework have definite advantages over doing it all with D3.
From what I have seen, it truly is optional. They literally just let you turn them down if you don't want to be a volunteer firefighter. There is no punishment or extortion involved. Do you have any evidence otherwise?

Any sort of contaminated food isn't relevant to extortion. Thanks for the irrelevant article though.
> If the gap is 10 orders of magnitude, narrowing it by 1 doesn't have a big impact, unless it were completely free, which it isn't.

It doesn't need to be completely free to have a positive net benefit.
I’ll go with “depraved indifference” rather than “genocidal intent” but when you spread it across a whole society, they ain’t all that different, are they?
Wonder why we can't have real "anatomical" emojis and have to resort to using eggplant like kids passing encoded messages?
By this logic, the most misunderstood English word is "set". Words have multiple definitions; why can't emojis? The "dash / fart / smoking" emoji is a good example: I think it's pretty clear that if someone says "break time =3" they're more likely to be talking about smoking than farting. The question is whether they're misunderstood by the reader.
It seems that the value of clearing yard waste depends on the local conditions.

Some climates produce layers of thatch from simple lawn clippings, for instance, which can be problematic. And for some people, fallen tree leaves can be a real concern.

My lawns (all of which have been in Ohio) have never had these issues. I just mow the grass. Stuff (leaves, grass, whatever other stuff is growing or present) gets chopped up, either with a "mulching" mower or a side-discharge mower (and it'd probably work about the same with a reel mower). It degrades quickly-enough in-situ that neither lawn clippings nor tree leaves are ever things that are a concern. (The biggest lawn-oriented issue I ever had was that of having a large number of black walnut trees; the walnuts themselves were unseen ankle-killing traps and/or projectiles in the fall, and the abundance of food lead to an abundance of squirrels and thus fleas.)

But as I understand it, some others are not so lucky. I'm not familiar enough with the problems because I've never had any problems, but I understand that they do exist in some areas.

(Heavily-manicured deliberately-monoculture lawns are a different thing that I'm not even attempting to address here.)
The way they tracked this really leads me to think this was a fund like wintermute, Jump or DRW that got screwed in this case.

They would have done all the detective work and then went to the authorities with a case fully done. I just don't see the government putting resources into tracking this the way that the fund that lost out on their sandwich trade would.
The article talks about Hacker News comments "quoted in this article, that I am having trouble finding now on the live version of the site." As far as I can tell, the comment they're referring to is https://news.ycombinator.com/item?id=21053930, which appears to have been edited years after it was posted (judging by Wayback Machine snapshots), along with one of the replies, to redact the name of the person involved.

Edit: And now this post is marked as a "dupe", even though it doesn't appear to have been posted on Hacker News before. Weird.
It looks like this is more than a license to blindly feed data into the model training phase, like the previously announced StackOverflow partnership.

Looks like ChatGPT will be able to dynamically query the Reddit Data APIs and retrieve new info, sort of a la Grok/Twitter. Interesting, and seems quite useful.
But they were talking about the GoDaddy hack with Ebury, and Austin was only kernel.org, linux foundation and probably apache.org.

So who was GoDaddy? Not NSA for sure. They call it the Ebury group and they do have some hints
Im aware of several AI assistance tools and using LLMs to generate (hopefully) runnable code but has anyone used the available tools to significant impact? I mean can I delegate a sprint ticket to an AI yet? I can see us getting there. A suitably detailed feature ticket isn't much more than a prompt. The ticket would need to get down to a code level in specification of what needed to be done. Its possible on paper sure.

Fun question: AI generates some code and its deployed to production. Theres a bug found in the logs and a dev sits down to analyze the fix. Does the dev correct the prompt that generated the code and commit that prompt, or does the dev make a code fix and commit that?
Isn't this what the Assistants API is meant for? Honestly not sure, I haven't used it before but their documentation seems to suggest you can set up the assistant to already have this context, then just send API commands to it without said context.
> When someone emails or calls to say, “Let’s meet on Tuesday at 3”, the appropriate response is: “I’m not keeping a schedule for 2007, so I can’t commit to that, but give me a call on Tuesday at 2:45 and if I’m available, I’ll meet with you.”

> Or, if it’s important, say, “You know what, let’s meet right now.”
> ChatGPT-happy hypebro

Rude. From the guidelines:

> Please don't sneer, including at the rest of the community.

https://news.ycombinator.com/newsguidelines.html

"math help" is really broad, but if you add "solve this using python", chatgpt will generate code and run that instead of trying to do logic as a bare LLM. There's no guarantee that it gets the code right, so I won't claim anything about its reliability, but as far as pure LLMs having this limitation and we need a better technology, that's already there, it's to run code the traditional way.
We also learned some first order logic, enough to write the proofs in formal language, though we didn't learn anything about type systems.

You're probably right about the ship having sailed, though. It's probably harder to get people to learn new things when they haven't been in school for a long time.
New Male Contraceptives Could Be Pain-Free and Easy
I'll let the public record speak to my ability to execute and run the business. If you have any concrete points that you think I did not already adequately address, I am happy to do it. Just please do not slander publicly (and keep things on-topic if you can).