skysight-inc/HackerNews huggingface dataset:
Show HN: Sane: pure Python, single file command runner
Hello HN,

I just published v7 of `sane`, a single-file command runner written completely in vanilla Python. Quoting from sane's manual page:

> # Why use sane?

> Sane is 1. extremely portable, and 2. low (mental) overhead. This is because (1.) sane is fully contained in a single Python file, so you can (and should!) distribute it alongside your codebase, and (2.) sane is vanilla Python. The second property makes sane extremely expressive -- in fact, sane can do anything Python can -- and prevents the introduction of more domain-specific languages.

> Of course, with great power comes great responsibility, and sane is trivially Turing complete; that is, after all, the point. Therefore, there are more (and more unpredictable) ways to fail critically. But, as Python has shown over the years, this flexibility is not much of a problem in practice, especially when compared to the advantages it brings, and given that other, more structured, tools are still available to be used in tandem.

Sane is pretty magic; calling "import sane" is enough to get started. This does come with its caveats, but this magic can optionally be disabled. Sane is also prepared to make use of concurrency (within the limits of Python): its topological sort algorithm identifies tasks that can be run in parallel, which can be activated with a Make-like "--jobs" flag.

Another focus point of sane is ergonomics: just about everything the user (as in, you) passes to sane is validated, and reflection is used to try to identify exactly the source of error and provide the user with specific and helpful feedback (and even an explicit solution, where possible). Here, Rust was very much an influence.

I'd submitted a previous version of sane to Show HN before, but v7 is a complete re-write, down to the documentation.

I don't expect sane to replace Make or other bigger scale or specialised build solutions, but I do think it can be a good option for small-scale projects or prototypes, and everything that can benefit from portability.
I think my feeling would be “The planet cannot possibly stand having 100 grandchildren for every current person. What have I done!?!?”
The story of this century seems increasingly obvious to me. Either we invent superintelligent AI that saves us, or increasing incompetence, decay, and "tragedy of the commons" type problems cause us to eventually blow ourselves up.
This is what I've been doing. GPT-4 to generate some data from some input, followed up by a 3.5T call to verify the output against the input to verify the content. You can feed the 3.5T output straight back into GPT-4 again and it will self-correct.

Doing this a couple of times gives me 100% accuracy for my use case that involves some level of summarization and reasoning.

Hallucinations are not as big of a deal at all IMO. Not enough that I'll just sit there and wait for models that don't hallucinate.
> used an alleged Russian missile attack on a wagner base

You can't assemble those forces in a moments notice.

You can't expect no resistance on the way to the capital.
Not sure why this is getting downvoted because this is the best way to browse HN in my opinion.
https://www.amazon.com/Apocalypse-Never-Environmental-Alarmi...
> Are they just extremely rare cases or am I just not aware of the valley and their customs?

Not aware. That's not unusual compensation for key contributors. Especially in AI or other niche fields. Even outside the valley.

We acquired something a while back in Montreal, Canada and it sure wasn't cheap. Salaries were in the same ballpark as our positions in the valley. We actually got most of the team to relocate to California on O-1s but still have some guys over there.
This sequence of events left a strange aftertaste: first striking observation was that there was no enough information about what’s going on and there is still not enough. Everything could be narrowed down to a few sources in Telegram giving very brief updates. The reporting by traditional media had a lot of „not independently confirmed“ details. This was very strange, given that everything was happening in a densely populated area - Rostov, Voronezh, Lipetsk and Tula are big cities, M4 is an important highway with a lot of traffic. I would expect minute-by-minute coverage with a lot of pictures, maps, estimates of how much time they need to reach Moscow etc.

Second observation was that the regime did not exist in the moment: with few notable exceptions, we have not even seen faces of anyone from national security council. Some local actions of the governors, fortification of Moscow, pathetic speech of Putin in the morning and that’s it. The weakness of it in the face of a violent force was exposed.

