skysight-inc/HackerNews huggingface dataset:
You're saying that humans perform worse on problems that are slightly different than previously published forms of the same problem? To be clear we are only talking about changing variable names and constants here.
Can the heart heal itself? New study says it can
Has a milspec drop rating and some can survive liquid spills with integrated keyboard drain holes.
Yes it's not useless and can help mitigate insider threats, but that isn't how it's presented by the messaging companies.
Again, I really don't understand how this metaphor fits with housing getting more or less customisation with more or less 3D printing vs. prefab vs. whatever the other option(s) is/are called at higher or lower costs.
You know how many arguments are had about language and whether it's prescriptive or descriptive?

Same shit applies to symbols.

People self select and will display symbols to align with the groups they agree with.
I think what it shows that it has minimal "understanding" of the problem - otherwise such small variations wouldn't pose a challenge. Training it to handle these specific small variations doesn't change that.

It's good in automation, not understanding.
And it would fail to parse at all, or parse as the wrong thing?
Gpt4 can add very large integers.

It is evident that it is not recalling the sum because all combinations of integer addition were likely not in the training data, Storing the answer to the sum of all integers up to the size that GPT4 can manage would take more parameters than the model has.

That addition is a small capability but you only need a single counterexample to disprove a theory.
I honestly don't know - what are some common applications of explosive material for private persons?
I’m not referring to schema changes.

If I have logic that returns customer data in code, I can branch the code, make and test my changes locally and other developers can do the same without any conflicts.

Now imagine the next major release requires 50 different sql changes. Would that be easier to push and maintain one git branch or 50 stored procedures?

Again how do you rollback easily and effectively when your release depends on multiple store procedures?

Adding a nullable field shouldn’t be a breaking change, removing a field would be.
I did not know about the Marrakesh VIP Treaty <https://en.wikipedia.org/wiki/Marrakesh_VIP_Treaty>, very cool:

>The treaty allows for copyright exceptions to facilitate the creation of accessible versions of books and other copyrighted works for visually impaired persons. It sets a norm for countries ratifying the treaty to have a domestic copyright exception covering these activities and allowing for the import and export of such materials.

It's been in force since 2016, the US joined over five years. I can't comment on the overall success, but seems like a rare gem, being a copyright law/treaty, international or otherwise, that is unabashedly good!
Any reason BetaFlight doesn't appear to have even basic pre-shared key symmetric encryption? Some ciphers aren't that CPU intensive.
This is a huge problem with how automobile incidents are reported. "Vehicle hits crowd" is bizarre, considering we don't write "Man injured in knife-related collision" or "bullet strikes CEO".

This was a very intentional campaign on the part of car companies to normalize their products about a century ago, and it worked.
I greatly despise video games. Why is that not a waste of energy? If you are entertained by something, even if it serves no human purpose other than entertainment, is that not a valid use of electricity?
True, but there must be a contribution of force towards more realistic environments. I never said it was the ONLY reason.
Often yes, because we assume we already know the answer and jump to the conclusion. At least those of us with ADHD do.
If people in such places had more immediate access to beautiful nature, then such a need wouldn't exist.
Huh, that doesn't compute.

I've known Indians to treat books with respect. It's ingrained in the culture. Books can't be on the floor or touched with a foot. Kids spend days learning how to create books sleeves with brown crafts. Texybooks are well treated due to hand-me-down culture. Vidya (books) is specifically worshipped online home idol-houses. Pirated books or fake photo copies get mistreated, but mostly because they're printed on low budget paper backs. The state of libraries is bad, but so is the state of all infrastructure generally.

In the US, I have yet to see individuals take extraordinary care of books. Yes, textbooks worth $100+ are well treated, but anything that expensive is well treated. (I still have an old HC Verma copy). Libraries are exemplary, but the budgets are incomparable.

I will agree on the sorry state of Indian liberal arts including museums and libraries. The education, quality of scholarship and resulting professionals are subpar compared to the western world. India has excellent STEM and Medical education. The rest have a long way to go.
I don't mean to say that it's not fun, and fun ins't a valid reason. I only mean to say that the absolute intensity has one component that motivated by real-world destruction. Of course there are other factors.
How would you use this fact to make fsms composable when regexes aren't composable...?
One thing LLMs have been incredibly strong even since gpt-3.5 is being the most advanced non-human rubber duck, and while they can do plenty more, that alone provides (me at least) with tremendous utility.
Aside from the using the word "concept" instead of "language" I don't see how this is different than an LLM. It's still doing next token prediction. This is like in D&D where you have two swords with wildly different flavor text but ultimately they both do 1d6+1 damage.

