skysight-inc/HackerNews huggingface dataset:
Show HN: Marimo – an open-source reactive notebook for Python
Hi HN! We’re excited to share marimo, an open-source reactive notebook for Python [1]. marimo aims to solve well-known problems with traditional notebooks [2]: marimo notebooks are reproducible (no hidden state), git-friendly (stored as Python files), executable as Python scripts, and deployable as web apps.

GitHub repo: https://github.com/marimo-team/marimo

In marimo, a notebook’s code, outputs, and program state are always consistent. Run a cell and marimo reacts by automatically running the cells that reference its declared variables. Delete a cell and marimo scrubs its variables from program memory, eliminating hidden state. Our reactive runtime is based on static analysis, so it’s performant. If you’re worried about accidentally triggering expensive computations, you can disable specific cells from auto-running.

marimo comes with UI elements like sliders, a dataframe transformer, and interactive plots that are automatically synchronized with Python [3]. Interact with an element and the cells that use it are automatically re-run with its latest value. Reactivity makes these UI elements more useful and ergonomic than Jupyter’s ipywidgets.

Every marimo notebook can be run as a script from the command line, with cells executed in a topologically sorted order, or served as an interactive web app, using the marimo CLI.

We’re a team of just two developers. We chose to develop marimo because we believe that the Python community deserves a better programming environment to do research and communicate it; experiment with code and share it; and learn computational science and teach it. We’ve seen lots of research start in Jupyter notebooks (much of my own has), only to fail to reproduce; lots of promising prototypes built that were never made real; and lots of tutorials written that failed to engage students.

marimo has been developed with the close input of scientists and engineers, and with inspiration from many tools, including Pluto.jl and streamlit. We open-sourced it recently because we feel it’s ready for broader use. Please try it out (pip install marimo && marimo tutorial intro). We’d appreciate your feedback!

[1] https://github.com/marimo-team/marimo

[2] https://docs.marimo.io/faq.html#faq-problems

[3] https://docs.marimo.io/api/inputs/index.html
That sounds like it's from Thus Spake Zarathustra? It's translated that way intentionally, because Nietzsche wrote it to sound archaic and reminiscent of Old Testament language, on purpose, as a stylistic choice. The translators are accurately reflecting that. His version of Zarathustra is undoing the "mistake" of the original Zarathustra.

You don't see this in translations of his other works, like The Gay Science or On The Genealogy of Morality, which are better introductions anyway, not being explicitly literary like Zarathustra.
The employee generally knows they fucked up and can escalate the issue. Discussion on whether or not this actually happens will follow in comments below.
ExTwitterers Fed Up with the Crypto Spam and AI Bots Elon Promised to Clean Up
One compelling theory for why we have not encountered intelligent life is that any sufficiently advanced civilization will eventually stop exploring the universe and immerse themselves entirely in virtual reality, to the point that they harness the total output of their star for computation, and disappear.

Relativity means that the Star Trek vision of a galaxy spanning society is probably an incoherent fantasy. Why pursue expensive, dangerous, and disappointing adventures in the real world when you can conjure any conceivable reality with perfect verisimilitude?
Yep, executives just copy each other all the time. They start thinking about layoffs when other companies in the industry are doing it.

My company is discussing having people show up three days a week in the office. The only justification mentioned was that other companies are doing it. I am quite doubtful they did any sort of analysis to ensure it's a good idea.
Same. I thought we were finally making Hackers (the movie) a reality.
Why not have a separate chat request to apology-check the responses?

Not my original idea, there was a link from HN where the dev did just that.
> Also, managers do have a say in layoffs.

Not always.

The manager might completely disagree on the termination.

The manager might be being punished for not terminating underperformers so higher ups stepped in.

I guess my point is don't underestimate the amount of dysfunction in management.
I think the term is still useful for giving words to a phenomenon people experience. I guess a less charitable and more presumptuous term of such behavior would be calling the person displaying it narcissistic.
I use Firefox.

I don't see anything that I recognize as "content."

I was expecting a blog article.

Maybe that was a mistake, or some code needed to load and I was impatient.
Habitable? There is plenty of water for it to be habitable, residential use is a drop in the bucket compared with agricultural use. Without a technological solution, we'll have to scale back agriculture, but that's not a regional problem, since the market for food is an international one.
Inspecting planes does require a lot of skill and knowledge. But one doesn't need deep expertise to detect loose bolts.

My experience is that when quality breaks down, the effects are visible at multiple scales and multiple places. Who knows what else is non-compliant in the 737 MAX assembly line (surely this is why the FAA announced an audit).

Loose bolts happen because multiple layers of protection were bypassed. https://en.wikipedia.org/wiki/Swiss_cheese_model
in some countries you absolutely have the right to replace the lock at will. at worst you may have to reinstall the original lock when you move out.

