skysight-inc/HackerNews huggingface dataset:
Reading all that, I'm happy my part of Europe is a bit behind the tech curve here.

I mean holy fuck, "native mobile app" and "getting contacts" do not belong in the same sentence in any sane universe.
> But it's standard to have at least 2 webservers.

Why do you need 2 webservers (assuming that the cpu / network / disk throughput of a single server is sufficient for your application)?
What is the current state of GAIA-X?
Ask HN: How do you deduplicate fuzzy files?
I am faced with the task of designing a system in which users can upload a large number of files of various types which are similar but not the same.

I would like to deduplicate parts of the files, but I am wondering if there are better (existing) solutions than simply searching for large sections of the same blocks in the files, swapping them out and then referencing them.
Agreed. But Telegram seems to have this data unencrypted.
but that's exactly what's happening. They have the data and they don't comply. Phone companies and ISPs get court-ordered to release data all the time and they do it or go to jail too
It's really impressive to see how determination and a bit of technical know-how can overcome such blatant profiteering by some companies. The effort and ingenuity put into fixing the system rather than just paying for an overpriced replacement are commendable. It's a clear reminder that proprietary smart systems can sometimes backfire, pushing customers to seek alternative solutions or even become DIY experts out of necessity!

Like some of the commenters, I've been thinking about the growing frustration with these kinds of business practices. It really makes you wonder about the balance between smart technology's convenience and the long-term costs they can impose.

What do you think would be the most effective way to encourage companies to offer more consumer-friendly solutions, especially for minor issues like this? Should there be stronger regulations, or is there a market opportunity for more open-source, user-modifiable systems?
This was just an example that TLA+ is not executable.

You didn't realise that f[x] = -f[x] implies f[x] = 0, and that is how it is often: You have some property, but you don't know what it entails exactly. TLA+ allows you to reason about that.
I'm one of the "dislikers" although the neural network stuff is itself an amazing tool in my opinion. I like to fall back on a much easier argument (IANAL and this is not legal advice), can these code generating things generate code without reading (training on) encumbered code?

Humans can learn syntax and basic programs then independent of any "similar code", humans can produce new algorithms that solve specific problems. Now sure, similar code can be searched for on the internet but the code is "attributed" and will likely contain a license. If the human copies it too closely, attribution and licensing rights come into play. The LLMs apparently just bail on attribution.

The way LLMs are trained is that they are fed an absurd amount of code, humans cannot train this way because the volumes of code to be read are too great.
This!!!! ^^^^^^^
To make things even stranger, Durov was apparently invited to lunch by Macron. Instead of a presidential welcome, he was arrested on arrival.

Source: https://x.com/Zlatti_71/status/1828529272539304278
People underestimate the economic side. This person probably earns 6 figures (if not, he should). Fixing this himself probably costed more than $1697 in his time.

Now imagine a service doing this, with a manager and all the overhead.
You're both missing one of the more likely explanation.. that nobody gave much thought about how long the device would last. "It's solid state electronics, it'll probably outlast the warranty anyway".. I can imagine an aircon company puts a lot of effort into analyzing the air-conditioning unit itself to make sure it lasts at least as long as the warranty, with good margin. But I can totally see them winging it on an external control device, which was perhaps even a project they outsourced anyway.

I don't think actual malicious planned obsolescence is as prevalent as many believe. A device breaking right after warranty is not a good strategy to get repeat customers. It's also a huge risk if you miscalculated and you suddenly get a lot of warranty cases. You want a lot of margin there.

I've been involved in the design of a thing myself, where something the manufacturer hadn't clearly communicated - and we just barely caught - could have made the device die just around a typical warranty period for such a device. When we found out, of course we worked on this problem to make sure it didn't die prematurely.
That is the real issue, because ultimately, this is about the memory hole. A re-upload of a camcorder copy of a VHS is no threat; it will be degraded (again) when the digital archivist who saved it's re-encoded copy[1] (from whatever video platform deleted it) posts it again. Intercepting a exact bitstream circumvents this modern camcorder copy deliberate problem, and would ultimately obliterate the non-arguments to keep the original file unavailable.

