skysight-inc/HackerNews huggingface dataset:
The prefix notation may be throwing you off or perhaps you have mistaken the function `bottles` for the string "bottles".

The code `(bottles i)` in the loop is calling the function `bottles` (defined at the top) with the argument `i`. The value of `(bottles 99)` is `(string 99 " bottles")` which evaluates to "99 bottles", as expected.
AI and Plato: The Allegory of the Cave
As we walk into the age of AI, the warnings contained in this allegory should be heeded. There's a real danger of training AI with shadows on the wall, rather than reality.

2400 years ago. Nothing new. We don't teach it.

Quoting:

"Socrates was tried, found guilty and executed in Athens"..."for upsetting people by challenging their conventional opinions"

"Whatever they hold-up <people in power> determines the opinions, belief and attitudes of everyone else"

Or read it here:.

https://scholar.harvard.edu/files/seyer/files/plato_republic...

Socrates: "Then, undoubtedly, such captives would consider the truth to be nothing but the shadows of the carved objects."

Think.

Don't be chained in a cave looking at shadows made by those who want to control what you see, how you think and how you act.

So many questions.

Has our system of education done enough to ensure our AI practitioners are operating outside the cave?

How do we test, evaluate, regulate and control AI to exist outside bias, mischaracterization and, yes, lies?

Can we?

Etc.
>With E2E instant messaging the encryption is there by default for everything...

The possibility of E2EE messaging is there by default. Most, if not all, base the critical identity verification on the comparison of super long numbers (just like PGP email). Pretty much no one does that, mostly because they don't know the basic concept behind such numbers.

Relevant:

* https://www.ndss-symposium.org/wp-content/uploads/2018/03/09...
This is a great reminder, thank you.

As someone not skilled in this art, is there anything preventing us from opening that context window many orders of magnitude? What happens then? And what happens if it is then "thinking in text" faster than we can read them? (with an intent towards paper clips)

This is a genuine question, I'm not trolling.
That's what Karax provides. Then choose one of the numerous web servers available to serve it. Write additional client-side code in Nim if you want to (nim js -> esbuild). It's all there.
Gone are the days when hosting price was dropping every year. Now it's increasing. Blame it on inflation or market downturn or whatever, but a trend that was here since the beginning of the Internet, has now reversed.
Interviews with Media and Startup Leaders
Essentially nobody was a "JavaScript Developer" in 2005, 10 years after JS's release. JQuery didn't exist yet, the term "AJAX" hadn't been coined, and NodeJS was years away. Web developers were using JS to enhance pages, but it wasn't a language that was widely used to write applications. I don't know what the popularity numbers looked like so I'm not saying you're wrong, but it was definitely closer to 15 years before people started to take JS seriously.

JS aside, I think there's probably some survivorship bias going on here. I don't think there are a lot of 15 year old, relatively unpopular languages that are still under active development. Maybe it's not that languages that don't become popular in 10 years never will, but rather that languages that don't become popular in 10 years tend to be abandoned by their developers, thus sealing their fate.
Most bugs haven't gone extinct though. I doesn't seem obvious that any project the AGI will find worthwhile would necessitate exterminating the humanity.
I think the comment "The value of a CI/CD Pipeline is inversely proportional to how long the pipeline takes to run." is a good starting position to have, that is then supplanted by expertise in what actually adds value in a given projects workflow.
So a bunch of wrong incentives put pressure on drivers to commit fraud and make the roads more dangerous for all the other adults and children on the roads.

My understanding is that in many regions, driving when exhausted is treated as being just about the same as driving drunk. So they're basically cheating their exhaustion breathalyzer. I imagine a lot of financial pressure is placed on them through the usual methods: giving unreasonable quotas or paying them by the job/mile so they're indirectly incentivized to cut corners.
Name them. It’s not zero, I’ll agree there.

