skysight-inc/HackerNews huggingface dataset:
Appreciate the thinking and tinkering. Xr0 has a long way ahead of it before we have a fully-consistent, reliable syntax and set of axioms. For one thing, we delayed implementing the dereference operator `*p` because we were focused on getting our basic model to work with loops (which led us to focus on the array-indexing syntax, e.g. `p[0]`). The below works, but I note that quite a few meaningless or incorrect permutations of the abstract work (and shouldn't).

#include <stdlib.h>

foo(void **pp) [ .alloc pp[0]; ] {
void *q;

q = malloc(4);
pp[0] = q;
}
Yeah, don't understand why they chose this title for the submission.
Customs and Border Protection Says It Will Stop Buying Smartphone Location Data
Too high or too low?

If the scale is A-F, that would put ground beef at about average which seems about right. Its a great source of protein and a good source of some vitamins and minerals, but is high in saturated fat and has a low amount of other vitamins and minerals.
Which is discussed in the Google talk associated with the OP project here:

https://youtu.be/4JuoOaL11bw?si=do1qet5Kq_WErQgz&t=162
I've seen the northern lights once before with my own eyes and no you cannot mistake them for "clouds" or "city lights". You unfortunately probably saw a very faint version, probably low to the horizon.

And no I wasn't even in the far north. It was during a solar storm and I was in my own backyard in southern Michigan.
Warfarin is a particularly good example of the dose making the poison, as it is both a rat poison and a common prescription medication for people who are at risk of blood clots. An anticoagulant can be a useful medication, but taking too much is dangerous.
I don't think. Probably some times they are a little bit dramatic. But you are still free to make your own opinion.
At least for one category of products, they use the same elements for comparison.
As a teenager, I loved solving Nonograms in puzzle magazines on train rides or when I was bored, they are the perfect time killer. Somehow I forgot about them but recently rediscovered them through a Twitter post, which was a real pleasure.

The linked website seems to be very nice, especially since there is a community aspect to it, where people can send in their own puzzles (it seems like).

My recent goto app for Nonograms is https://nonograms-katana.com , which works great on browsers and mobile alike with lots of well thought-out features (e.g. it asks you if you want cells automatically crossed out if a line is complete) and beautiful artwork, good interaction, etc.
"HyperTalk was both limited and limiting, as most came to discover"

People did amazing things with hypercard. Anyone that says this probably wasn't there or wasn't paying attention. I knew people who put whole museum collections, including audio, into kiosk-like stacks.

The problem with hypercard became complexity and geography: at some point you couldn't find anything and changes were impossible to control.

The thing is, that's the same problem people have today. Visual basic had the same essential problems.

In fact, you can argue that programs like Object Master and the Think! Series were the genesis of today's IDEs (even though OM was based on the smalltalk object viewer from what i remember). Back then programmers mocked IDEs.
The biggest advantage I found when learning on DOS and Windows in the 1990s was the overall lack of distractions. No smart phone, YouTube, Reddit/HackerNews let me fully concentrate.
We've already established that fish are animals ad nauseam... technically that is correct. Perhaps you don't read the other comments before commenting? What people like you don't seem to get is that I'm talking about everyday language between friends. You don't seem like a moron, so I'm going to assume you are trolling
"In an eighteen-month period in 1971 and ’72, the FBI counted an astounding (and almost entirely forgotten) 2,500 domestic bombings: roughly five a day."

SF author John Brunner had a contemporaneous story, reflecting that, titled The Inception of the Epoch of Mrs. Bedonebyasyoudid (https://isfdb.org/cgi-bin/title.cgi?66700 ). The name seems to come from an 1863 English book (https://en.wikipedia.org/wiki/The_Water-Babies,_A_Fairy_Tale... )
1975: VM/370 CMS demo [video]
Go and look how many vitamins and nutrients are lost making white grains and how much the glycemic index rises.

It matters a lot, especially if it's a main part of your diet.
I posted the table that literally said exactly OPs comment. It clear you commented without reading, which violates the good-faith covenant of this website.
On the contrary, it's much better to have very clear text, otherwise it will turn against the citizen.

Imagine that you have an income tax where "income" isn't clearly defined. Someone will end up with an audit and a lawsuit from the tax office because their definition will be, of course, extensive (every income, including non-realized capital gains) whereas most citizens would only consider salaries.

In the end, you create legal uncertainty, and give courts way too much power.

For the record, I used to work for my country's government, and had to evaluate some laws in making that were written in an abstruse way. When I asked why, the civil servant told me that it was so "they could pick the most favorable meaning in the case of a lawsuit".
The catalog of legit movies on there is worse than the bargain bin of a long-closed, backwater Blockbuster.
I posted the table that literally said exactly OPs comment. I have little patience for people that can’t be bothered to read yet still voice their opinions. They do not belong here.
Is it legit profits?

Iirc Uber had some creative accounting practices in the past offsetting loses from one quarter to another, and making a single quarter look good.
I’m not sure I follow. You’re asking them how they know their own impression of something?
It costs 979€ in my country, which is approximately 1040$
Would be so funny if all the compute moves from AI to finding loopholes in the programmatically defined law.
I am fully aware that my MacBook Pro is overall faster at compiling code than my Commodore 64 was ever capable of. I am also aware that getting a keystroke from a polled USB keyboard up through the many layers and context switches to get it to a screen takes more time than it took a much older system.
It sounds like a reference to “Merlin and the dragons” - I don’t know whether it’s canon or apocryphal, but young Merlin (then called Emrys) has his village invaded by a warlord, who intends builds a battle tower on a nearby mountain. Uther Pendragon eventually shows up to save the day.

I remember my mom reading it to me when I was a kid - and the story itself was framed as Merlin telling Arthur himself a bedtime story when he was a newly-crowned king.
I would say that criticizing the documentation is distinct from criticizing the language itself. The Python standard library has had documentation problems for a while now, but realistically so does pretty much every other programming language. If you want to learn how to do things, you need a book.

If you're still interested in the topic, async/await is intended to be single threaded by default, but has some support for pushing jobs off to threads or processes, using a concurrent.futures Executor internally. Normally if I want process parallelism however, I don't bother with async/await and I go for the more explicit solution.

Again, I think there is a very clear sense of the one obvious way to do it in the minds of many python programmers, but it might not be expressed well in the official documentation. This would be a great opportunity to write a book, for example.
The problem is turning aluminum oxide back into aluminum. Right now, that involves CO₂ emissions.
> Because at work I’m typing the same bland things all the time in documents and communications.

This problem can be solved without text prediction by building a personal knowledge base with hyperlinking[0] and backlinking[1] for discovery, and transclusion[2] for automating writing the same bland things. How I org in 2023 by Nick Anderson[3] goes over a great workflow for this. The advantage of this is that all of the words that you share are actually words that you wrote, instead of sharing words that Google suggested you share.

[0] https://en.wikipedia.org/wiki/Hyperlink
[1] https://en.wikipedia.org/wiki/Backlink
[2] https://en.wikipedia.org/wiki/Transclusion
[3] https://cmdln.org/2023/03/25/how-i-org-in-2023/
Creating apps -- native or otherwise -- has never been easier, so I think we're doing pretty well there. Devices are indeed locked down but I would guess that most people, even programmers, don't care as long as they can create most of the user interfaces they can imagine.
I didn't know "chillax" was a word, especially one that would auto correct "chill".

So from the authors comments, I take it I am a rare minority in that all my texts are in full, grammatically correct sentences, with proper punctuation?
I agree. The idea of logically representing law isn't the same as replacing law with computers. That's why I even posted this.
Software-interface contracts generally aren’t (cf. Design by Contract). The parent is correct insofar as the use of the word “contract” is not limited to contracts as defined by law.
Indeed. As I pointed out, they are faster at compiling code and slower at processing keystrokes.
If you think it is worth making a web site for I think it is worth making an npm package for.
I would be super interested to hear some inside perspective on how twitter is doing (also just from people using the platform a lot). My own predictions on how twitter would fare were apparently quite wrong, around a year ago I was suggesting that twitter would lose a lot of the "woke" crowd, as well as academia, but both are still engaging in seemingly the same numbers. I also predicted more and more tech debt would become visible as they lost so many core developers, but overall it seems the platform is still quite stable.
Something as simple as adding integers is tricky due to its implicitness. Due to promotion, the following code works on some platforms but is verboten on others:

int16_t a = 20000;
int16_t b = a + a;

But even ignoring size, it can bite you:

unsigned int c = 1;
signed int d = -2;
if(c + d > 0)
puts("1 + -2 > 0");

That code prints because of balancing: The signed value gets cast to an unsized int, which can't hold the value.

For not directly integer related semantics, creating an out-of-bounds pointer is UB, unless it points to one past the end of the object, in which case you can create the pointer but can't read from it. And if an object's lifetime has ended, pointers to it aren't valid anymore even if you don't even read from it:

void *foo_1 = malloc(1);
free(foo_1);
void *foo_2 = malloc(1);
printf("Checking for same allocatoin: %d", foo_1 == foo_2);

If you go by the standard, strictly speaking this is UB:

#include <stdio.h>
int main(void) {
puts("Hello World);
}

But don't worry, real compilers will refuse to compile this. Most don't follow the standard anyways, because they don't treat writing to a memory location as side effect.

A large source of gotchas in C are the standard libraries. For example here's a taste of the trouble its locales cause:
https://github.com/mpv-player/mpv/commit/1e70e82baa9193f6f02...
Law is like computer code, if:

- your compiler was AI-complete and adversarial and hated you

- your compiler was also not bound by any hard rules and could emit undefined behavior at any time

- your job scheduling and orchestration system was AI-complete and adversarial and actively hated you

- your runtime library had 50 different incompatible canonical implementations and can only be run by being forked by publicly-elected officials who blindly merge patches from bad-faith lobbyists

- the documentation for any of those 50 runtime libraries is paywalled per page behind https://pacer.uscourts.gov/pacer-pricing-how-fees-work if you're lucky

- the IDE is Microsoft Word, and the linter is a summer associate on their tenth cup of coffee

- you will inevitably get a non-technical client who thinks that the more times you have "notwithstanding the foregoing" in your code the more you can call yourself Web Scale
Our moral systems aren't going to line up to the point I can deliver an answer that will satisfy you. The only moral tactic is pacifistic opting-out. Most activists are as evil as the people they are fighting.
A fundamental issue is overlooked here. The US was established as a free market country. People of all backgrounds thrive in a free market economy. The proof of that is many countries have switched to free markets, and promptly started thriving.

Countries with unfree economies, like South American ones, do poorly. Chile seems to go back and forth between free markets and socialism, with the consequential ups and downs of its economy.
A set is a collection of objects in which order has no significance, and multiplicity is generally also ignored. Observing the code alone, it isn't obvious that two FileInfo instances having the same path are themselves not equal. As has been mentioned elsewhere, FileInfo should not be hashable to prevent declaring it as a Set, avoiding the situation entirely.

C# isn't flawless. Java isn't flawless.
The reason why it isn't useful to ascribe intentions without a mechanistic explanation of intentionality is because you will incorrectly predict what the model will do in surprising ways.

I think it's true that current generation LLMs could, in principle, have intentionality in the way described in the article. But they would have to be trained on many orders of magnitude more data than current models.

Also AutoGPT does not work. I encourage the author to play around with it and try to get it to do something useful with high success probability.
When they started doing these tournaments over a decade ago, esports LAN tournaments was barely an industry, and crowds were small. Also, MOBAs are unlike many other esport genres [1], in that the two teams have partial information about the state of the game, and illegally getting information a few seconds early can change the entire outcome of the game [2].

Meaning there was no one in the world who really knew how to build such booths. Moreover, they discovered required features of the booths over the years. In such a scenario, the early mistakes are very understandable.

[1] Think Street Fighter, or FIFA

[2] I don't think games like Starcraft has such low time tolerances on information flow. Even cheers in Dota can be enough of a clue.
From https://en.wikipedia.org/wiki/Copyright_law_of_the_United_St...

> United States copyright law traces its lineage back to the British Statute of Anne, which influenced the first U.S. federal copyright law, the Copyright Act of 1790. The length of copyright established by the Founding Fathers was 14 years, plus the ability to renew it one time, for 14 more. 40 years later, the initial term was changed to 28 years.

and

> The goal of copyright law, as set forth in the Copyright Clause of the US Constitution, is "to promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries." This includes incentivizing the creation of art, literature, architecture, music, and other works of authorship. As with many legal doctrines, the effectiveness of copyright law in achieving its stated purpose is a matter of debate
In Risky Hunt for Secrets, U.S. and China Expand Global Spy Operations
Their first product was a programming language for a hobbyist computer.
If they didn't have hidden 1st party api stuff that 3rd parties have difficulty leveraging this moniker would feel more useful/relevant, IMO. In the current context they use these labels to protect their workflow from other entities.
He's analyzing what looks good in marketing copy.
Oh wow same. The sidebar needs to collapse to a top bar and get out of the way of the content - which needs a sane right margin value.
I'm not suggesting changing it, I'm trying to understand how it could possibly have been this way in the first place
The article comes of as a bit... Fluffy. But it's psychology after all, so maybe that would be expected.

But I wonder. From the article:

>The foreign language effect does not depend on the particular features of the language that someone speaks; instead, it is concerned with the general experience of moving from a first to a second language.

It feels so weird to me. It feels so weird that according to this, (own example) a Swedish person that learned Norwegian would have similar effect as someone that learned say, Japanese. The latter just so happens to be me. (native in both)

But Norwegian(bokmål) and Swedish(rikssvenska) is so similar that I can hardly believe any "learning a second language" effect occur. If it does, I think claiming that a deep-Texan learning British cockney/posh accent, or Scottish accent, also have the effect mentioned.

Certain languages are just so similar that there's just major overlap. While with others, there's just expressions that is impossible to convey. But here somehow national border based categorization of languages seems to be enough to show the effect?

I can't help but question if this is just one of the psychology bogus like the "decision fatigue" that had ample evidence until it was almost completely disproven.
Can AI Assistance with ChatGPT Enhance Efficient Software Testing Automation?
You get to avoid pin until you can’t, and then it’s because of some terribly unintuitive advanced usage corner case.

For instance, the async_stream crate would be much nicer if you didn’t need to pun_mut! the stream instances it provides:

https://docs.rs/async-stream/latest/async_stream/
I think having a "linter" for laws can be beneficial. It can help producing laws that are easier to read and understand.

Having a "compiler" for laws can help identifying conflicts between different codes of law. e.g.: Imagine having a compiler error when a law is unconstitutional from a logical standpoint.

But verifying the "business logic" (e.g.: what is the spirit or intent of the law?) of the law will remain a human intelligence task.
I'm genuinely concerned about the WebGPU attack vector. The possibilities are exciting, but we (everyone) has virtually no experience with securing them (compared to decades of securing x86 - which we still can't pull off). My biggest concern is fingerprinting.
You should not be eating the same whole grain (or any food for that matter) all of the time exactly because each food has its pros and cons (the cons are vastly outnumbered by the pros if you eat the good foods though)

Every dietitian tells you to vary your diet as much as possible. Your reply is moot because you are blindly considering 1 argument at a time while the guidelines paint a whole picture
Everyone's teeth are a little too perfect
*author's
Great question. A legend or brief description of the underlying logic / heuristic would be helpful.
"haha! actually, if you give it this input, the program crashes! i can finally steal pillows from the bookstore!"
Like I said, that research is already publicly funded, and even if it wasn't it's always worth it to make sure people live longer as a country because more people means more resources to accomplish stuff with.
https://archive.ph/rlTnH
Hungry Cat Nonogram uses a kind of numbering system that will really annoy you if you're coming from a different nonogram app.
Hi, instead of trying to discredit the idea that people are being murdered for defending the environment from exploitation, by pointing out the ambiguity in the word "killed" as used in a Yale e360 article about a report on investigations by Global Witness, why don't you go to the source and do a good faith attempt to understand what is going on?

Here's a link to get you started, where they unambiguously use the word "murder": https://www.globalwitness.org/en/campaigns/environmental-act...

There is a lot of evidence about what is going on, beyond just Global Witness, so how about engaging with something more substantive than word play in a third party article? I know it makes people uncomfortable to acknowledge it, but it should be acknowledged.
Sheesh. The person who did it could not read Arabic. When does it stop being disrespectful and start becoming plain human error; if they make a mistake writing Thai? Hieroglyphs?
how do you get karma? or prevent getting one?
I think the source of LLM magic is not the compute, but instead written human knowledge. The LLM special sauce--what makes an LLM distinct from a compiler or a web server or a linter--is training on human generated input data. In fantasy novels a common trope is that humans generate magic (like a tree generates oxygen) which diffuses into the world to be used fuel for spells. Similarly, written knowledge is created by all of us in the course of our day to day lives, and is omnipresent in modern society. It fits!
Thanks for the advice. I found a copy of NCSA Mosaic 1.0.3 and it works on the Macintosh SE running System 7! The next version, Mosaic 2.0.1, needs 5MB of free memory. Mosaic does a better job handling larger pages like this blog post, and even chews through the inline SVG diagrams and renders just the text.

My only complaint is that Mosaic uses the serif default font we're all used to, instead of the sans-serif default used by MacWeb, which makes it a little harder to read at such a low resolution.

Added a section on it to the bottom of the article :)
I am no expert, only assume it's the logistics you need to collect/ship zinc oxide out and fresh zinc in.
I have been following Derek for a long time and know that he is not doing this for profit.

More info if interested: https://sive.rs/trust
Practically irrelevant. Brazil and Peru opened their doors to Asian immigrants but just like in the US, they were second wave immigrants and they couldn't save either of those countries.

You need the initial immigrants to do the heavy lifting, plus they majorly control politics.
Fruit that I would consider as good food have a lower GI than your favorite cereal, so your argument that there exists high GI food that works well as good food, doesn’t stand. Bad example. There’s definitely fruit out there that I would only rarely touch.
I think what I'd rather see is a standardize test suite format for laws that spells out the intentions.

Once I lived in a state that proposed a very simple anti-child porn law with good intent, but it was too simple. It read sort of like "anyone sending explicit pictures of minors from a cell phone will be guilty of conveying child porn". It was written in the proper legal jargon, but wasn't a whole lot more detailed than that. I called the sponsor of the bill and asked if that meant if my hypothetical daughter sent a naked picture of herself to her boyfriend, then wouldn't she be a felon under his new law? He had an "oh, crap, that's not what I meant!" reaction and ended up withdrawing the bill so it could be re-written. (Aside: I felt pretty good about that. Props to the legislator for being quick to understand and respond appropriately!)

Imagine if that were handled like program code, with a test like:

* This law does not apply to minors sending pictures of themselves.

That would do a few big things:

It would make legislators be clear about what they mean. "Oh, we'd never use this online child safety law to ban pro-trans content from the Internet!" "Great! Let's add that as a test case then." I confess that this is a deal breaker: politicians don't like being pinned down like that.

It would probably make it easier to write laws that reflect those intentions. "Hey, that law as written would apply to a 15 year old sexting her boyfriend! The code doesn't pass the tests."

Future courts could use that to evaluate a law's intent. "The wording says it applies to 15 year olds sending selfies, but the tests are explicit that it wasn't meant to. Not guilty."

I'm sure this couldn't happen for a hundred reasons, but I can dream.