skysight-inc/HackerNews huggingface dataset:
Everyone hates Agile these days.

But if you go back to original Agile Manifesto, this article is really hitting a lot of the key principles.

Seems like Agile, or MVP, anything that someone writes down as some really valid bullet points, then grows into some consulting industry that ruins it.
"Monday's statement also said that due to difficulties accessing the account, SEC staff had asked X Support in June of 2023 to disable MFA, which can offer added protection against unauthorized access."

I suppose life is about to get way more difficult for those who found accessing X with MFA too difficult ...
Interesting Bauhaus thread.
I'm afraid to ask whether he was brewed after the ceremony.
> A big difference from [Wasm and the JVM], though, is that SaberVM's analysis includes memory safety, like Rust. For that, it uses regions (as well as Vale's system, which is a big inspiration).

What about the verification complexity? The JVM screwed this part up somewhat, from what I understand, while Wasm is carefully designed to be linear to parse and verify throughout. And complex type systems aren’t always trivial to even check types in.

> The JVM doesn't try to guarantee memory safety

Wait, what? I always thought that (barring JNI and so on) Java bytecode was completely memory-safe (having been intended to run mutually suspicious code in the first place), it’s just that this is accomplished at the cost of pervasive tracing GC and bounds checks everywhere.
CIA Chief Pushes for More Spies Abroad; Surveillance Makes That Harder (2019)
> Because this guy writes like a YouTube comments section, and that's not how you talk to adults or solve problems in elite institutions

Indeed, we've seen how the polite approach is so hard to ignore/avoid that the adults in elite institutions solve problems before snarky folks wake up!
Not really, I mean more CPU only beats better algorithms up to a point. With caching you can guarantee 90% of the performance of the best possible algorithm by increasing the RAM tenfold. This is not the case with CPU, you can increase it however many times you want there's no 'master' algorithm that guarantees a performance up to 90% of the optimal algorithm, no matter how much more CPU you throw at the problem (though it would be handy, we could finally solve the Collatz conjecture).