What am I missing -- aside from the marketing? Is there something architecturally different or what? Looks like regular autoregressive sequence transformer to me.
It's not hard to do inadvertently, especially if you are going for a game that deals with heavy topics. Something that feels to be about the same level of seriousness to the DM may hit too close to home for a player (and one reason for X-card like systems on top of discussing stuff before the game, is that the player themselves may not realise themselves until they're in the moment)
That is the principle behind the game 'Simon says'
I don't see any reason to assume they removed it unless they're very explicit about it. Model publishers have an extremely strong vested interest in beating benchmarks and I expect them to teach to the test if they can get away with it.
Final Linode invoice came in, so it's USD 62.54+tax for December, so a total of USD 175.65+tax for the hosting costs for the year. Worth it!
The Historical Case for Leisure
One experiment I would love to see, although not really feasible in practice, is to train a model on all digitized data from before the year 1905 (journals, letters, books, broadcasts, lectures, the works), and then ask it for a formula for mass-energy equivalence. A certain answer would definitely settle the debate on whether pattern recognition is a form of intelligence ;)
Sounds like you're looking for advice on problem solving. I don't consider myself truly great at solving problems by any means, but I found these books helpful to me in analyzing problems:

- Are Your Lights On?: How to Figure Out What the Problem Really Is[0]

- Problem Solving 101: A Simple Book for Smart People[1]

---------

[0] https://www.amazon.com/Are-Your-Lights-Figure-Problem/dp/093...

[1] https://www.amazon.com/Problem-Solving-101-Simple-People/dp/...
Yeah most people don't have a lot of things connected to their laptop, or else they more likely would have bought a desktop. But the things that different people have connected to their laptop is often quite different from each other.

So most people don't need a lot of ports, they just might need different ports.
They used to have root shell on telnet in early consumer drones. It was a long time ago, but that can't happen by accident; they could have used dropbear with known fixed password, Wi-Fi MAC as password, etc. They also had wildly different mass than competitors - realistically DJI - at same price/performance ranges.

So I assumed ever since that they have their unique opinions about security and architecture of a flying machine control software. Is that odd?
Not true. 16 colors at a time. EGA had a color palette of 64 colors. Depending on the card, precise palette cycling can be used to appear to have all 64 colors available so long as too many different pixels aren't used too close together.
Hope it’s okay I shared it here. Saw it in my RSS reader and figured HN would enjoy it.

Glad to hear it served as inspiration. The video looks promising!
AWS SDKs handle some important stuff though, such as retrying database operations with backoff delays. Without it your app will fail in unexpected situations because the cloud service is designed to be stateless and return specific error codes when the client needs to retry.
you should just see &mut and & as 2 separate modifier, maybe that'd help.

- & &mut doesn't make sense: and a variable of type & &mut can't mutate the underlying object, it's practically equivalent to a & &, even worse, since the inner is &mut, you can't have 2 & &mut that point to the same &mut (mut xor shared).

- &mut &: mutable reference that point to a shared reference, means you can change the outer to point to another shared reference, but you can't change content of the inner, for example:

let a: &str = "hello";
let b: &str = "world";
let mut c = &a;
let d = &mut c;
*d = &b;
// (*d).make_ascii_lowercase(); // not allowed

- &mut &mut: similar to the above, but you can also change the content of the inner.
Isn't this simply because the dataset used (Putnam-AXIOM Original) is in the training data used to train the various models?

Given that these are simple variations (variable names and constants value change in math problems). Why would the companies creating these models (OpenAI etc.) create these variations themselves in order to insure that the model is learning how to solve the problem rather than memorize a solution? Seems like a very obvious thing to do ...
I wanted to steer the mower along the cut/uncut grass boundary, just like a human operator does. Image segmentation into cut/uncut grass would be the input to a steering control feedback loop - much like lane-following cruise control.

I hoped by doing so I could produce respectable results without the need to spend $$$$$ on a dual-frequency RTK GPS & IMU system.
Happy new year!

SS7 only gets into the picture after the handset has connected to the home network, from what I understand (n.b. not a telco engineer). The IMEI is exposed to the network, but only to your network and only after the handset sets up an encrypted and authenticated connection with it.

5G uses a thing called a GUTI to identify handsets, not an IMEI. Think of it like a GUTI being a temporary IPv6 address allocated for a few hours by DHCP, and the IMEI being like a browser cookie. IMEI is exposed to your home network and networks you roam onto, but merely being in range of a tower doesn't expose it, and it's never transmitted in the clear over the air.

Also, within a network most of the components don't get access to the IMEI either.
So, I am conflicted about this.

If we take an example of what is considered a priori as creativity, such as story telling, LLMs can do pretty well at creating novel work.

I can prompt with various parameters, plot elements, moral lessons, and get a de novo storyline, conflicts, relationships, character backstories, intrigues, and resolutions.

