skysight-inc/HackerNews huggingface dataset:
An alternative design would be: when you bring in an external library, there's a mechanism to rename the symbols in it.

The downside is that for each library you want to do this to, _once_ you have to spend a few minutes writing the renamings.

The upside is that if you now want to find everything that uses the external function getElementById, you can search for _that_, and you will find the "rename getElementById as get_element_by_id"[1] declaration, and then you know to search your project for get_element_by_id to find all the places where it's used.

[1] I am not suggesting that particular syntax; I just picked something at random.

The other upside is that if you want to find uses of the getFoobar function that's defined in your project, you just have to search for getFoobar rather than doing a case-insensitive regex search for "_*g_*e_*t_*f_*o_*o_*b_*a_*r_*". (Or, if your answer to that is to use language-specific tooling, that you aren't forced to use language-specific tooling when it might be more convenient to do searches on the GitHub website, or in the text editor / IDE that everyone else on your team uses, or in the text editor / IDE that you'd been using for years before starting to use Nim.)

To me, this seems like an obviously better design. I don't want people who have spent years becoming productive in Emacs, or Vim, or Visual Studio, or whatever, to have to choose between using some different set of tools they aren't used to and having the searching operations they're used to using silently do the wrong thing.

Am I missing something? Because, rightly or wrongly, this one weird design decision is enough to keep Nim off my list of languages that are worth the time to investigate: not because this single thing makes that much difference on its own (though it does feel as if it would make my life substantially worse, if I were writing a lot of code in Nim) but because I feel like the language is designed by someone who makes weirdly terrible design decisions sometimes, and if that's what I want then I already have C++ and Javascript :-).
The cozy but creepy world of VR sleep rooms
Is FATCA effective? how automatic is it?
It definitely can "understand" things is some way, however I'm pretty sure ReAct or similar will give it just a nudge forward and the underlying problem of it hallucinating and not being "lucid enough" is not so easily solved.