I mean I do vaguely recall that there are sometimes ways to guarantee close to optimal asymptotic complexity by running all possible programs in parallel and seeing which one finishes first, but it's nowhere near as practical as LRU.
Even in jira you can filter your backlog by issue type. (Not saying it's the best approach, separate project and links might work better, because the workflow is different).
The problem is that not saying no, dismissing it without details, or ignoring it in an icebox removes a key feature and the way we should organize that idea: why not.

Suppose the idea is likely impactful but complicated to implement. In that case, you might want to think about putting those ideas together to argue for refactoring that would enable more impactful ideas.

If the idea would change the kind of service being offered, then it should inform strategic product thinking.

If the idea is relevant but unlikely to have an impact because it's too low level and about code quality, maybe you want to think of automating or including it in the linting process.

I think the problem here is that the tool, Jira tickets, isn’t suited for the use that you make of it: communicating with clients and defining product strategy. The problem is that there isn’t a good tool for that.
Sounds very fun (except latency), contrary to my sibling commenters I'd also prefer "big boy" music software (even if very old) to something "made for mobile".

Makes me think this could also be the way to run PureData (the whole thing, not just compiled patches) on Android. Was a bit surprised it never got ported last time I looked.
And at memory stall they are exchanged with other waiting thread groups.

Just like HT.
don't kid yourself - there is plenty of money to be made on both sides of the climate misinformation industry.
One thing I heard about the problems with the company not mentioned in the article, the moka pots are very durable, once you buy one, you don't really have to replace it.
Oh! No, IFNDR is much worse. Categorically so.

Undefined Behaviour is a runtime thing. For example, suppose I have a function which takes an integer between 0 and 9 inclusive and indexes into an size 10 array, but I discover that due to a bug it's possible if a user hits the "Expedite Gyro" button then as well as expediting the gyro, it calls my function with a value which can be up to 26. Indexing 26 into a size 10 array is Undefined Behaviour. Absolutely anything (possible) might happen. But this is runtime problem, the program is still correct unless you actually hit the button.

Undefined Behaviour is more common in a language like C++, but it exists in many safer languages, for example Go has UB for complex data races. It's hard to design this out of your language but some languages do (the safe Rust subset, the WUFFS language for example). It would be reasonable to argue that in such languages they "identify and warn" on UB, in the sense that programs with UB are rejected.

We can also detect at runtime that UB occurred, and say, report it or stop the software if that seems appropriate. To do this properly we need to know all possible causes of UB and detect them in the moment before they happen, while our behaviour is still well defined. Of course if we're going to all that effort maybe we should just reject programs with Undefined Behaviour up front ?

Ill-Formed; No Diagnostic Required isn't like that, IFNDR is about the process of translating the program, typically during compilation and thus long before runtime. It's a way to dodge Rice's Theorem. Henry Rice got a Maths PhD 70+ years ago for showing that the question of whether a program satisfies non-trivial semantic (as opposed to syntactic) requirements is Undecidable.

IFNDR says that's OK, we just won't ask, if our program doesn't satisfy the semantic requirements it had no meaning whatsoever and so we don't care what the transformation does, Garbage In: Garbage Out. This allows us to write all correct programs - we never checked they're correct but in principle they work. Unfortunately the price is that we have no idea whether all/ some/ any of our programs are correct.

The other way to dodge Rice's Theorem is practised by Rust. Check semantic requirements for each program and if you can't see why it satisfies the semantic requirements then reject the program. The price is that some correct programs won't compile at all. For example before "Non-lexical lifetimes" some really easy obviously correct Rust doesn't compile, because the Rust borrow checker used to assume borrows live until the end of a lexical scope.

I believe that incentive structure means IFNDR is toxic, because it encourages the language to add more and more unchecked semantic requirements, since they're "free". Their consequence is that your program is now nonsense and might do anything, but there's no errors, no sign anything is worse so you have no reason to complain. In contrast the incentives for Rust are to improve the semantic checking, because programmers are annoyed when they can see why their program is correct but the compiler is too dumb.
X years in tech and you haven't Y.

Pick any X and Y that maximises your ability to feel superior, I suppose.
My reason: IPv6 failed to fulfill its original objective.
> To an experienced developer who watched all the layers of abstraction accumulate this doesn't pose much of a problem

Well, I'm fairly experienced because I've been using Ruby since 2005 almost only with Rails plus some small scripts that I used to write in Perl, and yet I'm not up to date with all the new syntax and sugar that accumulated in the last years.

There are at least two reasons for that.

1. Working with Rails means that we tend to use only the features that make sense to use inside a Rails app. An extreme example: I experimented with Ractors but if they have a place in Rails app it's somewhere inside rack or db drivers, or maybe something like Sidekiq. They have no place in code that runs in the short lifetime of a web request.

2. Each customer use a different version of the language and of Rails, also among different apps of the same customer. They stick to those versions for years, usually until they approach end of life. That makes hard to remember which feature you can use in which project, so one tends to use the oldest common feature set. Example: I never saw anybody using pattern matching, which by the way changed between 2.7 and 3.x.
Revolutionary "Lego-Like" Photonic Chip Paves Way for Semiconductor Breakthrough
What does ‘batteries’ mean in this instance?
I went to one of his lectures in Atlanta in the early 1980s. I wasn't sure what to expect, but he was very interesting and approachable. Wonderful stories and explanation of his research, and afterwards he just sat on the stage and a bunch of us Ga Tech geeks surrounded him and we had an impromptu Q&A session. Very memorable experience.
Wouldn’t a curated version of the icebox help notice that pattern early? Especially if the team changes quite fast.
DeepMind's AI system able to solve complex geometry problems at a high level
The thread posted yesterday about Czech Republic's IPv4 deprecation plans had at least a comment about IPv4 with extras octets. I am pretty sure that even once IPv4 will be fully dead and replaced by v6, people will still rant about that.
X-Ray Investigations Hack Chat
A movement isn't historic effect. They were shut down long time ago and it didn't seem to have much result.

Ps. Efficiency improved with the internet too. New jobs appeared.
A new therapy for Ukraine's scarred soldiers: ketamine
What's your reasoning behind avoiding coffee made in plastic? Is it a form of plasticophobia?
I'm surprised something like reading gauges is not one of the entry level computer vision problem data sets. It seems to obviously useful.
I too have been known to eat small squares of paper to facilitate communion with the divine.
This article describes what nobody wants to admit. That shitty behavior and values leads to an unsuccessful life. Everyone wants to shift the blame to something out of their control, so they don't have to change.
It always amazes me how lazy and amateurish this type of fraud is. Copying and pasting pictures? Can't even add a little fuzz? I'm often trying to teach scientists to code, if they actually learned they could fake data much more credibly. Schon[0] was another big one; he didn't copy images but rather numbers which made up graphs. Adding some noise would've been really easy. It makes one wonder how much fraud is never caught simply because the fraudsters are a little smarter.

A basic assumption in science is that the raw facts a scientist presents are true. People question the statistical methods, they question which conclusions are appropriate given the data, but raw data itself is assumed to be accurate. We apply a lot more scrutiny to clinical trials (for obvious reasons), but trying to apply that same standard to all research everywhere would be cost prohibitive and slow research by a huge amount.

A lot of journals use image-duplication detectors now (the post mentions ImageTwin.ai) so I expect this particular form of fraud will stop. I suspect cherry-picking data ("inappropriate data exclusion") is the most common form, and will remain so. It's very difficult (often impossible) to detect.

On the positive side, I suspect the impact of stuff like this is fairly minimal. Everybody in the field knows that experimental biology is difficult and results are untrustworthy. Even excluding outright fraud, it's really easy to just mess something up. Or get a result which is "true" but doesn't generalize, and so it's useless. Good scientists don't trust something just because it's in Nature/Science/Cell, if they really care about the result then they replicate it before building on it. This would remain true even if all deliberate fraud stopped immediately.

[0] https://en.wikipedia.org/wiki/Sch%C3%B6n_scandal

[1] I dunno about the mouse one, it doesn't seem to be a direct copy/paste and a good experimentalist will do a lot to ensure consistent conditions. Everything else is pretty blatant though.
Hey there, do you sponsor visas?
Is not being able to buy a skin some kind of tragedy? It's a luxury item at any price.

I'm sure there is a kid somewhere crying into his controller because he's been rejected by his online friends because he's using the default skin, but I think he's learning a valuable life lesson.
> and we can come up with paradoxical phrases without realizing that they are nonsensical

Sometimes we have difficulty even noticing that a phrase is paradoxical even when pointed out. "More people have been to Berlin than I have."
The do alright. Never thought to asked them although their collection is mostly brass this one's mostly plywood.
I didn’t say I could do it successfully or that it even matters. Only that I am able to and execute, at my own discretion. You know, have agency.
Another option would be to distribute wealth more fairly, so e.g. inner city apartments are used for young professionals instead of as occasional holiday homes for the wealthy.
So much this. It seems both OpenAI and Microsoft try to change something about the model in their AI products, killing its performance.

In the case of Copilot chat, it could intelligently figure out and fix an issue given an error message from a linter. Nowadays it just rephrases the error message as a solution, effectively saying something like “To fix X, I would update the code so that it doesn’t happen” instead of fixing the code.
and Box86/64... not mentioned in this title here on HN
The genocides we support (Yemen, Somalia) and the destruction of the civilization of countless other sovereign nations as dictated by our oligarchic ruling class - factually a segment of a ruling military junta which dictates foreign policy doctrine allowing for the wanton destruction of other nations - is what is producing the refugee crisis in the world today.

34 million refugees from OUR wars clog Europes borders, currently. That is the biggest issue we have to deal with: why are they there?

They are there because USA and and its allies in Europe have given themselves the false moral authority to destroy nations, cart blanche: Iraq, Afghanistan, Syria, Libya, Somalia, Yemen - on the basis of a fundamentally racist ideology set in place by the oligarch ruling classes who seek to profit from these wars, and have DONE SO for decades now.

Yes, we are destroying nations in the Middle East on the basis of racist, intolerable policies set in place by known fascist oligarchs of OUR OWN MAKING.

We are NOT stopping genocide. We are actively funding and supporting them.

OUR failure to accept responsibility for this fact is why our nations are inundated with refugees and immigrants.
Sadly that's not how it works.

There's maaany possible justificatons for contesting previously non-contested resources. Historic or otherwise, justified or not. And those reasons change over time, change of leadership, economic or climate conditions, or even technological progress (resource previously considered uninteresting suddenly becomes valuable - and thus, often contested). Fairly (?) dividing whatever is contested, doesn't solve that problem.

One fix is to just accept that changing circumstances enhance or degrade whatever piece of the pie you got.

Or to keep 'moving the knives' continously. (Re-)distribution possibly enforced by military power. Oh wait... that is how it works!
I use omz primarily with the Kubernetes addons - which are now integral to my existence.

Does fish support something similar? If so then I could be encouraged to give it a whirl.
fish has a compatibility layer, and existing scripts still can use bash
Ask HN: How best to sync a subset of my files with a friend?
Here's the use case:

I'm working on a music project with a friend.
I want to be able to share the files with him so that he can work on the project himself.
We also want that any changes either of us make on our machines get synced automatically to the other, and also possibly a 3rd/4th destination for backup.

I would like to avoid using Dropbox or other cloud storage services if possible. This is enough data being exchanged that the cost will start to add up. However, if no straightforward self-hosted solution is available, I will likely concede and just pay for a solution. I'd be happy to hear recommendations for this route.

At the moment all the files are on my machines (1x desktop, 1x laptop, 1x linux server) all synced on my local network using syncthing.

My friend is a little bit tech savvy, but he won't be interested in using anything other than using a GUI which is well designed and robust. He won't be able to use CLI or want to mess with editing config files. He's on Windows 11.
Also note that I really want to do the same in Windows environment, so we would both be using the same solution to sync in Windows.

Final requirement is that the solution must only expose the files on the path I specified, I am not interested for example in SFTP that exposes my entire linux server.

What are my options for a self-hosted solution? I am able to open ports and route services into my linux server at home. You can assume I'm expert level at running services on a linux server.
By that definition I would not say any language has modules. Even compiled ones
I think it's because of all the news on micro plastics being linked to increasing the chance of cancers.
Nothing to do with being superior (seriously - it’s just a shell?) - was just surprised (if that’s ok with you).
I think chords and notes were chosen to create harmony. Or at least, the key was picked and the concepts used (mode, arpeggiation) will stay in it. Listening to it carefully, there is no random generation at all. It's all deterministic and periodic.
Of course they are boring. Non-boring means taking huge risk and chances. Something Google hasn't had to do for at least a decade. If you want interesting, join a startup. But you might end up without a job when they lose funding/run out of money.
I believe whoever told you that may have been joking[1]

[1] https://en.wikipedia.org/wiki/Joke
"Always Bet on Text"

- CLI encourages automation (shell commands are easier to repeat/parametrize then GUI steps)
- shell instructions are more git friendly than screenshots (even if a process can't/shouldn't be automated. Commands are easier to document in a reusable/updatable way)
- CLI can be used to run tests in a way similar how CI does it (more reproducible)

Command line tools are easier to extend/combine with existing pipelines (rg,jq,xargs): read input from stdin/write output to stdout, report on stderr, return non-zero code on error. It enables you to create adhoc tools that you wouldn't bother otherwise (unrelated: LLMs also have this property by making your skill set much broader (though very shallow with current LLMs)).
Shell also has Forth-like property (compose with: retry, timeout, setuid, exec, xargs, env, ssh, etc) https://www.oilshell.org/blog/2017/01/13.html
Well, there was an official court case about it, with the result that Höcke indeed may be called a faschist, due to many things he said, that were often literal Nazi quotes. And he was a history teacher, so he knows what he was referencing. (and yes, I oversimplify a bit by conflating nazis with faschists, but a) I see no fundamental difference b) it is pretty much common nowdays

