hackernj

Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1

Two OEIS sequences for Cistercian numeral system: https://oeis.org/A341737 and https://oeis.org/A381327

Black Mirror is nearly here.

Years ago, I developed a 2D Rubik's Cube game for my son, in order to learn JavaScript: https://www.thelyonsfamily.us/games/FlipYourLid/

As far as I know, my son is the only person who plays it. :-)

Now my outie can enjoy Macrodata Refinement!

I can’t move my ears at all. My wife can do the following: raise either eyebrow; move either ear back and forth; move either ear up and down; twitch the upper left lip, or the upper right lip, or the lower left lip, …; and twitch either nostril.

Nice. I've been using this Maxima interpreter: http://www.dma.ufv.br/maxima/index.php

I just found the following version of the Waffle game: https://wordle-nyt.org/waffle

The host name includes “nyt”, but the web page doesn’t seem to be owned by the New York Times.

“West with the Night”, a memoir by Beryl Markham; she was the first person to fly across the Atlantic Ocean from east to west in a non-stop solo flight.

Happy 10 + 9 - 8 + 7! / 6 / 5 * 4 * 3 - 2 * 1!

We do get tornados in NJ. About 3 per year.

Happy 10 - 9 + 8 * 7 * 6! / 5 / 4 + 3 * 2 + 1!

“Think of SmoothLLM as a security protocol that scrutinizes each request made to the LLM. It checks for any signs of manipulation or trickery in the input prompts. This is like having a security guard who double-checks each question for hidden meanings before allowing it to answer.”

Only professional, human narrators are acceptable to me. With few exceptions (e.g., Jimmy Carter), I can’t listen to an audiobook that was narrated by the author.

“This assumes MySQL, PHP, the web – and humanity – will be around that long”

This guy was at least 400 km from anyone else while alone on the ISS: https://www.insidehook.com/article/science/nasa-chris-cassid...

That’s the bee’s knees!

Thanks for the link. The first half of that paragraph is also interesting: “In 1968 NBC-TV invited Clark to host her own special in the US, and in doing so, she inadvertently made television history. While singing a duet of "On the Path of Glory", an antiwar song that she had composed, with guest Harry Belafonte, she took hold of his arm, to the dismay of a representative from the Chrysler Corporation (the show's sponsor), who feared that the moment would incur racial backlash from Southern viewers.[22] When he insisted that they substitute a different take, with Clark and Belafonte standing well away from each other, Clark and the executive producer of the show—her husband, Wolff—refused, destroyed all other takes of the song, and delivered the finished programme to NBC with the touch intact.[23][24] The Chrysler representative was terminated, and the programme aired on 8 April 1968, four days after the assassination of Martin Luther King Jr., with high ratings, critical acclaim,[25] and a Primetime Emmy nomination.”

Less than a year after the landmark Loving v. Virginia decision by the US Supreme Court, Harry Belafonte and Petula Clark made history when Clark touched Belafonte’s arm on US primetime TV: https://www.vanityfair.com/hollywood/2018/04/harry-belafonte...

An article that examines the difficulty of fixing indentation errors in Python programs. We prove that the problem is NP-hard.

Alvin!!!

I had one. I crashed and destroyed it before completing a single rotation!

I don't need this software, because Comcast is my ISP.

“They’re all aged between two and six years old, and they’re almost always scared to death when they first set out.”

I remember her from my summer job in 1980 in the Computer Library at Bell Labs in Murray Hill, NJ. She was one of the few women in computer science department. Nice bunch of brilliant people who patiently answered my newbie questions about Unix, Shell, C, etc.

Virtual hug from me across the pond!

Love that Curie is in the photo!