the landlord has no right to enter your home without you being present, no matter what. if there is an emergency like a fire or a broken pipe then they may have to break the door if you can't get there fast enough, but that then should be the least of your worries.
You could go full circle and ask OpenAI to determine if another instance of OpenAI was apologetic.
That shouldn't stop us from trying to limit their growth. "The cat is out of the bag" so to speak, but a lot of the growth comes from runaway cats, or cats that have been abandoned by their owners (happens more often than you think)

We could start by requiring all domestic cats to be sterilized, so that they don't breed. Then the cat population would be limited to certified breeders and wild cats.

We could also have the same restrictions on cats as dogs. They should not be allowed to be outside unless they are in leash or in a controlled environment (the latter is hard, as cats can climb over standard fences). I guess fully enclosed "cat parks" would be an option.

You may have a harder time training a cat to wear a leash compared to a dog, but it's possible.

It's strange to me that we think cats need to be outside to satisfy their predator instincts, as if dogs and other animals like to be inside all day while we are at work. If someone doesn't like that thought, they have the option of not owning a cat.
Godot Shaders
Blog post about how to measure ROI of SRE activities, and how to do it in way that doesn't mask data.
It's not an XOR. Tech and social ideas and humanity in general advances because people dabble with it in the low risk entertainment space.
K3 Reference Manual (1998)
That's super interesting, will be taking a look at Poincaré soon. I work at an ayahuasca retreat and have drank about 300 times; IMO it seems to put you in an extreme state of synesthesia, a mixing of all the senses, including thoughts/intuitions/memories.
I just wanted to say thanks for that perspective -- I've often wondered what made the US so "different" from other developed countries in not having single-payer, and had always assumed the root cause was a cultural frontier-settler-independence attitude.

I never thought about the fact that we have a domestic pharmaceutical and medical devices industry, that's present in a way that's unique to the US. That's a factor you don't get in Spain or Norway or Australia. Very enlightening -- TIL!
Some plastics can burn cleanly.

The whole "don't burn plastic" only applies if you don't know what type the plastic is.
UK to launch HALEU production programme
I was with you until midway. You're making quite an assumption while the NTSB's investigation is still ongoing. We don't know the root cause - Those bolts may have very well been in place and passed an inspection during install, but rattled loose and fell out (and then subsequently were blown out of the plane when the plug failed.)

United reported loose bolts, not missing bolts. This indicates a more systemic issue and not just a miss by an Alaska Airlines maintenance worker taking a phone call. If the systems involved in the failure are all "Boeing", it doesn't seem unreasonable to consider changes, such as requiring a 3rd party with no self-interest in rubber-stamping the go-ahead, to inspect the work.
Time to create on algorithm that operates on the safety flag boolean to optimize phrases to bypass it
I think it would be better to ask it to wrap the answer with some known marker like START_DESCRIPTION and END_DESCRIPTION. This way if it refuses you'll be able to tell right away.

As another user pointed out, sometimes it doesn't refuse by using the word "sorry".
I think you misspelled "gain votes" there. Laws that were designed to gain votes.
>It's only non-cloud because it comes from an era before the cloud.

And it's still out there, so the previous commenter's statement holds.

But there's still plenty of non-cloud applications that originated more recently and are still under active development, along with all of the traditional software that's continued under active development and widespread usage, but falls under the radar of the current-moment hype train, which vastly exaggerates the extent of migration away from desktop apps to the cloud.
I wouldn't necessarily disagree with that. There were also professors of all stripes, and of course first-year students which were wrong more often than everybody.
Sounds like a great way to double your API bills, and maybe that's worth it, but it seems pretty heavy-handed to me (and equally not 100% watertight).
Phi-2 and TinyLlama are so so so impressive for being < 3B parameter models. They can run on a phone, and are pretty snappy.

Benchmarks: https://github.com/ggerganov/llama.cpp/discussions/4508

I don't see them taking over general purpose chat/query use cases, but fined tuned to a specific use case and embedded into mobile apps, might be how we see LLMs jump from cool tech demos to something that's present in most products.
Ever go rock-crawling for several hours off-road with that jeep? If the stakes are high because you're far from a paved road, 4x4 is also a very immersive experience. After a while the tires become like toes, and finding a good line with the vehicle starts to feel like stepping carefully around broken glass. You cringe almost in anticipation of personal pain when you take a bad line. There's surely some neurological basis for this, some kind of reverse of phantom-limb syndrome. Similarly that sense of "stumbling" when you're fighting with a glitching IDE or whatever is also very real, at least for me. If you haven't ever felt something along these lines, then you might not have found something yet that you're accustomed to fully focusing on.
I don’t think it does! But you shouldn’t be surprised when people are operating under a different framework when engaging with the world. And discussions won’t go anywhere trying to get different conclusions out of different starting points and motives. If everything is unethical then nothing matters, but people don’t want nothing to matter so they construct shades of grey to make choices and judgements on. Your “um actually everything is unethical” is irrelevant to the game they’re playing.