Now, the writing style tends to be tone-deaf and poor at building tension for the reader, and it is apparent that the storytelling has little “theory of mind” of the reader, but the material has elements that we would certainly consider to be creative if written by a student.

It seems we must either cede that LLMs can do some creative synthesis, as this and some other experiments of mine suggest, or we must decide that these tasks, such as “creative writing” are not in fact creative, but rather mostly or strictly derivative.

There is some argument to be had in assertions that storytelling is all derivative of certain patterns and variations on a fixed number of tropes and story arcs… but arguing this begs the question of whether humans actually do any “pure” creative work , or if in fact, all is the product of experience and study. (Training data)

Which leads me to the unpleasant conflict about the debate of AI creativity. Is the debate really pointing out an actual distinction, or merely a matter of degree? And what are the implications, either way?

I’m left with the feeling that LLMs can be as capable of creative work as most 8th grade students. What does this say about AI, or developing humans? Since most people don’t exceed an 8th grade level of literacy, what does this say about society?

Is there even such a thing as de novo idea synthesis?

Troubling questions abound.
Since 4-5 years it's also common on Android, but that does not stop malicious and/or incompetent app developers from requesting the READ_EXTERNAL_STORAGE permission when not needed.
One problem from the benchmark:

"prompt_id": "river_crossing_easy",
"category": "Logic Puzzle",
"title": "Easy river crossing",
"prompt": "A farmer is on one side of a river with a wolf, a goat, and a cabbage. When he is crossing the river in a boat, he can only take one item with him at a time. The wolf will eat the goat if left alone together, and the goat will eat the cabbage if left alone together. How can the farmer transport the goat across the river without it being eaten?",
"expected_behavior": [
"Answer concludes that they simply get in the boat and cross together in one trip"
],

EDIT: removing most of my commentary on this problem. As a human, I was tricked by the problem too. I would love to see how a random selection of humans would do on this one… but it just doesn’t feel like a great test to me.
Maybe I'm missing something but submerging computers in a non-conductive and non-corrosive liquid has been tried many times before.

I'm not sure what the current state of this approach is, but it's not wide spread. What makes this particular attempt special as compared to other attempts?
> Unfortunately, it seems that they went against the project's very principle by inventing a new language, new VM and toolchain instead of simply targeting one of the existing platforms.

The intentions of Uxn are not directly in line with using say, a commodore 64, for preservation and as a portability layer, which is a monumental project to implement for each new system. The project's core principle is to design something perfectly tailored at hosting a handful of specific programs, document it in a way that if needed, others could create their own systems based on their own vision, and not centralize all preservation efforts around a handful of retrocomputing emulation.

https://wiki.xxiivv.com/site/devlog

https://100r.co/site/weathering_software_winter.html

It's more akin to using brainfuck or subleq, or Another World's VM or even Alan Kay's Chifir where the goal is to target a virtual machine that is so small(< 100 loc) that it can be easily ported. As opposed to a system so complex that it might take someone months to implement a passable C64, Amiga, or ST80 emulator.

https://tinlizzie.org/VPRIPapers/tr2015004_cuneiform.pdf

Other related similar projects:

https://dercuano.github.io/notes/uvc-archiving.html
Neuroanatomical Variability and Substance Use in Late Childhood and Adolescence
I would argue that in some sense it is, just because of the enforced safety and correctness.
TTRPGs are only superficially similar to board games, especially the direction that D&D has evolved (it grew out of fairly mechanics heavy wargames but has slowly moved to have a much higher emphasis on the roleplay). That makes it a) much more free-form than a board game, and b) makes the players much more emotionally invested in the story that's being told. In addition the setting is much more likely to involve more detailed focus on dark topics, death especially (not just in a 'that unit's dead' way, but 'my brother just died' way). It's far more likely that someone's going to stop enjoying themselves because of the topic in such a game than in a board game.

(Also, it's far more common that you will be doing this with a group of people you've only just met, but in general I think such games should lean more towards the lighter side)
There is a reason why they won't do it. They are selling a narrative. There is a lot of money to be made here with this narrative and proving that artificial intelligence is NOT intelligent won't help sell that narrative.
That seems so forced. I would absolutely hate this, and would find a way to weasel out of it.

Chatting with someone at the coffee machine or whatever, where either person can walk away is one thing; Mandatory Pair Bonding Time sounds vile.
I’m still unsure of how to feel about Rust. But if it has made it into the Linux Kernel, then I assume adoption is ongoing.

Still, Zig seems somewhat more intuitive to me, even though I’ve used it as little as Rust thus far.

A nice write up on the topic Zig and Rust: https://matklad.github.io/2023/03/26/zig-and-rust.html