On the other hand, a signed sha3-256 digest along with the original[0] file before YT re-encoded it (and stripped it's metadata) is unobtanium for the plebs. It is the _most_ important data for the host. It's the first thing they backup. As far as I know, they (YT/Rumble/Tora3) never talk about it. Some would love to only serve hallucinated (when convenient) upscaled derivatives.

Power is threatened by persistent lossless public memory.

[0]: https://news.ycombinator.com/item?id=20427179

[1]: (Mr. Bean, 2024) https://www.youtube.com/watch?v=xUezfuy8Qpc
Isn't this what forks are meant for? Fork FreeBSD to RustBSD and experiment?

Personally I'd prefer if it stays out of FreeBSD. All languages with package systems turn into a horrible quality over time. PHP Composer, Python Pip, node NPM and so on, initially it seems effective but the version dependency/issue hells are true nightmares. And I fear rust with cargo is going to be the same. Maybe I'm wrong, and in case it does go into base, I really hope I'm wrong so the quality of FreeBSD doesn't go down...
If I remember correctly it's also about eMMC having a much shorter life than UFS or similar storage. Though yes, unnecessary logging isn't helpful either. (Quick post-googling edit: apparently both use NAND, it's more about wear leveling apparently that makes the differences.)
Tried it out - easy to get started, Nice UI, but i think more context, iteration is needed. I asked for developer frustrated with bugs - it showed me a person with real bugs :).
Not a biography but I like Einstein's book "Evolution of physics". It is supposed to be popular scifi book, and covers same topics as high school physics for layman. But, it is still good to hear his perspective: https://www.amazon.com/Evolution-Physics-Albert-Einstein/dp/...
Some government officials also qualify environment activists as "ecoterrorist" which make them enter in the "terror" category.
I think interface change fatigue is real. DisplayPort has been around but there wasn’t a compelling reason to use it when displays had hdmi ports.

People are also looking to USB-C as the next iteration in display connectivity because it does “all of the things” from a consumers perspective.
We were talking about somewhat different things, you meant doing it mathematically, sure, no problem, pick an infinite random sequence, I understood the question to mean how to do it in practice.

Actually I had something even stronger in mind, being able to pass the generated number around. For pi I can have a program that I can pass around and that will give everyone access to all the digits of pi, in base 16 we can even have random access to all the digits.

For generating a random Cauchy sequence things are not that easy. Locally I can just use a true random number generator - in case such a thing exists - and generate all the digits I am interested in on demand, storing them in case I have to look at a previously generated digit again. But I can not easily pass that number around, only the digits I have already generated. We would need a shared database where everyone can share all the generated digits.

Or I could try to replace the true random number generator with a pseudo random number generator, then I could just pass the seed around. Everyone would have to either agree how the sequence of random numbers is mapped to the sequence of digits or we would have to use a seekable random number generator. But this raises the question whether using a [specific] pseudo random number generator would still yield a normal number.
The net import graph you linked to shows Germany hit record net exports in 2017, at 50TWh (roughly half the 90TWh level you claim) and at a time when nuclear and coal has been phased out by roughly triple that amount so, once again, the data does not line up with the claims being made.
This seems interesting. Most of the times I test prompts by directly calling the API and making the changes. This can be interesting if we can choose LLM endpoints. I would love to contribute to this repository as open source contribution.
This is a tough one. Guido was excellent at his role, and his decision to hand it over was a mature one. It was everybody's hope it would help to guarantee long-term future for Python, independent from corporate greed.

Now these new folks seems to be failing at the only job they had. Maybe they need more time to mature, or maybe the Python Community should take a more decisive stance towards this kind of abuse of power.
Are you still spending hours watching tutorials, trying to figure things out, or searching for coding errors? Do you waste time looking through documentation and APIs? Want to boost your productivity?

Imagine having an AI that understands what you're doing in real-time and offers instant help. That's Dev:

It observes your work, and you can ask it any question to get context-aware answers—unlike ChatGPT, Claude, or other AI tools.

Always on your screen and ready to assist, Dev provides quick, relevant answers to make your work faster and more efficient.
He also has a French citizenship despite having no connections to France, which he somehow magically gotten due to "merit foreigner" status in 2021.

Le Monde couldn't figure out why he gotten that citizenship, there is very little detail.

>Durov was naturalized as a French citizen in August 2021, giving him European Union citizenship. Le Monde described the naturalisation as "mysterious", since Durov had not resided in France apart from brief visits. Le Monde suggested that Durov was naturalised via the rarely used "merit foreigner" procedure that is awarded directly by the French government to people viewed to have contributed exceptionally to France's international influence or international economic relations.
I agree, but I also think your illustration of the problem is a bit off. The 90% gauss curve center part of customers doesn't need the tail end of display connector bandwidth.

However, devices have a lifecycle, and a lot of this hardware will still be in use in 2-3 years, where this will have moved into the center part of the gauss curve. Higher resolutions and HDR (which may push 10bit) will trip this much more than a 240Hz display [which ain't ever gonna' be mainline, really, considering we went down to 60Hz from CRTs with faster refresh rates]

CEC can be done over the DisplayPort AUX channel. I think there were attempts at an ARC equivalent but they floundered.

Another interesting question though is how much A/V connections in general will still be used in the "TV world" down the line… with everything moving towards more integrated networked appliances instead. E.g. streaming service "HDMI sticks" are now apps on the TV instead…
> We must not forget that it is not our business to make programs, it is our business to design classes of computations that will display a desired behaviour.
28. August 2024
150mailer.com Review: I’ve recently had the chance to try out the buzz-worthy 150mailer.com, and I can’t wait to share my findings with you. 150mailer.com is an innovative platform that offers free traffic and clicks for affiliate marketers, setting it apart from other email marketing services. From the moment I logged in, I was captivated by its intuitive user interface, making campaign setup and management incredibly simple.
It's funny how drama, toxicity and speech suppresion ensues as soon as you establish a CoC and let a bunch of SJWs enforce it. Every. Single. Time.
>how far away are we from making phone companies and ISPs liable for crimes committed using their services?

They are already liable unless they follow the law to enjoy certain exemptions.
Mediocre software engineer / very good amateur motorcyclist and mediocre bodybuilder. 20+ years of experience in all of them.
You could say the same about C library dependency hell. I have not used FreeBSD myself, but if I'm remembering correctly, the main reason that dependency hell does not affect the BSDs is that they have their own internal set of C libraries that are developed in tandem.

As an OS vendor, FreeBSD could do something like that with Rust. If a Rust application is developed inside the FreeBSD source tree, make it so that it can only use the Rust standard library plus whatever libraries exist inside the FreeBSD source tree.
Giffen goods
Does that work on autistic people? Having no filters or fewer filters, should allow them to be more efficient "on guard duty" looking for unexpected things.
At the point I run out of free credits, I was still arguing with the AI about stuff it was doing wrong.

I think the amount of free usage needs to be high enough for people to get a small taste of success at least!
Are there any good open source documentation chatbots that you can integrate into the search function of docusaurus? If you see commercial offerings like mintlify, they all come with a Q and A chatbot built-in. It’s not very hard to build, you just need to generate the RAG chunks at build-time but this is best implemented as part of the documentation software, rather than as a third party plugin since it heavily ties into the search feature.
> Rationale: We used the same operator name for full-table and grouped aggregation to minimize edit distance between these operations. Unfortunately, this puts the grouping and aggregate columns in different orders in the syntax and output. Putting GROUP BY first would require adding a required keyword before the AGGREGATE list.

I think this is bad rationale. Having the columns in order is much more important than having neat syntax for full-table aggregation.
Android studio is miles ahead from xcode this days - I'm envious ios dev. Wouldn't call android studio crappy
yeah, they're poorly named and that seems to be one of several ways they're poorly thought out. but, whatever, 90% of everything is crap, and maybe they'll get better
Who are your competitors and why should I choose you over them?
Some people are unhinged... it doesn't matter what's the topic. Look around the world, there is a lot of stuff you don't agree with probably.

Some people don't see the Cons, they don't want to see the Cons... be happy for them to be so enthusiastic about a topic they love and ignore the rest of what they say ;)
I actually didn't realize the article went on after the ad.
I thought the opposite: if CUDA were easy to replace, wouldn't it have been replaced already?