Not to mention it’s absurd a conversation this long hasn’t pointed out the relativity of ethical judgments or event attempted to define what ethical even means.
I was today years old when I learned about CTRL+R. I've always just done history | grep

Also, I use zsh which filters history when using up/down arrows to whatever you typed. So you can do "git" [up] [up] [up] to cycle through all recent git commands which is super useful.
Most fuel mixes for rockets are just Kerosene and Liquid Oxygen, at least in the USA. Seems like most of the next generation are aiming for Methane and LOX.

Burning plastic incompletely would most likely produce more noxious stuff than Kerolox or Methalox engines. Maybe on par with existing Solid Rockets or Hypergolics.
It's the same cars, from the same companies, using the same tech (structural use of metal hydrides isnt commercially viable yet).

I'm not anti H2, why would I? I'm not part of any crowd. I just did part of my physics training on the subject.

20 years ago, while there were more H2 vehicles on the road, nobody in the H2 storage fields thought it would last. On a basc level, the physics of getting electrons out of a material is better than getting protons out. And then there is an already preexisting infrastructure for free.
Again: When it comes to crimes against humanity, that doesn’t matter. Signatories to the Geneva convention convention are expected to uphold international humanitarian laws even when greater crimes are committed against them. The same applies to the Genocide convention. The international community is supposed to punish signatories which violate these convention, and in the case of Israel, they routinely don’t.
What was probably unhealthy was the insane amount of hiring that happened. Even with last year's cuts we're probably still above 'normal' company headcount growth trends.
What makes you think either of those mean anything to a corporation?

Legal counsel and HR will explicitly avoid stating such things.
that's how companies become walking zombies with entire departments that don't do anything, and eventually go under
Okay I have added some examples to the post: http://jonathanwarden.com/understanding-bridge-based-ranking...
No way is anyone getting things delivered 10x faster because of ChatGPT. Software engineering isn't like folding bedsheets in the prison laundry.
Is sr.ht free?
There is but it's a udemy course unfortunately. I don't want to spam the group with links but the link is on the lat page of the document
For all the criticism the American aerospace industry gets, Boeing is the only one clearly suffering the problems they have. If stricter regulations mean Boeing can't do business, tough luck.

Boeing's entire business is to make good aircraft, and they are grossly failing to do so; their problems extend far beyond just the 737 MAX. A business that can't sell good products shouldn't be in business one way or another.
If I recall the timeline correctly, she was in training during pre-holiday season. But in case we're talking about different things, just FYI, in telco and networking _nothing_ happens after Thanksgiving--it's essentially "quiet" time as customers go into holiday breaks and network freezes.

If you meant Cloudflare customers would make heavy use of their services during holiday season, yes -- but nobody deploys that kind of solution _during_ sales, all online retail pre-plans for that months in advance (cloud resources, inventory, security, etc.), so they wouldn't _buy_ those services then.
The Simple Math Problem We Still Can't Solve
You can see in this product: https://www.amazon.com/analyze-generate-product-avoiding-tra...

ChatGPT is refusing to generate titles with trademarked names. So most likely they are prompting something like "competitor product: rephrase the title"
People can't even be bothered to come up with a title for a product listing? We are truly screwed. Maybe they generated it from images and a script, but honestly, how freaking lazy are people these days?
I'm genuinely shocked that there's no immediate disincentive to all of these shell vendors, other than pitting search results with varying levels of sponsorship against each other.
What are the actual risks?

It's one thing in a bank.

It's another thing in a VM on a laptop dedicated to casual web surfing.

and

It's one thing on your own machine and another if someone else is required to do it.

Good luck.
The company responsible for the door installation is Spirit AeroSystems. They've been sued for "widespread quality failures" before [0]. The workers raised issues and were ignored [1] and allegedly told to falsify records.

[0] https://news.yahoo.com/maker-boeing-door-plugs-sued-00335449...

[1] https://jacobin.com/2024/01/alaska-airlines-boeing-parts-mal...
or if they don't know at the time, they may eventually realize it later and react accordingly.
One of the funniest things about modern stoicism hucksters is how steadfastly they're focused on using the philosophy to get more out of wholly external aspects of life. There's very little focus on the hard parts, like being at ease with who and what you are and what your place in the cosmos is, and utilizing your virtues to the best of your ability. It's more like "here's the dichotomy of control... Now use this knowledge to control your sales funnel and maximize profits this quarter!"

That's... Not what the idea was, but alright
Yes, click on the Apply Now button on one of the job listings https://www.aha.io/company/careers/current-openings. We use Aha! itself to track applications.
If you search " I'm sorry but I cannot fulfill this request", you get results for some "products" on amazon
Just feed the text to a new ChatGPT conversation and ask it whether the text is an apology or a product description.