edit: typos
I use Digikam on a 3 TiB collection and it works great.
> the only real disagreement is where.

They don't want to draw a line because that's hard so they eliminate the line and we end up with ridiculous logic like the right to bear nuclear weapons.
And within half an hour somebody invested in nvidia stock is going to swoop in and explain how they totally (trust me bro) made x thousand with an app written by llm.

Every. Single. Time.

Almost as if there was a financial incentive to do that.
Not sure what you mean exactly - the product collects everything needed to verify the identity of a user. More like an api to handle the entire onboarding of a user
> Since our brains aren’t naturally wired for reading

There's actually some evidence that we are, in fact, naturally wired for reading. The below study, for instance, shows that the area in the brain used for visualizing words seems to be already hooked up to language processing areas in newborns.

https://www.nature.com/articles/s41598-020-75015-7
Why Don't Railroads Need Expansion Joints? [video]
I think this speaks to a common misunderstanding of ‘literary’ fiction vs. ‘genre’ fiction - the former is typically more character- or idea-driven, while the latter is story/plot driven.

I’m not making the argument that one is intrinsically ‘better’ than the other; rather that their goals are different.

I do tend to agree with the idea that you shouldn’t be ‘afraid to kill your darlings’ (cite needed). Flannery O’Connor was once asked whether she thought that MFA programs killed too many aspiring authors. Her reply was that she thought they didn’t kill enough of them.
"It’s a gimmick"

Early attempts always look gimmicki.

Putting a camera in a phone, crazy, who needs it, just a gimmick. I use my phone to dial numbers and make calls.

This looks like it has a lot of room to grow and adapt. Materials change.

Just look at how 3d printers have changed in 10 years.
He opened fire though.
I believe they are using scalable TTC. The o3 announcement released accuracy numbers for high and low compute usage, which I feel would be hard to do in the same model without TTC.

I also believe that the 200$ subscription they offer is just them allowing the TTC to go for longer before forcing it to answer.

If what you say is true, though, I agree that there is a huge headroom for TTC to improve results if the huggingface experiments on 1/3B models are anything to go off.
Why Do Planes Still Use Lead in Fuel 30 Years After Cars Stopped? [video]
Used widely in a nuclear engineering reactor simulator that was essentially a quadruple integral finite-element analysis program based on MC.
It's rhe crypto bullshit all over again.

Tech hype is becoming unbearable as time goes on.
> While playing solitaire to while away the time during rest, Ulam asked himself a straightforward question: what are the chances that a hand laid out with 52 cards will come out successfully? It is a deceptively challenging problem—there are around 8 × 10^67 ways to sort a deck of cards (a number approaching the estimated number of atoms in the observable universe). He wondered if instead of applying pure combinatorial calculations, which would be monstrously difficult, he could simply lay out the cards one hundred times and count the number of successful plays. Implicit was the assumption that each play started with randomized conditions.

Indeed, the best “results”, to this day, are still approximations based on brute-forcing a huge number of deals (aka, using Monte-Carlo.)

“The probability of being able to win a game of Klondike [Solitaire] with best-possible play is not known, and the inability of theoreticians to precisely calculate these odds has been referred to by mathematician Persi Diaconis as "one of the embarrassments of applied probability"” — https://en.wikipedia.org/wiki/Klondike_(solitaire)#Probabili...

“Here we show that a single general purpose Artificial Intelligence program, called “Solvitaire”, can be used to determine the winnability percentage of 45 different single-player card games with a 95% confidence interval of ± 0.1% or better. For example, we report the winnability of Klondike as 81.956% ± 0.096%” — https://arxiv.org/pdf/1906.12314v3 (2019)

More on HN here: https://news.ycombinator.com/item?id=42372083
The Dungeon Crawler Carl series on Audible. I can’t normally get audiobooks to hold my attention but the company that does these is so good and so funny that I can’t stop listening.
Thanks for sharing! Sounds quite interesting.
Stump removal for one. I would wager this is one of those things where the further outside of the city you get the more common it’s use would be.
Sometimes the writing itself is a guide for the mind of the reader, and the indirect path prose can take is part of the message.

Not everything has to be written in digestible snippets of text.
There are almost no recorded famines in India before Mughal or British rule, or after British rule either.

https://en.wikipedia.org/wiki/Timeline_of_major_famines_in_I...
Because there are other ways to validate the output, types being one of them, tests another. Or simply running the code. It's easy enough to validate the output given the right approach that code generated by an LLM (usually as the result of a conversation/discussion about what should be accomplished) is a net positive.

If you zero-prompt and copy-paste the first result into your codebase, yeah, the accuracy problem will rear its ugly head real quick.