In the original ReAct paper it falls apart almost immediately in ALFWorld (this is a classical test for AI systems - to be able to reason logically - and it still isn't generally solvable due to combinatorial explosion).

For now it requires human correction looped or not, or else it "diverges" (I like Yann Lecun explanation [0]).

In my own experiments (I haven't played with LangChain or ReAct yet) it diverges irrecoverably pretty quickly. I was trying to explain to it the elementary combinators theory, in the style of Raymond Smullyan and his birds [1] and it can't even prove the first theorem (despite being familiar with the book). A human can prove it knowing almost nothing about math whatsoever, maybe it will take a couple of days thinking, but the correct proof is not that hard - just two steps.

[0] https://www.linkedin.com/posts/yann-lecun_i-have-claimed-tha...

[1] https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird
Yes. This all went away without app stores.
My eyes autocorrected to "bought" and I missed the joke entirely and went full-screed.

FYI: I chuckled a after reading your follow-up comment.
For what purpose? Do we know what this is used for?
“ Maybe the US has a medical expenses insurance fraud problem?”

It has a medical expenses problem! ER visits are thousands of dollars even if nothing is wrong! There is a reason coverage is expensive — if it’s ever used, the costs are catastrophic
But not the same need.

With a real lawyer almost all the time what they tell me will be legally correct, so if I don't know how to recognize when something is not legally correct that will almost never hurt me.

From what I've seen of people's posts of ChatGPT output it is much more likely to provide incorrect legal advice, and so using it without having a way to recognize incorrect legal advice is much more likely to hurt me.
I would not be surprised if “author_is_elon” was added after he bought the company and worked the engineers too hard to figure out why his tweets don’t have a lot of engagement.
Twain lost large amounts of money several times, on bad business investments and doomed inventions. He ran through his wife's considerable inheritance as well as his royalties, and had to keep writing books to make up his losses.

His financial misfortunes were literature's eternal gains.
No, the format is SPDX which can be serialized in JSON or in a spreadsheet (as well as RDF, XML, YAML, tag-value text, etc.)
But the example you give is an appeal to a universal moral good. Not partisan politics. So despite saying it’s not not political, your justification is that it’s not political.

Also, how did you get a blue check before being able to buy one?
Tesla had a very strong alternate benefit to offset the CarPlay loss.

They were basically the only non-low end electric car. Also their infotainment is reportedly pretty good, not the quality of most car makers.

GM doesn’t have a Tesla quality infotainment system, and doesn’t have a “we’re the only choice” level hook.

It won’t work for them. And it may be starting to hurt Tesla as they lose their uniqueness selling point.
Well, there was this:

https://blog.twitter.com/en_us/topics/company/2021/rml-polit...
Building “Arms” for ChatGPT
Hey Folks,

I'm building an open source project called "ChatGPT Arms", the goal is to provide standard interface/system for integrating chatGPT with the real world (API's and other systems).

I'm just getting rolling on it, and I'm already impressed out how useful it is.

GitHub: https://github.com/TaylorHawkes/ChatGPTArmsAnd
Demo: http://chatgptarms.com/
Video:https://www.youtube.com/watch?v=o2LiPkkIjeQ

If any one is interested in helping built out the core or any "Arms" (npm packages), feel free to jump on the discord or fork the repo.
https://twitter.com/carlcarrie/status/1641900542573133826

> The Twitter Algo uses graph of followers and tweet similarity to identify what alignment you are politically
"be slavishly devoted to maximizing profit margin at all costs"

Bingo.
> whether a system that is a parrot can be a good system

A parrot can be a good system if the problem is "Collect and sort the available data about X (and provide reference)".

A parrot is a disaster if you ask it "What do you think of X": a parrot does not think - unless you make it reason, verify and criticize its ontology, and at that point it is useless that we call it a "parrot".
Any other anecdotes to share regarding the interest in retro technologies from them? I love hearing about this. As a fellow lover of withered technologies, I'm especially interested in hearing the "why"!
Yep, they're both super approachable, [1] is a great way to get introduced to some deep philosophy in a fun way.
Mine says "see my Github".
I turned 50, you hit middle age and then there's a huge negative wall of discrimination. This layoff hit me after I had been unemployed in the same year so I got no unemployment. I had moved in with my mom to help her during covid so I have been basically turned back into a child after having been forced to spend 478k for my education.
Out of those 75% some of them don't work properly as they do on Windows.
Very neat! This reminds me of Braitenberg vehicles.

https://en.m.wikipedia.org/wiki/Braitenberg_vehicle
Lack of CarPlay support has not exactly stopped people buying Teslas.

Oh, it absolutely does. I bought TSLA when it was in the double digits, and I bought lots of it (and long since sold it all). Despite scooping up capital gains with a backhoe, my wife and I never considered a Tesla simply because it didn't have CarPlay. As it applies to any car maker, CarPlay/Android Auto seems like an easy win, and if the company can't be bothered, then we'll look elsewhere.

Lack of CarPlay just doesn't stop everyone from buying one.
I suspect it plays into this stuff: https://www.theguardian.com/technology/2021/oct/22/twitter-a...

They wanted to answer the questions of "is twitter biased against Republicans" so they measured it, turns out they favored republicans.
You also want to sue the police department separately for wrongful arrest to keep them accountable and discourage a use of tech like this.
i think back in the day they copied googles python style guide
Yes please. I wasn't surprised they were closing the US access but I was absolutely floored to think they were closing everything.
Ah, gotcha. Yeah, I agree, there's a gulf between "Playable" and "Verified" and the latter is a much smaller % (the source has numbers at least).
The pendulum is swinging too far back the other way. At first it seemed amazing but now that further exploration has revealed flaws we're seeing things like this that dismiss a significant portion of its capabilities.

I gave ChatGPT a small CSV dataset and provided information about what the dataset was. I then asked ChatGPT to analyze it in various ways. When I asked for possible explanations for why a specific data point dropped significantly in one year and then partially rebounded in the following year, it gave me 5 bullet point potential explanations that were reasonable first guesses for issues to look into, even though it knew nothing except the industry sector.

The whole series of responses would make a very reasonable jumping off point for exploring the issue and more detailed underlying data.

Then I did the same thing using GPT-4 and the results were significantly better, the explanations more insightful and nuanced.

I'll definitely continue using it to dump some pre-digested aggregates into a prompt and let GPT spitball ideas as a first-pass to get me thinking about different aspects of the problems I work on.
> Software engineers and the like are too-frequently technology fetishists that are like the proverbial guy who has a hammer and thinks everything is a nail.

Irrelevant even if true.

> Even if "innovative games with cool interfaces" is the right way to educate kids, which is very unlikely to be true,

Presumably baseless personal opinion offered without even attempting to provide support.

> those games aren't going to be spat out by ChatGPT.

This is just easily demonstrated to be false already.

> And if they can be spat out by ChatGPT, why even bother educating most of those kids at all?

Dramatic Irony
Whenever something amazing comes along there’s always people who want to devalue it for some reason. Maybe it makes the feel smart? Hard to know.
I think most people would answer with whatever color their local bears are and won't even know about the polar bear riddle.

> in the case of riddles, it doesn't matter that there are no trains in the Arctic in reality

That's quite the claim. Riddles aren't constrained to reality? Well then the polar bear one can be answerd with purple too.
Indeed, but they're saying it with no evidence whatsoever. If those jobs actually do get replaced by LLMs people will be entitled to say that with certainty. Until then it's just their opinion, and not one that aligns with what I know of any of the jobs I regularly come in contact with.
Llama.cpp 30B runs with only 6GB of RAM now
GPT may exhibit intelligence, but it has no statefulness, other than what little state is stored to maintain each individual conversation in ChatGPT. The model does not learn in real time from ongoing conversations (so far as we know), so it cannot, for instance, say anything about the chat it is having with your neighbor down the street. It literally can only generate from training that happened some time ago.

I think this statelessness is an important consideration in understanding whether GPT is intelligent in anything close to the way we understand intelligence. For instance, it cannot coordinate its own efforts across time.

There is some chance that it may intuit how to store its state externally and coordinate that state in other conversations it is having, but that seems very farfetched. I don’t expect SkyNet just yet.

But as for utility, it has that in spades!
https://twitter.com/Sandeeparuchuri/status/16419015979860172...

> Part of twitter's algo Jack Dorsey, Katy Perry, Stephen Curry and Barack Obama as “testing accounts” for getting random Tweets for testing
Twitter shows up next to "By" for me, but it took a few seconds to load in after the page itself. Maybe it's being blocked by a script/ad blocker in your end?
> they're just saying that most of the work out there is

And I stated that I cannot think of a human job in which intelligence is not required, which cannot be replaced by deterministic automation.
>How is the current system 'a mess'?
>It powers the whole world.

This is a sentence that could be said at any point in history, about any dominant "system", financial or otherwise.

How could slavery be a 'a mess'? It powers the whole world. How could feudalism be 'a mess'? It powers the whole world. How could nomadic hunter-gatherer tribes be 'a mess'? It powers the whole world.
You lost due to inflation.

Inflation mostly caused by thr central bank (effect of Ukraine war on food/oil is much smaller).

Meanwhile economy books claim that central banks are good. When they run insane policies that screw the the people..

Most central banks are so tertible that they make 2-3% inflation just for using cash. This hidden tax is incredible. Yet most fail to see that, apart from maybe cryptobros.
The PlanetScale GitHub Actions
My fps is massively worse in sim heavy games (stellaris, rimworld in particular) when running native linux ports. The only exceptions are Java games like Minecraft or Starsector.

Not sure about the Proton versions TBH...

Another issue I have in linux (even in Proton) is presentation smoothness, as Windows tricks like SpecialK or fast/enhanced sync are missing on linux.
I mean, I have tried GPT4. I don't think the "it's a parrot" argument means to dismiss benefits of GPT, but apparently the internet discussion has leant into those two warring camps.

It doesn't help me writing Unreal C++ code, though it's heavily documented online. It makes up functions that are not accessible from the namespace I'm using, cannot supply valid types to parameters and other basic errors like that.

I asked GPT4 to give me specific examples of the meaning of the word "silly" across the past 1000yrs. It gave me the authors and examples I was expecting to read, but the meanings were inaccurate and misleading.

If there's GPT Power I'm missing out on, please tell me where it is. It's probably my lack of skill, that the machine cannot give me an experience that would push me into the pro-GPT cheerleading camp.
> Right, my thinking here is that the dream of running away from the very society that granted you the freedom to run away seems like you're not "paying it forward" enough, to enable others to have the freedom you'd be taking advantage of.

I see it completely the opposite. If someone has already made all the millions they'll ever need, it's better for society to free up that job for someone else who needs the income instead of keeping amassing more and more millions to one single person. Paying it forward here is opening up the opportunity for the next person.
I thought it was interesting how it explicitly doesn't boost independents. So much of the two-party system is self-reinforcing.
True, though a lot of bigots and wannabe tough guys go about flexing on how well armed they are at either the individual or group level, while simultaneously insisting that the possibility of retaliation is the best deterrent. This sort of in-your-face gun advocacy/enthusiasm has become much more pronounced over the last 20 years, unfortunately.
We’re in a time where ideology trumps revenue for some companies. You know, “Get woke, go broke.”
I don't have any, I haven't thought about it enough. However, the reason I think it might be interesting is that checking if something is a correct solution is often easier than coming up with a correct solution for a lot of classes of problems (assuming P!=NP and all that).

And maybe you can't make a polynomial time verifier which works in the general case, but maybe you can make a useful one which handles a lot of cases.
People seem to be really confused between sentience and intelligence, when we don't actually have much reason to think those two are very related.

One can certainly imagine that a very very dumb creature is sentient, and imagine that a very very very intelligent mechanical process is not sentient. We truly do not know what consciousness is or how it arises.

We know that we have consciousness (or at least I know that I have consciousness) and we know that we have some degree of intelligence, but it's not at all clear that one comes from the other.
I just tried this small example right now as a test: https://i.imgur.com/p4s7HCU.png
What does Slevomat do differently, to generate repeat customers?
Who would have thought that the Turing test would devolve into two diametrically opposed camps writing extremely confident essays about how wrong the other side is to judge an AI as promising or not.
Misaligned incentives. A traditional furnace is a bunch of sheet metal, a burner, a fan, and a thermostat and that's it. Sold for thousands, it seems like enormous, criminal markup. Of course they'll keep selling that and price it less than heat pumps, which have an actual complex closed loop coolant system in addition to what a furnace has.
Janet has a lot in common with Lua: tables, coroutines, easy embedding, lots of API similarities. Compared to a language like Lua, Janet is bursting with "batteries". Almost to a Ruby level where whenever you think to do something, you check the docs and find yourself saying "of course there's a function for that". I have to disagree completely with your assessment.
It obviously goes both ways. Social media is a megaphone and ego boost for celebs.
You missed this in your rush to display your newly acquired sarcasm101 skills:

"Skim": To read quickly or cursorily, to glance over, or to omit details in order to get the gist of something.
Job? I'm not sure why we're talking about a job here, I'm not suggesting you stay at your employer beyond the time it takes to become independent.
Interesting argument, and definitely worth defending; an AI that's biased by design to remember and preserve the old world order's members rule and influence

Begs the question, why make it obvious?
Elizabeth Warren is Building an “Anti-Crypto Army”
Yea some do have this, just not common anymore. e.g. I want a GTI, but I really hate the lack of buttons. Even the steering wheel controls aren't physical buttons anymore.
It's gone from Italy.
Aside from the spam PRs, there is actually one PR that fixes a bug: https://github.com/twitter/the-algorithm/pull/242/files
Yea that sounds right. Thanks!
Completely anecdotal, but I know far more people owning the Nissan Leaf, and they're about as obsessive about their Leafs (Leaves?) as Tesla owners.
Wow that’s a lot of money. Did you have master’s/post doc degrees?
All vehicles.

Apple announced the total UI takeover option (though I’m not sure if it works today) but no car maker supports it on a shipping vehicle.

Many have announced interest but at this point we don’t know if it will ever be available, even if only on some kind of ultra-luxury car.
> A thermal power plant is ~50% efficient

For electricity alone, I'd want to add. With heat coupling and district heating, thermal power plants can reach ~90% efficiency.
What is terrifying about it? I'm a non-sentient human and have no problem with it.
It sounds like the author is part of a wonderful community.
Exactly. I don't see NPA (no party affiliation) anywhere.
I like the podcasting 2.0 ecosystem. With boosting and satoshi streaming. Cool usecases of the btc lightning network if you ask me.
I think we might be vastly overestimating what gpt is going to be capable of. Just like we did with self-driving.

Parrot might be harsh, but remeber this Star Wars quote:

Ability to speak doesn't make you intelligent.
> having been forced to spend 478k for my education

Go on...
Agda does too! https://plfa.github.io/ for examples
google analytics has been deemed illegal by several EU countries, both the data regulators but also courts.

whats happening? where is the EU fining companies and users(companies) left and right?

the safe harbour/privacy shield agreements were invalidated by EU courts, yet data transfer happens in amounts that are unchanged, where is EU? nothing has changed. the EU ignores everything here because they dare not do anything to upset these US megacompanies. Sure, a fine here and there, doesnt change anything.

show me how im wrong?
The math of heating is different from turning a motor though.

All energy use ultimately becomes heat. You can burn it directly, then 1J of fuel becomes 1J of heat. Or you can turn it to electricity and use that to locally decrease entropy.

If you mine bitcoin with the electricity, then 1J of fuel becomes 0.5J (approximately, of course) of waste heat in the power plant and 0.5J of waste heat in your GPU.

If you use the electricity in a heat pump, then then 1J of fuel becomes 0.5J of waste heat in the power plant, 0.5J of heating in your house. AND 1.5J of heat is moved from air outside.
Yep, the youtube video at 21:25 contains a screenshot of UK electricity generation mix over a 4 week period in 2020, which was 0.3% coal.
The big question - where will they be a year from now? Savings gone, "stealth startups" mostly failed, and the US deeper into a recession.
WebGPU is going to be a major component in this. Modern GPU's prevalent in mobile devices, desktops and laptops, is more than enough to do all of this client side.
Stochastic Parrot == Philosophical Zombie

Same concept, same difference.
Why the focus on coal? California as a whole only sourced 3% of its energy from coal in 2021, and some regions were at 0%. It only made up 20% of the entire US' consumption in 2022

https://www.eia.gov/tools/faqs/faq.php?id=427&t=3
Nor does the majority of data we have support their conclusion. As you have alluded to, conservative areas tend to have shorter lifespans when compared to population-dense places, because of issues affecting health. Poverty, age, distance to hospital, all of these things drag down their average.
Really? Kids can get Porn Magazines and Novels where you are? Controling if material is suitable is dystopian for you?
Postgres is powerful. I've implemented graph DB, mapreduce, huge sparse matrix math (which was cool), and ofc a KV store with it. With actual performance benefits over the alternatives. It's not very ergonomic for those, but it works.

That said, I've had so many jobs where the team decides to fit our whole data model into a fully recursive graph, and it's been a huge mistake every time regardless of whether they use Postgres or a dedicated graph DB. Just because you can do it (you always can!) doesn't mean you should. Start with just a traditional n-hierarchy schema and only look at modeling things as a graph if you're sure it's necessary. Usually it's not. Sometimes you'll have a mostly non-graph schema with a couple of graph tables for the things that really need that.
All the recommendations you've given would be ineffective, and would actually hurt their cause more than it helps.

It would allow people like you to then point at them and say "Look how crazy this group is, that is doing all these crazy things!"

Government regulation, through the normal civic process, would be by far the most effective way to bring about the changes that these groups want.

Doing crazy things is actually worse than doing nothing, due to the actions illegitimizing the cause.
Sad but true; these days you read so many news stories that you first think are satire, but turn out to be true, that sarcastic comments are increasingly difficult to recognize as such without the appropriate notice.
We’ve achieved recursion.

Edit: how can something be “technically” true if the word has no definition?
Apparently it’s for analytics