PyTorch supports both ROCm and Ibex, but it's support is spotty and incomplete to the point where it becomes a pain to use despite AMD spending billions on improving its software layer.

NVIDIA is reaping a decade of design decisions on CUDA compatibility made less sloppily than its competitors.
I suspect that one of the main reasons is that people read it and think they have to adopt all of it.

Personally I still recommend it to people but with the caveat that they need to think about what aspects from it they adopt and which don't make sense for them in their environment. E.g. if function calls are expensive in the language they use and its compiler doesn't optimize their code by inline the ones it can, then they probably don't want to break things down to the level that Clean Code recommends.
They are fragile I've heard, and quite likely they dull quickly (don't know), but I'm not saying they're 'better' than steel; it's not a competition. Horses/courses.
If they want to really do it wrong (or right, from their PoV), they require the communication with the base station to be signed with a certificate signed by their root CA, and put the private key of that certificate in the TPM.
Ah, hm, that makes sense. Thanks!
> It is even possible that Durov has saved lives by not communicating user information to the french intelligence services.

If you ignore the missing human rights activists were using telegram and then suddenly disappeared.

as pointed out before, telegram is utterly compromised security wise. Its really advantageous that "naughty people" are documenting their stuff there as it leaves a loverly indelible trail of actions.
Poliscore: Bring more transparency, access to information in politics
Just like any UNIX proper, the ways of GNU/Linux are the exception.