Third observation was unexpectedly high visible support of Wagner by people. Many laughing at situation or agreeing with Prigozhin‘s demands, some bringing food and water to mercenaries in Rostov. All despite that PMC Wagner is a criminal organization famous for extra-judicial executions, war crimes etc. An organization led by an open nazi (Utkin) and assembled from prisoners, many of which were convicted for violent crimes. It is crazy how people can even think of collaborating with them.

And the outcome, a deal that says Putin is no longer in control without saying it. Could it be some conspiracy to purge elites while keeping the supreme leader in power? It does not look so. It looks like he for the first time in history was forced to eat the pill. Yet he is still a president and business is as usual. It is a very dangerous moment if we remember that Russia still has nuclear weapons and it is big enough that even without using them by falling apart it can destabilize the entire world.
US citizens have no shortage of good feelings and high minded ideals when it comes to criticizing other countries, though. I guess what GP was pointing out is that this double standard is especially creepy when it comes to military matters.
This seems like semantics. Presumably they're taking these factors and putting them into some kind of calculation which probably outputs something like a... score.

Maybe what you are criticizing is a particular input in that calculation? I notice you don't mention repayment of past debts, for example.
I guess I didn't read it that way, but maybe you're right. I'm not sure it's a reasonable thing to be asked to promise, so it doesn't really upset me.
Which is and was the most obvious conclusion.

But it doesn't seem to detract the conspiracy theory nutjobs from continuing to push it without any evidence whatsoever.
That would be unthinkable now. Crazy how things have changed.
I think the worst case scenario, and the one that I think is the most likely, is that we plateau at broad and shallow AI. Broad enough such that it can be used to replace many workers (it may not do a great job though), but narrow enough such that we don't really see the kinds of productivity increases that would usher in the pseudo-utopia that many AI folks talk about.
Indeed, they're there because the US Space Force let it be known that a meteor was caught on their systems going faster than the escape velocity of the sun and impacted near where they are.

I still don't know how long they've got on this expedition. I do hope they find some bigger pieces, but given the speed and the atmosphere that may be impossible.

HN, unfortunately, is generally dismissive of this study and Avi Loeb in general.
What is sensationalist about the submissions?
The funny thing is that I can't Ctrl+U on Firefox due to a character encoding error.
>Right. It would've been a different story if the Russian army treated them as enemy - their air forces could've stopped the convoy dead at any point of their choosing.

my point was that they tried and they failed. wagner has a bunch of manpads and few pantsir sam systems. they tried to bomb them on highway from planes but missed and kill civilians in track. they also tried to shoot at them missles at voronezh but blew up some petrol refinary. they also tried to bomb some bridge to block road to moscow - but also missed
> Is there any point though really?

I really meant the "you might enjoy" part. I wasn't suggesting it's an efficient way to make money.

Some people are really bothered by misdeads going unpunished.
Just note that Cloudron is not open source (used to be) if this is something that you would care about.
Cisco specifies Sup720 as being capable of “up to 400Mpps*” routed IPv4 with the footnote implying that this is in dCEF mode. With dCEF, each linecard has its own forwarding logic, so the lookup time deadline has to be multiplied by number of linecards (ie. 4 for 6506 chassis). One implication of dCEF is that you end up replicating somewhat expensive ASICs across the system to gain more performance, which gets real expensive real fast.

Not that it changes much about your point.
*chef
The code in question:

(e: Event) => {
let t: EventTarget | null = e.target;
// here "t as HTMLInputElement" did not work
if (t instanceof HTMLInputElement && t.files && t.files[0]) {
const file = t.files[0];
if (file) {
(myImageElem! as HTMLImageElement).src = URL.createObjectURL(file);
}
}
}

TS wouldn't accept it. My guess is it's not cluttered enough.

My final vanilla version OTOH:

(e) => {
const t = e.target;
if (t.files) {
const file = t.files[0];
myImageElem.src = URL.createObjectURL(file);
}
}