And the AfD in its whole is not a Nazi Party, but some sections like thuringia, the base of Hoecke, are verified far right extremists, according to the Verfassungsschutz.

And Hoecke becomes increasingly powerful within the party, many sources say he is already the de facto leader.

And I frequently read their news sites and forums. But I never read of criticism of Hoecke there - so this means to me, the rest of the AfD may not be propper faschists (yet) - but they accept that one of their main leaders is one. That tells me enough.

"The AfD in contrast:

- Disdain socialism

- Do not organize massive street rallies"

The original Nazis also did not do socialism, but rather elimenated their socialist wing soon after taking power. And the AfD surely would love to organize bigger rallies, than they already do. They just cannot, as in reality they do not have the majority behind them, unlike they like to think.

"or the ones who have already had a key policy invalidated as unconstitutional"

And are you talking about the covid money transfers? There was a court case and it was ruled not allright. But nothing of the sort that the Ampel is opposed to the constitution. There was also a constitutional ruling that the government is not doing enough for climate change. Constitutional rulings against the government happen all the time and it is simply the job of the Verfafssungsgericht to make sure that the government stays in line. A system that is somewhat working.

Hoecke on the other hand marched together with the NPD .. and the quotes he uses, well, I assume you understand german, so maybe read for yourself?

https://www.volksverpetzer.de/hintergrund/25-hoecke-zitate/