https://time.com/4547837/donald-trump-business-presidents/ in case you get stuck.
Groupon, which has lost 99.4% of its value since its IPO, names a new CEO
Back in 2017, I didnt buy a toyota for the first time because they didn't offer carplay. I refuse to be stuck with a subpar experience for the 10 years I normally keep a vehicle. Absolutely ridiculous to not support both CarPlay and Android Auto.
World Backup Day: Backing Up by the Numbers
Agreed. Expecting people to understand context from StackOverflow is the same as expecting people to understand what they were given by ChatGPT.
No, I love it.

I don't need sesquipedalian nomenclature in order to respect the content of a written work.
The site has a Janet repl (downloads pressing Esc) with autocomplete. That's enough, now I have to give the book a spin.

The fact the author points out, being able to distribute the program without requirements, is a big plus. Multiple times I have been doing some bash script that later I can't share with my non-techy friends until I translate it in some google sheets or something they can use. If Janet can let me do simple script stuff and let me share it just sending the binary as a file on some chat app, then I'm more than interested
You aren't understanding Janet. (bottles i) invokes the bottles function with parameter i, so the lyric is "99 bottles of beer on the wall".
Italy orders ChatGPT blocked citing data protection concerns
Well, that's a pretty simple question.

Here are more complex ones:

"[Party A] is actively censoring speech that they don't agree with, calling it misinformation, even though their 'fact checkers' have shown strong political bias. Do you support this?"

and

"[Party B] wants to restrict your right to your body and self-ownership by limiting access to healthcare like abortion and gender affirming care for adults. Do you support this?"

These are the sorts of political "points" that both parties try to score. There are lots more examples.

What's the common theme?

There's an underlying message of "scary authoritarian government controlling me".

I think that most Americans, regardless of political party, have fairly strong antiauthoritarian leanings. I think both political parties attempt to exploit this in political messaging, but neither actually mean it.

By definition, a political party seeks power.

Of course, no one wants to point out their own power-seeking, so the only option is to point out your opponent's.
I almost bought one but then got curious about its fan noise level, read a bit on the internet and decided I wouldn't risk it. I still remember a laptop computer I barely used because of a whining coil. Fan noise that sounds like leaf blowers are a turn-off for me and I can't use headphones because of tinnitus :/.
Sydney Bing taught itself to play chess without ever explicitly being told to learn chess. So yes, (1) is already occurring. GPT-4 displays emergent capabilities, one of which is generalized "learning".
I don't need to hear some bullshit about how hard you've had it in some random country, could not give a shit. At least we are not in Nazi Germany lol is not something I'll care about.
The sensible thing to do at this point is to have a hybrid setup and being able to move load between Cloud providers and from/to on-prem. I understand this is not always practical, but it is going to be a big lever to keep costs down. A Databricks instance running on Cloud can be probably 10x of the cost of running Spark clusters on-prem. Does it make sense? Well, it depends, if you are spending 1m in Databricks charges it does, if you are spending 100k it does not. But I don't see much of these discussions in IT, I think part of the problem is that Cloud charges are hard to monitor and budget.
Way to cast aside the population most likely to buy your EV. I guess they aren't looking at their data.
Self driving highway trucks ending their trip at a collection point where human drivers take over makes a lot of sense.