How is the latter not a million times more elegant?
Why do I need to clutter everything with types that I won't even think twice about?
Oh, I guess that could sound snarky. I wasn't feeling snarky, though. We are the wrong place for a lot of people to work.
Ah, but the parent comment does so much to fuel the narrative of conflict that makes places like the Fediverse so appealing to some.
The author of Leptos has some great YouTube videos talking about Rust for the front-end, especially the performance aspect: https://youtube.com/@gbjxc
I would do the same. The park will likely add a "bicycles excepted" sign to indicate bicycles are exempt because implicitly most people know that.

I think the point of the game is to demonstrate there are some people who will argue the sky isn't blue. That is one thing we should all be able to agree on but if you were to pose that question to the internet you'd definitely get "I'm colorblind and what you call blue I call green ergo the sky is not blue".

Those people aren't worth your time and will disagree just for the sake of disagreeing and getting a rise out of people. I'll admit I'm guilty of doing the same in some circumstances.
This looks very nice

Why use React style capitalized names for components, like App instead of app? It's a bummer when framework breaks a languages style conventions.

I'm confused by 'derived signals'. How is a derived signal different than a signal?

> Using a derived signal like this means that the calculation runs once per signal change per place we access double_count

https://leptos-rs.github.io/leptos/view/02_dynamic_attribute...
Aaaaaaand there you go

https://twitter.com/amuse/status/1672610521718177793?ref_src...

Fuck your downvotes you morons. I was right.
Ask HN: Did studying proof based math topics make you a better programmer?
Hello,
Hope all is well.
I love math but haven’t studied much of it.

I have only studied up to real analysis. But definitely not a whole semester worth; my experience with analysis has been analogous to Poor performance in a quarter based analysis course. I did some exercises but not many.

I have heard from an mit professor[1] that math is the way to learn to think rigorously. So I’m curious about this and I’d like to improve my thinking skills in the hope that I will become a better programmer.

In an article a math professor said that there was some evidence that math improved logical skills[2].

So I’m wondering if any of you noticed that your thinking skills improved thereby making you a better programmer after studying analysis or topology or some other proof based math course.

Also which math other than the math required in CS programs should one study to be a better programmer and thinker?
Thanks
[1] https://m.youtube.com/watch?v=SZF0MFm9pqw&pp=ygUTQWR2aWNlIHJ1c3MgdGVkcmFrZQ%3D%3D
[2] https://www.nytimes.com/2018/04/13/opinion/sunday/math-logic-smarter.html
How are we determining it's a dead end here? Recently things like GPT-4 have come out which have improved on that technique. Why would specialization necessarily reduce hallucination and improve accuracy?
Good.

Mask mandates are an extremely unskilled method of encouraging a behaviour.

The mandate resulted in many people putting any old piece of cloth over their faces.

Mask mandates enabled the topic to become a political issue.

Therefore, the refusal of many to comply is the more correct decisions.

Stupid rules should be broken, and the rule makers ridiculed and removed from office.

If your response to a crisis to become a tyrant, you are not fit to lead.
moreon chem: https://www.understanding-cement.com/zero-carbon-cement.html
Yes, and I'm pretty sure Russia could do that too - if they were getting Blitzkrieged by some outside enemy force. Here, it was a theoretically friendly and small force, that suddenly turned around and drove towards Moscow. Given how much damage blowing up bridges and highways would do to the country, and somewhat unclear threat from the approaching mercenaries, I don't think anyone on the defense side considered dropping a bridge on the highway to be a reasonable move.
Who are these “wrong people”? The ones who “don’t believe in the mission and are just working to get paid”?
I think modeling a human concept would be a far better approach.
Zypper does a repo refresh rather frequently which adds to it feeling slow. You can disable that.
Putin might actually be in trouble. Obviously Wagner can't defeat the whole of the russian army, but he's got a large number of battle hardened troops who could stage an effective assault against Putin, overwhelming his person security.

The other factor is Prigozhin is popular with the rank and file in the russian army, and so has a chance to effectively control the army if he decapitated the leadership. Putin's underlings would probably fall in behind him if they believed he did.