And non-UNIX OSes, where by definition C library belongs to the compiler it is shipped with.
Show HN: I made small web hosting
https://github.com/turboblack/HamsterCMS

http://web1.0hosting.net/ - free hosting based on this CMS
Interesting! Yours is a different rev to mine, and a different chip. Can you post photos of both sides please?
mkdocs-material is fine if you prefer Python to JS, but I personally very much dislike how it looks, and as everything else it uses a weird custom Markdown flavor where indentation is handled weirdly which can create edge-cases where for example a valid GFM list is not rendered properly by MkDocs.

+1 on Starlight, though, it is my go-to and I absolutely love it.
I wish all API doc generators test the doc code examples like this https://rust-lang.github.io/mdBook/cli/test.html

Even if the code example works today, it might not in the future and tests prevent people getting stuck on outdated docs like we often see.
Some reference is made to the government report about writing all programs in memory safe languages now. However, the base system is not a "program" and I'm not sure Rust is a viable use here for that reason.

I'm saying that as one who knows little about the language.
> All languages with package systems turn into a horrible quality over time.

If a new package manager (or the existing one, cargo) tries to fetch packages and doesn't fetch it correctly, the users will be faced with thousands of compilation errors in a moments notice. The new package manager will be abandoned, or the users will revert the existing one to a previous version in which it worked as expected.
This wasn't that kind of validation - it was "is this token allowed to do this thing?" Like "validate your parking" kind of scenario.