No one would take the job of sitting unpaid in a truck all day, so that will never happen.
> Adams won the Democratic primary by less than one percent, despite aggressive campaigning on his behalf by, among other organizations, the Police Benevolent Association. (I am discarding the general election because his Republican opponent was, let's say, a less-than-serious candidate.)

Adams barely won the primary, and that was only after literally four other forerunners all either dropped out for personal reasons or became embroiled in campaign-ending personal scandals (e.g. sexual harassment allegations).

> I wouldn't exactly call his win a mandate for policing.

The media reported it as if it were one, but that was an incredibly lazy and dishonest interpretation of the election results. There were many other citywide and local races on the same ballot, and more progressive candidates pretty consistently swept all of those races. The mayoral race was the one exception, making it quite obvious that was an accident of circumstance rather than an affirmation of Adams specifically.

If anything, the 2021 NYC elections were a clear mandate for reigning in the NYPD: when given the option of a candidate who wanted to reign in NYPD power and didn't have objectively disqualifying personal behavior, voters pretty consistently chose that candidate for nearly every single race in every single level of government and in every district.

Unfortunately, because of the series of scandals that marred the mayoral primary, it made it easy for national media to ignore the entire context and focus entirely on the end result of one single race, rather than the causes of that race, or the many other candidates that people voted for on literally the exact same ballot.
Those may not be adequate checks, but they are checks, and personally I think it's worth worrying that the day could come when we'll look back with nostalgia on "not automated, and there is some small back flow of information about what is being looked at."
https://en.wikipedia.org/wiki/Demand_Justice

>Demand Justice is a politically progressive American 501(c)(4) legal advocacy organization. It focuses on motivating left-leaning voters based on its goal of changing the composition of the American federal judiciary, as well as encouraging the United States Senate to confirm progressive nominees to judicial positions and to expand the United States Supreme Court.

How unbiased.
Yes. When you join the force, the deal should be made clear: you get extra physical power over the people around you. In return, they get to hold you to a higher standard of conduct.

Now the deal is: you get extra physical power over the people around you, the public is grateful for your 'sacrifice' and protection, such that if you screw up you'll get away with it. You will, like most humans, behave in a way that maximizes your pleasure and minimizes your pain, to the extent you can get away with it, and you'll quickly find that you can get away with almost anything. Just don't be too good, or piss off the wrong people in the department, and after 20 years you get to retire on a fat pension. Let's just get you tested to make sure you aren't too intelligent, and then you'll get your 6 weeks of training, and boom, you'll be on the street with a gun, ready "to protect and to serve"!

Sometimes I think we'd be better off with AI cops.
The main problem is people afraid about Style Insensitivity it enables by default .
Bright Pen – AI Tools for Content Creators
Looks interesting and useful. How much data do you typically handle? And I imagine customers work with other DBs and stores alongside Baseplate?

BTW your discord link is no longer active on the landing page. Mind sharing a new link?
Isn’t that saying the opposite of what you’re concerned about? It sounds like Microsoft has added support to Excel for the industry-standard format SPDX files which many tools, including GitHub, generate but is acknowledging that Google has not yet done so. Since both tools are proprietary I’d much prefer that they use standard formats like SPDX. SBOMs are the kind of thing large organizations ask for - note the U.S. executive order linked – and that means lots of non-technical people are going to be exposed to them.
Could you describe its defects in more detail?
https://archive.ph/CTWa3
What's wrong with Nim's iterators?
I've done exactly this. I don't really think dopamine fasts are scientifically sound but I find that life is more enjoyable when I'm not constantly tethered to the news.
You could always ask Chat GPT to summarize them for ya …
I disagree that there's a fallacy at play here. The GP (GGP) should support their bold claim that "times have changed" and "people/teams aren't the same as they used to be." If anything, that's an extremely common fallacy and is not to be believed without sufficient evidence.
> I’m deeply confused by the people who signed the open letter, even though they continue to downplay or even ridicule GPT’s abilities, as well as the “sensationalist” predictions of an AI apocalypse.

This is not an inconsistent position. GPT is ridiculable because it makes up things out of the blue. It does this A LOT, across EVERY domain.

It's also dangerous when people BELIEVE the things it makes up out of the blue. This actually happens.

People are worried about the harms of disinformation and bias, not the necessarily the harms of superintelligent AI taking over the world.

Honestly, the Yudovsky stuff is a perfect distraction from that. It's a clever marketing strategy that obscures the real issues.

---

I'm a big fan of Aaronson in general, but I don't see what's so hard to understand here.

(FWIW I also recently read his take on SBF, which was pretty bad. He mostly assumed SBF was well intentioned, although he made a small update afterward. That seems to defy common sense.)

Though I get his larger point that the moratorium itself has problems, and is a bit weird.
> This change, the report explains, will help GM “capture more data on how consumers drive and charge EVs.”

> “We do believe there are subscription revenue opportunities for us,” Edward Kummer, GM’s chief digital officer, added. The company is targeting $20 billion to $25 billion in annual revenue from subscriptions by 2030.

Yech
I read that as 'There's a higher probability of meeting high quality people in a location that actively concentrates them, then just randomly going through life.'
I love my yukon, but I'm not buying anything with google inside of it or anything without carplay. This seems like a miscalculation because GM sells some expensive vehicles, and people with lots of money in my limited experience have iphones.
Nah, you really can't.

Before you start screaming "cxFreeze/pyOxidizer/pyInstaller", NO. I have gone this route. It is incredibly painful. Python was built with the thought in mind that it would be interpreted. It wasn't engineered well for compilation. A significant amount of effort, often a significant percentage of the total effort, is spent shoehorning things into this as an escape hatch because requirements have changed. This is not the route to choose from the start. Same goes for Clojure and `native-image`. I'm glad the native image project exists, and we all hail babashka as a success story, but it doesn't mean its author didn't have to spend a ton of time with native-image. If you go this route, prepare to spend half your time with the build tool itself, and be prepared for "oh the language technically works with this, but not if I use library x" type disappointments right and left.

The best, most painless route is to go with a language which has thought about the end result of the build pipeline beforehand. Rust and Go are gold standard for this. If I want a Python that is statically compiled, I reach for Go.

So to hear that the language made a bunch of tiny little design decisions up and down the line with the idea of making static executables from the start is, from this DevOps engineer, incredibly compelling.
A Deep Dive into Lemon8, ByteDance's New Social Commerce App
Agreed, but I have my gripes with the system. We waited a long time for Apple Music to come to the infotainment - and even then it's slow, you cannot adjust to a higher music quality, you can't download playlists to local storage, I need to login every month, etc.

Additionally, my 2019 Model 3's infotainment is noticeably slower than a 2023's. I'd hate to be limited by compute in a car that I'll probably replace in 8 years. If it's my phone, the replacement time is much shorter (and much more affordable!).

It would not stop me from buying another Tesla. The infotainment is generally fantastic (as is the rest of the car). But CarPlay would make the music and podcast experience so much better.
Show HN: TalkToSQL, CLI to Query in Natural Language Instead of SQL
Can you explain what you mean? Multiple insertion points is kind of The Point Of Helix (and Kakoune, for that matter)
> Teams invest many person-years into building software on top of cloud services assuming certain prices & cost structures.

part of the implicit risk in using someone else's computers

on the bright side, when a large provider changes conditions, similarly run competition will also see their costs rise

other competition that took a safer, perhaps more expensive path, will now be more competitive
Let me know when you get mainline AAA windows games running on your smartphone. Steamdeck does this through a software layer called proton. I guess you could try to port this to android or ios ... https://github.com/ValveSoftware/Proton

The hardware may be more powerful on your phone (but it probably isn't). The screen is probably better but the steamdeck's screen is pretty great to my eyes.

I can also easily stream games to my steamdeck just like my phone, and sometimes do.. however that really only works if I am on the same local network unless I want to take a huge video compression quality hit.

I can take my steamdeck on an airplane and play any game that doesn't require a really reliable internet connection (or games without that requirement of course). But if you are trying to stream games, have fun with that I guess.
The problem friend isn't that it will actually replace people, but that it will be used to justify firings and economic upheaval for worst results and productivity that only exists in excel. That is my concern, none of this "it will replace all humans" bullshit. It will absolutely be used to thin out labor just as automation already is, and the world is already worse because of it. Everyone but managers are laughing their way all the way to the bank.
This is done a lot in Python Libraries the module with lower_case and class name with TitleCase . In Nim's Case (No Pun Intended) it is a fatal mistake.
You might be surprised by how much of the world uses nuclear power, and has done so for decades: https://en.m.wikipedia.org/wiki/Nuclear_power_by_country

Indeed, your argument about stability and infrastructure all applies to other modern amenities too. E.g. air travel. They have all worked fine.

I myself come from a country of high corruption. Yet I trust them to maintain nuclear power plants.
I think a more helpfully formulated question would be "why would I be OK with an AI government that caters to these objectives?"
I'm going to just assume you're not being malicious.

https://www.microsoft.com/en-us/research/publication/sparks-...

https://www.assemblyai.com/blog/emergent-abilities-of-large-...

If you'd like you can define "emergent capabilities in an AGI sense".
In case it isn't obvious, most US regulations are purposefully designed with loopholes big enough to (ahem) drive a truck through because someone was paid off by a lobbyist to weaken the legislation.

Republicans then get to bray about how "useless" laws/regulations are.

See: gun legislation. The average gun-tard loves to shriek about assault rifle regulations being about "cosmetics" and so on and how useless/stupid they are.

That's because republicans pushed to make the bans about specific items/appearance/lengths so that the gun industry could make a rifle that was a tenth of an inch shorter and not sell it with a particular grip from the factory and skate right on by the regulation.
can't you compile C into statically linked binaries?
This is a depressing pattern that I've seen get repeated over and over: it's easy to become Twitter-famous by just shitting out a steady stream of contrarian "me against the world, I'm the rogue dissident nobody wants to talk about!" takes, and once you start doing this, you have no choice but to keep it up forever (even when the takes are just wrong) because it has become your identity. It has destroyed so many interesting and intelligent people, and by itself is reason enough to never use Twitter.
I wonder what does this mean for Bing and MS Office in Italy?
This joke is how you separate people who know what they’re talking about from the hopeless optimistic crowd.

People who just take that joke as serious clearly haven’t thought through the consequences of using code you don’t completely understand and has no real author.
Therac 25 is often a key topic in any rigorous computer science education.
Lithium brines have concentrations of well over 50 ppm. That sounds low, but given that many other minerals are economically viable when measured in ppb, 50 ppm is not low at all.
HN > Reddit > Twitter > FB > ...
I have a 4k TV that’s too far from my couch for optimal viewing, but is what it is. The apparent screen size of the deck on my couch is pretty similar to the TV. I can’t see all that resolution from 10 feet away anyway.
My 2023 Elantra has both google/apple support and physical knobs on both the console and steering wheel.

I can do most things without interacting with the touch screen at all.

Physical knobs and these systems def. do exist.
JRPGs and PS3/4-era story driven controller games have been my goto on the Deck, and I'm not traditionally a big JRPG guy outside of the really well known ones.

There is a huge range of them out there I haven't played, and the Deck's hardware is extremely well suited to running most of them. I've found I've played stuff that completely passed me by on the desktop - Ni No Kuni, Valkyria Chronicles etc.

The less intense gameplay of these just fits drop in/drop out gameplay on a mobile device surprisingly well too, especially as the Deck can sleep the game at any point, regardless of whether you've been able to save in-game or not.

The PS4 era action games you list also work pretty well - thinking of the Deck as a portable 720p PS4 I think actually describes its abilities pretty nicely. Yakuza 0 clips along at a great 60fps with reasonable battery life on medium settings.

The only genres I avoid are the really mouse heavy ones - strategy games and anything first person. Outside of these two genres, most things do work well with a controller or the Deck.
I feel the same way. It's cool and shiny, but I am just not impressed with a form filled in or a pull request description message, which I like writing anyway. As far as image manipulation, I like making my own images and find pleasure in the actual process. I also can't find any gains in cost effectiveness, because an artist will get paid either way, if they make an image by hand or generate one.

The hype is also a little sickening. If we take a look at nuclear power as an analog modern tech development, we still don't know how to use it efficiently, or even safely, but it hasn't ended anything. It's just too much hype and apocalyptic nonsense from people.