Putin, for all his personal power, is only one guy, he depends on the loyalty of the people around him, and this being russia, I imagine they're very much looking out for themselves, rather than some higher calling, so they can be convinced of what's good for them in the current situation.
Rider is the 1 good IDE for .NET.
Where are these “profitable” new features?
I think part of the reason for this is accessibility. If you're using a screen reader, then I think this approach makes sense.
My hunch is the problem is they are essentially doing both in the same input field.

One of the hardest design problems with search is that the affordances of a search field is largely a mystery. Mixing paradigms does not help.
> How do you qualify the best?

We’ll, by the number of Leetcode Hards they’ve completed, of course! /s
> 1. You are just referring to fine tuning, I am referring to training the base model.

Ahh mb! Sorry.
How do you know your team would be more effective in any given configuration? Do you have some metrics you can share? Above such metrics, what if working in the office meant losing a couple of folks who turned out to be highly efficient but wanted to work from home and you could only find less effective replacements? What if the opposite were true?

People are constantly arguing back and forth about whether WFH or office is more productive and the various pitfalls but actual evidence is sparse. And second order effects just throw everything out. I think we'll be talking about it for a long time and it's still company and personal preference.
> What field, if I may ask?

It was in CS actually. So writing in social sciences doesn’t seem too appropriate.

Thanks for the other hint though. Seems quite interesting and seems similar to: How to write a great research paper [1]

[1] https://m.youtube.com/watch?v=WP-FkUaOcOM
Is this confirmed? I stayed away from the news firehose this time, and only followed BBC live reporting, and IIRC there was no confirmation there of any bombing attempt, successful or otherwise.
Recently nvidia added an opensuse repo too. I personally have yet to encounter a package I couldn't find.
"Evil boyars". Not the first time, not the last.
meh. he speaks in punchlines. these days many rappers do that all day for hours /s
Visual Studio is and should be deprecated. It doesn't run on most platforms, has an awful extension ecosystem and a terrible interface in general.

It does have a good amount of features that can turn out to be useful, but the much worse core editing experience makes up for that.
iOS Memory Deep Dive [video]
I'm loving Dunnet in Emacs. Nobody spoil me on how it ends, plz.
You’re thinking PMs rather than engineers.
I can respect Honnold and Leclerc. While their pursuits are dangerous, they took great care in their craft and respected the mountains and the art. This guy just seems like a reckless fool, pursuing likes on Instagram out of some stubborn unwilligness to deal with his depression head on.

Btw I have had a TBI, thankfully I made a full recovery, but I am not at all sympathetic to the TBI-justifies-deathwish this article hints at. The fact that the author writes these biographies, and seeks to add in his own lived experience, but has basically no bio of his own on his website is also a bit off-putting.
Is encryption at rest that useful? These days it's trivial to enable full disk encryption on most systems so it's not so important what individual apps are doing.

E2EE is definitely important however, personally I wouldn't use a journaling app that doesn't have this. In which way would it affect usability?
Can you highlight polls or some other data source showing that the "environmental Left" is rabidly opposed to nuclear power? The best current poll reporting I can find don't distinguish beyond major political party: https://www.pewresearch.org/short-reads/2022/03/23/americans...

You're also mentioning their opposition over the last 40 years, yet not comparing it to the latest and greatest nuclear power plants. Presumably many people are unaware of advances in nuclear power technology.

Edit to add: Thirdly, if the rabid environmental Left is opposed to nuclear power, I'd expect them to also be opposed to most of consumerism for other reasons (such as the environmental impacts of resource extraction). If they believe necessary power can be had from non-nuclear, non-carbon-intensive power plants (such as wind or solar), then to support nuclear power would be basically supporting the continuation of a consumerism that they generally see as bad for the environment.

To only take greenhouse gas emissions seriously when rabid environmental Leftists completely change their worldview seems counter-productive. You have to take it on its own evidentiary basis.
Is synthetic data worth the hype?
There are a lot of questions when it comes to synthetic data generation.