(And yes, it should probably have been "CheckAuthorisation")
like the vintage 90s web site look :-D
I'm not sure I see the point, other than this being aimed at first world (see US/EU) businesses who solely have iOS application's and want to convert those to Android. So if you only have Swift developers and didn't have the forethought to want an Android version of the app going forward then this is a product for you. I would recommend, going pure native android or starting again with Flutter.

Whereas the rest of the world is Android dominant, and there is no real reason to do this when there's multiple better frameworks for cross platform development. Flutter, React Native and Kotlin MP are and always will be miles ahead. Let alone those framework's being free whereas here there is a cost for professional development.

As someone that has written various projects in Kotlin (including multiplatform), Swift, Dart/Flutter for over a decade I don't see the point. And I would be exactly the target market for this kind of product. The transpiling is the big issue for me, you will have to tap into every single Android API, write code to transpile those and then maintain across every Android version going forward.

Let alone the denigrating of cross platform frameworks and promotion of yours due to "animations, accessibility, and future-proof evolution alongside OS updates" doesn't sound like much of a win, when the quality of these in cross platform is already at a very high level. Secondly "And there's a GitHub ecosystem of open-source modules supporting popular frameworks, including SQLite, Firebase, Lottie, and many other common building blocks of modern apps." all of which exist in cross platform and kotlin multi platform.

I'm sorry to the developers and team to knock it, but just my 2 cents coming from a more third world perspective.
Is this tablet doing anything else beside the small user interface? Is that interface worth a tablet, or can it be done with 3 push buttons, a small LCD and a microcontroller?
Yeah QEMU's story for this sort of thing is pretty rough around the edges for OS dev. Wishing there was something like Unicorn-but-with-devices for making osdev tooling.
France cannot seize a company in the United Arab Emirates.
Can you people just make your own projects and then ruin them in any way you want?
Is Java on the way to being a .NET Competitor yet? I can't answer that, I don't know Java well enough.

I am told that the C# language has evolved faster and better than Java. Despite its origins in .NET 1.0 being basically a "Microsoft Java".

But paradoxically there is now more diversity of actively used languages that target the JVM. e.g. Kotlin, Scala, Clojure.
I’m disappointed to see how few people are up to date on what legal responsibilities platform hosts have.

Didn’t we have months and months of this discussion around the last US presidential election? Haven’t we had this discussion years ago when piracy was rampant on ”surface web” sites?

Businesses have always had legal requirements based on the nature of their trade.
That's on a thread that specifically solicited complaints though.

These are all reasonable but some are just lack of familiarity with the JDK standard library, or the reasons why things have to work that way to begin with.

For example, ArrayList not being immutable/thread safe. Although there are collections libraries that give you snapshot based collections, like this one:

https://github.com/Kotlin/kotlinx.collections.immutable

... I've never seen anyone use them because this is almost always the wrong design. Atomicity is usually needed at a coarser grain than a single collection, at which point you're needing to think about locking or transactions anyway, and if it isn't then the JDK standard library already offers concurrent lock-free lists or Collections.synchronizedList() which will give you the same effect. Having an object be mutated out from underneath you by a separate thread is a possibility of basically every language with shared memory. Only Rust tries to solve race conditions in the type system and its solution introduces many other problems.

He also complains that integer width/signedness casts only offer help from both the type system and the runtime! That's pretty good compared to other languages. Then he complains unsigned types are about the underlying bits not the semantic meaning of the number - well, yes, this is unintuitive but exactly the same as every other language because of the weirdness that inherently emerges when mixing signed with unsigned types. Java refuses to add unsigned numbers at all and they have their reasons for that! Unsigned numbers are really only meant for working with binary data formats, not encoding that something can't be negative. Use a jakarta.validation with a framework like Micronaut or Hibernate Validator if you want that.

Likewise for date and times sucking. If you use the long since deprecated classes designed in 1995 then maybe those suck by modern standards, although they're great for beginners. So don't use them: java.time is a modern package that treats timezones rigorously, at the cost of being a bit harder to understand.