Or do traditional NLP, but letting ChatGPT classify your text is less effort to set up
Why LLMs are not and probably will not lead to "AI" (an opion)
As someone working in statistics and peripherally machine learning it has been endlessly tiresome to hear LLMs be marketed as "AI" to an unsuspecting audiance. LLMs are no closer to AI than Alexa was this time last year.

While the capabilities of Large Language Models are impressive, calling them "AI" remains contentious. Here's why some in the technical community, including Sam Altman, have our doubts:

Limited understanding and reasoning: LLMs excel at pattern recognition and statistical analysis, but they lack true understanding of the data they process. They can't reason logically, draw meaningful conclusions, or grasp the nuances of context and intent. This limits their ability to adapt to new situations and solve complex problems beyond the realm of data driven prediction.

Black box nature: LLMs are trained on massive datasets. This "black box" nature makes it challenging to explain their predictions, debug errors, or ensure unbiased outputs.

Lack of "general intelligence": LLMs currently lack the broad, transferable intelligence that characterizes humans. They excel at specific tasks within their training data, but struggle with novel situations or requiring different skills. An inability to generalize outside their training data restricts their claim to the title of "AI."

Focus on prediction over understanding: LLMs, for all their impressive feats, remain slaves to their training data. They excel at mimicking and recombining existing information, akin to a masterful DJ remixing familiar tracks. They remain powerful tools, like supercharged search engines and spell checkers, but calling them AI risks mistaking virtuosity for originality. LLMs are inherently statistical models, predicting outputs based on past observations, nothing more.

Overestimating progress: The rapid advancements in LLMs can lead to overoptimistic claims about their capabilities. Comparing them to intelligence is misleading, the underlying mechanisms and levels of understanding differ significantly.
Consciousness, Robots, and DNA
I do this too although it can add ambiguity when writing about the shell!
I think I agree with you. I was just poking fun at the above comment who was blaming “managers” for what I think is mostly monetary policy.
The same argument can be turned against you, someone can wait for absolute expert certainty and die in the process due to lack of action. We all act pragmatically when making decisions and simply blindly trusting people is no way to live for a thinking and intelligent being.

I was not suggesting this sort of Burdian’s ass scenario where everyone is so gripped by ignorance that they can’t act. I’m suggesting instead that ignorance is a starting point, to drop your preconceived notions and opinions or at the very least challenge them and not be afraid to come to no conclusions at all— keep everything open. To see there is gold in the common opinions of people and in the arguments of experts, that no one has a monopoly on truth.

You don’t need to work yourself up to absolute certainty over the world to make a decision. You don’t need to blindly trust experts and you don’t need to be gripped by fear of uncertainty and you don’t need to be forced into action because of arguments. You really don’t need to do anything at all. There are bigger questions to ponder and a life to live that’s worth living.
They were extinct in the wild in the late 80s. There's under 500 in the wild now. Of all the things that might trigger people, I suppose condor extinction is pretty understandable.
> Though applications rarely are, I don't know if that was all that different back then either for most people.

It was. Another commenter mentioned ResEdit and being able to tinker with classic Mac applications. Two things were universally true back then:

1. In a pre-internet world, the entire application had to be hackable in some fashion, even if the application's creator tried to make that difficult.

2. Most parts of an application boiled down to simple text files, simple binary layouts or compiled source code. Obfuscation, encryption or even compression all cost CPU cycles which were often too previous of a resource.

As an example, Civilization stored much of its data in *.txt files you could edit in notepad to change the strength of units, etc...

The author's piece refers to the ability to inspect web documents to see how markup works. This is an order of magnitude harder to do in mobile apps often providing the same functionality.
There's a second result on amazon with the same issue https://www.amazon.com/cannot-fulfill-request-against-policy...

> Of course, I'd have to write all those descriptions...

Hilariously they did that too and didn't change it at all

- Our [product] is crafted with the highest quality materials to ensure durability and reliability for-lasting use.
Versatile Functionality - With multiple adjustable settings and various functions, our [product] can easily adapt to your specific needs, making it a versatile addition to any home or office.
A Weight-Loss Drug Changed My Life. Will It Solve My Problem?
Sounds like a "good" add-on service to have to purchase as an extra.
737 crash was software and training quality. I think if you included those i. a mission critical systems inspection, under which software on planes is about as important as the bolts and metal, then you’d find preventions.

Or, just talk on ex-BA SWE and learn about it from them.
I like that it ends in -brown
Is that Amazon adding the color to the title or the person who let open AI run wild did like a && color field
Calm down, they are just considering it.
It’s cognitive dissonance to believe that politicians can be bought and social media companies or their content moderation teams/employees cannot.