It is verified by now that he admires the Nazis and dreams of a new German Empire. That is very much unconstitutional, opposed to a wrong accounting trick.
Launching Blackshelf, a personal shelf for all your medias
Hello everyone,

I recently launched a side project of mine called Blackshelf, and I wanted to share it to get some feedback.

Blackshelf is an all-in-one app for managing and enjoying your media collections. Explore, track and rate your movies, tv shows, animes and mangas while connecting with friends effortlessly. Keep watchlists, create collections, get recommendations and more.

I am the sole developer that worked on Blackshelf. Blackshelf was first meant as a project for myself and my friends. We were all tired of having to go to various platforms to be able to keep track of our different medias, and some of them were lacking essential features. We have been using it for a few months, and I have had only positive feedbacks from them, so they encouraged me to put it out to everybody.

I fixed a lot of bugs already, and I hope you can report any bug you stumble upon, so I can fix those as quickly as possible. There is a feedback button found in various places in the app, don't hesitate to use it.

I already have a lot of ideas myself, and I plan on adding new features quite often. The app is going to stay free for the time being, and I have no plan to make it a paid app. I want people to enjoy it, and I hope it answers their needs.

Thank you for reading me, don't hesitate to give it a try !

Also, if you want to support me, please go upvote it on Producthunt !
IEEE Computer Society Software Engineering Certification V4 Public Review
"The supermassive data leak, or mother of all breaches as the researchers refer to it, is likely the biggest found to date."

If it is a marathon, there will be more eventually.

"If there is good news to be found in such a discovery, it is that little of this appears to be new data. Instead, the researchers say, it’s more a case of compiled records from thousands of previous breaches and data leaks."

If the issue with SSNs, credit cards, etc. would somehow be solved, even big ones like this would not probably matter that much.
This article made me think it'd be nice to generate k8s JSON using TypeScript. Just a node script that runs console.log(JSON.stringify(config)), and you pipe that to a yaml file in your deploy script. The syntax seems more sane and has more broad appeal than jsonnet, and I'd wager that the dev tooling would be better given good enough typings.

By the way the answer to the question "why are we templating yaml?" is: people are just more familiar with it and don't want to have to translate examples to jsonnet that they copy and paste from the web. Do not underestimate this downside :) Same downside would probably apply to TypeScript-generated configs I bet.