Here it is a curated list of the most relevant questions about synthetic data: https://ydata.ai/resources/10-most-frequently-asked-questions-about-synthetic-data
You seem to be agreeing with everything I wrote apart from the sarcasm.
IIUC the parent comment, here's some similar logic:

(a) (some) right-handed people are on diets.

(b) (some) right-handed people are gaining weight.

(c) ergo, right-handed people suck at dieting.
This is already over probably

https://t.me/komintariy
I think you totally missed the point.

You are born with the rights to be President of the US, but the constitution takes it away if you aren't born a US citizen. Before the constitution did that, literally anyone could (all the first presidents of the US weren't born US citizens, for example).

Any right you can imagine, you are born with them. Then some legal document either affirms them, removes them, or ignores them.
Those aren't retirement costs, those are current costs as listed by the OP as reasons he can't save for retirement.

Car payments were calculated based on a 50k new car, so if he's paying more than that he definitely has a luxury car.
Not a take home assessment but after I went in for a half day in-person interview at one company, I was totally ghosted by everyone, including the recruiter. They didn’t bother to send a rejection email and didn’t bother to respond to any of my emails.

I used up vacation time to meet with them, I would expect some type of acknowledgement regardless of the outcome. I didn’t even care if they gave me feedback. Just give me a “yes” or “no”.

The company was Splunk.
those initial units were incompetent. Wagner demonstrated themselves as the most competent russist units
How dare you, it's already too late!

https://web.archive.org/web/20230307215203/https://twitter.c...
The title is missing a word, it should be: "GPT-4's Secret Has Been Revealed"
Indeed, check if you can spot the difference from these resource usage metrics:

https://programming.dev/comment/317806
I didn't understand the significance of

> 35. … Other words should be banished.

(all other words than clichés? Certain other words, so obvious that they need not be specified?), so I followed the link http://www.lssu.edu/banished , which … doesn't exist. Is that the joke, or did the link rot?
In my experience, it’s easier to understand everything as a single project with the mind map of flakes. Although it is as you mentioned that a lot of complexity is hidden and can bit you in the ass, like home manager not (necessarily) using the systemwide nixpkgs, yet as a beginners it feels easier to grasp how everything is one big derivation and your home manager config is only a dependency of this derivation.
Let’s say that I work at another company known for its PIP culture. If I only last 4 years through my initial offer - I both made more than I would have made anywhere else for my skills and experience and now I have that company on my resume. How is that a bad thing assuming I didn’t blow the extra money on coke and strippers.
pretty much with most groups, from the cdc to ftc to fifa :)
> Sorry, but in this case it absolutely does. The alternative would be, for example, to request ID verification when signing up for a freaking TikTok account. Because that’s what you’re going to get if you prevent fraud prevention.

That sounds wonderful to me. Crack down on the shills and charlatans...
Yes and no. Most questions they answers are more politically leaning, meaning that they are not optimisation problems but they answer the question of the kind of society we want to be.

This specific article seems to be reporting on a very technical issue on how to continue to scale LLM. Even scientific papers have a hard time answering those kind of questions because unless in very special circumstances where we can show with a good confidence that there are limitations (P vs NP for instance) the answer will simply be given by the most successful approach.
The underlying ActivityPub endpoints use JSON-LD, which is much more HATEOAS than plain the JSON shown in the link above.

If you send an HTTP request with an header of 'Accept: application/activity+json' you get proper machine-readable data out.
Many people didn’t expect 24.02 to happen, thinking that it was too obvious that the attack will fail. Yet it happened, because Putin felt cornered and modern Russian masculine culture does not allow to step back. Same with Prigozhin: we could not see it happening, because we did not know how he felt when he decided to start planning the raid. Rationality of the strong leaders is often exaggerated: their chain of reasoning may be generally perfect, but the original assumptions can be purely emotional. Predicting them is an difficult task for intelligence services and getting inside data from Wagner to crack it would not be easy.
There are no 4P motherboards for AMD EPYC processors, they're all 2P because the of the number of interconnects per server CPU.