MurphyA/hacker-news huggingface dataset:
by vitorgrs | 2025-05-08 08:45:01+00:00
Brazil it's actually building a project to give tax breaks and change/simplify a few regulation for datacenter projects. Import tariffs will also be 0 for them...

Finance Minister it's in the California trying to bring investments from the big techs... He met with Jensen Huang already.

I wouldn't doubt if Brazil might be interested.

TikTok is also interested in building a datacenter in Ceará, Brazil, as part of this project.
by josephg | 2025-05-08 08:45:04+00:00
Botanical trees appearing in nature don't make them "the fundamental truth of things". And in what way are trees the basis of human society? Thats such a strange claim. Are you talking about family trees? Because they're actually directed acyclic graphs.

Even if you want to claim that trees are a common data structure, that doesn't mean they're appropriate in any specific case. Should we therefore arrange all websites in a tree? Should relational databases be converted to trees, because "they're the basis of human society"? What tosh.

Programming moves toward practicality because software is created to do work. Taxonomies are entirely and completely worthless. The classic Animal -> Mammal -> Cat example for inheritance is a fascinating ontology, and an entirely worthless piece of software.
by dhaavi | 2025-05-08 08:46:57+00:00
Thanks! Well, every participant has to cover their own server/bandwidth cost. So, from my perspective, yes, bandwidth is free and abundant. Although I hope that Mycoria can/will perform well in lower bandwidth areas.

Interesting. Can you link that paper/article?

The DNS is not central. Everyone maintains their own local mapping. When accessing a website on mycoria, you open a URL like this that first creates the mapping and then forwards you to it: http://router.myco/open/speedtest.de.myco/fd13:6239:a07a:eb4...
by throwawayqqq11 | 2025-05-08 08:47:19+00:00
I have to admit, for brief moment i was optimistic when musk announced, he will fix social media (twitter). Long time ago.

This notion of censorship or filtering, but this time the right -- your way, is the same problem only with a different sign. If musk would realize that most people, no matter their political views, see it this way and will seek new platforms eventually, he might do something positive about it. Maybe.
by mike_hearn | 2025-05-08 08:48:25+00:00
These sorts of numbers need very careful understanding and analysis, otherwise they can be misleading. It isn't comparing apples to oranges to measure the performance of FoundationDB transactions vs an RDBMS.

A FoundationDB transaction is a vastly less powerful thing than an RDBMS transaction. In particular, an operation that would be one transaction in an RDBMS must often be split into several transactions in FoundationDB due to its timeout and size limits. An RDBMS allows a client to take thinking time for as long as it needs whilst working on a transaction. FoundationDB stores its undo logs in RAM rather than on disk. This lets them advertise great latencies but is the cause of the five second timeout. They actually advertise this as an "anti feature":

https://apple.github.io/foundationdb/anti-features.html

And KV stores suffer the N+1 query problem once you go over the network: traversing links between objects/joins requires round-trips through the client unless you have a very smart record layer and only do simple traversals, which can immediately kill your latency. But in FoundationDB higher latency = smaller numbers of possible operations before your transaction expires and has to be retried from scratch. Thus you can get into a situation where the cluster slowing down due to network congestion can cause death spirals in which transactions start dying because they ran out of time, get retried by the client and this places more load on the cluster which then slows down even more, etc. Whereas in an RDBMS the database slowing down causes backpressure to the clients that is ultimately propagated to the user, avoiding this kind of problem.

So... database benchmarks. Complex thing. Be careful out there! See my other comments on this thread for disclosures and more discussion of RDBMS vs FoundationDB.
by Spivak | 2025-05-08 08:48:57+00:00
This argument doesn't make a whole lot of sense because nothing about type annotations constrains Python code at all. In fact because they're designed to be introspectable they make Python even more dynamic and you can do even crazier stuff than you could before. Type checkers are working very hard to handle the weird code.

Pydantic being so fast because it's written in Rust is a good thing, you can do crazy dynamic (de-)serializations everywhere with very little performance penalty.
by qwertox | 2025-05-08 08:49:02+00:00
I just thought about this 10 minutes ago, when I saw the top post "Mycoria is an open and secure overlay network that connects all participants".

The actual title of the page is "Mycoria".

I actually wanted to thank the submitter for extending the title to something meaningful, but thought that it would be a too low value-adding comment.
by indianmouse | 2025-05-08 08:49:14+00:00
They seem to shoot based on vague reasons. And they don't reason. If it is a no, it is a no.

Time for an alternative app store. It is needed across the world. Single point of failure and control is not good for any ecosystem. Too much dependence on one single entity if one wants to exists in that is really some sh*ty concept.

Break free and break good! EU has to help here...
by throwanem | 2025-05-08 08:49:36+00:00
You'll never meet a bigger hick or rube than that stupid asshole Curtis Yarvin, and these fucking chumps look up to him. Man can't wear a leather jacket or a pair of shoes, can't style himself or comport himself in any other manner than that of a surly teenager in his big brother's illfitting rocker drag, never uses one word where fifty will do because otherwise a toddler could see he's full of shit to the eyebrows, and to these total jackoffs he's as good as a real rock star. God damn, there really never was such a thing as a fascist who ever had an orgasm, hey?
by eGQjxkKF6fif | 2025-05-08 08:49:58+00:00
I just installed it and it gave me a routable ipv6 address on my shitty little VPS that didn't have one. I'm guessing that if I put this on my laptop then that too will have an ipv6 address and I can communicate from my laptop to the server via ipv6, like tailscale; and vice versa I guess. Playing with it now. Basically link all of your devices to the network and it gets an IPv6; but ...the IP changes every time its run based on getting new keys. So, rolling keys by default? Haven't tested. But I guess if I keep the same key, the IPv6 that's assigned to it remains the same?

Will update later, because the yggdrasil website leaves me more confused than answering anything.

I've seen it posted and cheered about over socials (lemmy, hnews, reddit); might be cool to test.

From the docs: > However, autoconfigure mode allows you to quickly start Yggdrasil using sane-ish default settings, with yggdrasil -autoconf. In this mode, Yggdrasil will automatically attempt to peer with other nodes on the same subnet but will not attempt to connect to public peers by default. It also generates a random set of keys each time it is started, and therefore a random IP address each time.

yggdrasil[3510010]: 2025/05/08 08:37:16 Starting up...

yggdrasil[3510010]: 2025/05/08 08:37:16 Startup complete

yggdrasil[3510010]: 2025/05/08 08:37:16 Starting multicast module

yggdrasil[3510010]: 2025/05/08 08:37:16 UNIX admin socket listening on /var/run/yggdrasil/yggdrasil.sock

yggdrasil[3510010]: 2025/05/08 08:37:16 An error occurred starting TUN/TAP: permission denied

2025/05/08 08:37:16 Your public key is fab6caf3ae8895f5001398763db27d8e2f72f8278f44b543ba58b6658c>

yggdrasil[3510010]: 2025/05/08 08:37:16 Your IPv6 address is 200:a92:6a18:a2ee:d415:ffd8:cf13:849b

yggdrasil[3510010]: 2025/05/08 08:37:16 Your IPv6 subnet is 300:a92:6a18:a2ee::/64

So, saw a comment here from https://news.ycombinator.com/item?id=30156551 :

> I started using yggdrasil yesterday. The ability to get a static IPv6 address on a meshnet, with encrypted traffic by default, and the option to only accept inbound connections from public keys I trust is incredibly cool. Just like that I can access any of my devices that run ygg from anywhere using standard tools like git or ssh (or git-annex). It makes it really easy to network my devices together without having to screw around with split tunneling a wireguard server and create a DIY set of services to, for example, remotely manage my devices or sync things from one to the other, and that's just for starters. Feels like the Unix philosophy actually being useful for once
by ab5tract | 2025-05-08 08:50:50+00:00
I’m surprised this is considered a controversial take.

You can write spaghetti in any language or paradigm. People will go overboard on DRY while ignoring that inheritance is more or less just a mechanism for achieving DRY for methods and fields.

FP wizards can easily turn your codebase into a complex organism that is just as “impenetrable” as OOP. But as you say, fads are fads are fads, and OOP was the previous fad so it behooves anyone who wants to look “up to date” to be performative about how they know better.

Personally I think it’s obvious that anyone passing around structs that contain data and functions that act on that data is the same concept as passing around objects. I expect you can even base a trait off of another trait in Rust.

But don’t dare call it what it actually is, because this industry really is as petulant as you describe.
by p0w3n3d | 2025-05-08 08:51:05+00:00
Wow that's amazing. I sometimes play NES emulated games, which are (due to hardware limitations) using some tricks while displaying larger mobs, to show a few sprites instead of one (and using monitor synch to quickly switch the sprites in between switching to another scanline). This however renders as blinking in my emulator.

I can only imagine that this demo was doing similar tricks to "push the limits" on CGA.

Also, I remember my i386-33SX playing full 4 channel music on the PC Speaker in the game "Pinball Fantasies". This was state-of-the-art (also not working properly on DOSBox emulator nowadays)
by asdefghyk | 2025-05-08 08:54:36+00:00
The accusations is - several elderly people killed by serving a meal of poisonous mushrooms. One intended victim has survived.

The case has gripped the nation and created worldwide interest

Interestingly the iNaturist app was used to locate the plant (... used iNaturalist to locate and visit places where death cap mushrooms were known to grow....) ... as detailed in https://www.the-independent.com/news/world/australasia/erin-...
by dcminter | 2025-05-08 08:55:13+00:00
Even without that particular misunderstanding I found it very hard to initially parse what this was actually about; I'm skeptical that a naïve non-technical person will be able to work out what it's banging on about. Maybe they're expected to arrive from some other origin with a bit more context?

To me "Docs like code" conjures up documentation that looks like code, so I think something like "The basics of using programmers' tools to create documentation" would be clearer.
by raxxorraxor | 2025-05-08 08:56:00+00:00
I think the the standard setup for vscode continue for ollama is already 99% of ai coding support I need. I think it is even better than commercial offerings like cursor, at least in the projects and languages I use and have tested it.

We had a Mac Studio here nobody was using and it we now use it as a tiny AI station. If we like, we could even embed our codebases, but it wasn't necessary yet. Otherwise it should be easy to just buy a decent consumer PC with a stronger GPU, but performance isn't too bad even for autocomplete.
by naimgurleyuk | 2025-05-08 08:57:20+00:00
Cloud Developer

Location: Istanbul, Turkey

Remote: Yes

Willing to relocate: No

Technologies: AWS, NodeJS/Typescript, Backend, IaC, Serverless

Résumé/CV: https://drive.google.com/file/d/12FJf-r4YyqfyK9sAfjoIHrEgLGs...

Email: naimgur@gmail.com

LinkedIn: https://www.linkedin.com/in/naimgurleyuk

I'm AWS cloud developer who served many cloud apps in full-time jobs or in external services. I love to develop serverless, fully scalable, self-managed apps and watch them run in production. Right now I am looking for either a full-time job or project to run.
by josephg | 2025-05-08 08:58:22+00:00
It doesn't have to be "so isolated". The trait can still have required methods that don't have a default implementation. Eg:

trait Robot { fn send_command(&mut self, command: Command); fn stop(&mut self) { self.send_command(Command.STOP); } } struct BenderRobot; impl Robot for BenderRobot { // Required. fn send_command(&mut self, command: Command) { todo!(); } }

This is starting to look a lot like C++ class inheritance. Especially because traits can also inherit from one another. However, there are two important differences: First, traits don't define any fields. And second, BenderRobot is free to implement lots of other traits if it wants, too.

If you want a real world example of this, take a look at std::io::Write[1]. The write trait requires implementors to define 2 methods (write(data) and flush()). It then has default implementations of a bunch more methods, using write and flush. For example, write_all(). Implementers can use the default implementations, or override them as needed.

Docs: https://doc.rust-lang.org/std/io/trait.Write.html

Source: https://doc.rust-lang.org/src/std/io/mod.rs.html#1596-1935
by willtemperley | 2025-05-08 08:59:08+00:00
I’m trying to work out if an app was distributed with a service that ran in a separate process, e.g via XPC service on Apple platforms, could LGPL libs be legally statically linked only to the service code, which would be open sourced. The service and main app would not be linked at compile time so LGPL wouldn’t apply to the main app, which could remain closed.
by MattPalmer1086 | 2025-05-08 08:59:43+00:00
I used the Jetbrains IntelliJ AI briefly. It's certainly convenient to just click a button and have it fill in documentation or write appropriate tests for the context of the file or like you're on.

I would definitely use it over copy pasting for the convenience. However, I only code as a hobby these days, so probably won't pay for it unless I really get stuck into a larger bit of work - but would definitely then.
by omneity | 2025-05-08 08:59:51+00:00
I don't systematically pick one or the other location for these guards, but wouldn't it make more sense to have it in one place, the function itself, both for DRY and to ensure it being checked, rather than on every call site?

Such a requirement "oh yeah always guard your arguments for calls against this function for the "same" thing your compiler is doing anyway" shouldn't be implicit and duplicated everywhere if it's always meant to be fulfilled.
by airbreather | 2025-05-08 08:59:57+00:00
The concept works better for somewhat regulated environments, I have used it for functional safety.

For industrial controller software, esp distributed systems, there is a precedent of the standard IEC 61499.

One of the key components is the concept of an "Executable Specification", which may sound like unachievable BS, but if you are mainly doing state based systems, can be achieved by using state machines and working within a certain methodology/Activity framework.

I even wrote my own desktop application in PyQt specifically to satisfy requirements of 61508/61511 and the local burner code AS3814. The combustion and process engineers used this to specify (and verify by simulation, all within the tool) the exact exhaustive and unambiguous behavior for the machines (burner systems). As well for every state and transition condition attach a narrative about why it was like it was, with references, diagrams, attachments of manuals and datasheets etc.

Once all was decided, press the button, makes code, makes a documentation specification and compendium, and gives a level of traceability that is suitable for SIL 3, better accuracy, the systems guy (programmer) did not have to be a combustion engineer as well, because usually the crappy narrative type spec is always inadequate.

For certain types of code, this is the way of the future, and for things like rail and other super critical safety functionality, allows easy translation for application of formal methods to verify no unreachable conditions etc etc etc.

I had many colleagues that were initially in disbelief of the complexity but certainty of arbitrary functionality that was able to be specified with various hierarchal structures of state machines, as an executable specification
by aaronmdjones | 2025-05-08 08:59:58+00:00
Yes, and yes. Click the three dots icon in the top right (next to the star icon etc) and click "Show original". Look for the Received: header added by Google's servers. If it says SMTP, it was a very old MTA on the other side. If it says ESMTP, it was newer. If it says SMTPS or ESMTPS, it was secured with TLS; then it will also say the TLS version and ciphersuite below it.
by genewitch | 2025-05-08 09:00:35+00:00
Try PCem It has ancient stuff. I got os/2 warp and win98 running fine (with voodoo graphics!) Having more trouble coming up with a plan to get bsd or Linux on it. So far I got Debian 9 installed and I'm going to install Gentoo from within on a new vhd.

I know 98 and warp aren't technically ancient, but I had gotten the Xerox star 8010 emulator running well yesterday and went to work on pcem.
by barrkel | 2025-05-08 09:00:45+00:00
I don't think you need consciousness to reason. I don't see why repeated application of rewrite rules to extrapolate logical conclusions from antecedents shouldn't be considered reasoning. LLMs are perfectly able to match and apply rewrite rules, while using fuzzy concepts rather than being bound to crisp ontologies that make symbolic reasoning impractical to scale up. And for better or worse, LLMs can also apply simplified heuristics and rules of thumb, and end up making the same mistakes that humans make.
by dhaavi | 2025-05-08 09:01:02+00:00
Currently, this is just a fun project for me. I have technical ideas, but I don't have growths plans or the like - and it is nice that it does not have to.

Yes, I would expect the privacy would increase by some degree with more users, but I don't know by how much.

Although I will be using the technology in future projects, so Mycoria will benefit from that.
by fuzz_junket | 2025-05-08 09:03:04+00:00
The author seems to be frustrated at something but I'm not sure what. There is value in learning how to implement something from first principles. Teachers aren't sitting around scheming about how they can waste their students' time with "meaningless calisthenics", they're trying to help them. Calling them "clueless professors" isn't great either. There's a degree of disrespect in undergraduates dunking on professional tertiary-level educators for making them do homework.

Also, Prolog does not have a "standard library". What predicates are implemented varies greatly by implementation, and if you want to write portable code then you have to stick as closely as possible to the ISO standard.
by ahofmann | 2025-05-08 09:04:17+00:00
I'm a bit confused. On a technical level emails are even less secure than postcards. Everyone involved transporting it, can read, copy and save it. So how are emails private and the most sensitive dataset in the world?

I know that my email account is the most important part in my digital life and if someone would get hold of it, I'm basically dead. But the emails I get and send are not private at all.
by jeroenhd | 2025-05-08 09:04:46+00:00
With Gmail's spam filter being the way it is, email deliverability issues because of 3DES are probably invisible next to the normal email being silently discarded.

Users trying to send email to an outgoing SMTP server that hasn't been maintained this decade may see a warning, but I doubt there are still that many broken server out there that can't be replaced or updated on short notice once the domain admin gets told Gmail can't reach them.
by creshal | 2025-05-08 09:05:04+00:00
Going by example code[1] and the blog post from the author of the examples[2], both. It makes everything harder, but that does stimulate creativity.

[1]https://github.com/woodrush/sectorlisp-examples/tree/main?ta...

[2]https://woodrush.github.io/blog/posts/2022-01-12-sectorlisp-...
Show HN: I made an AI tool to turn personal memories into stylized portraits
by bk-poland | 2025-05-08 09:05:41+00:00
I built WishPainted — a solo project that uses AI to turn personal photos into stylized portraits (watercolor, LEGO, Ghibli-like, and more).

It’s browser-based, no login required, and meant for creating visual keepsakes or gifts.

Happy to hear feedback, especially around image quality, UX, or style suggestions.
by int_19h | 2025-05-08 09:05:43+00:00
I'm not saying that India is full-on authoritarian today. But it's definitely edging in that direction under BJP, and I could see them embracing the war as their ultimate ticket to get there. I mean, if there is a shooting war with Pakistan, and they can credibly blame Pakistan for starting it, what will it do to BJP electoral standing?

As far as US, under Trump, I'd actually expect it to back Modi.
by barrkel | 2025-05-08 09:05:50+00:00
Comprehend, from com- ("together" or "with") and prehendere ("to seize" or "grasp"). To take a hold of.

Can a calculator comprehend arithmetic? Can it take a hold of a number (in a register, for example), and a second number, and add them together to get a hold of the result?

What is computation, really? When we design machines to do arithmetic, do the machines actually do arithmetic, or do they just coincidentally come up with states that we humans can interpret as a correspondence with arithmetic?

More importantly, would a rose by any other name smell as sweet?

If you put a problem into text, and give it to an LLM, and an LLM applied a series of higher order pattern matching to it to produce more text, and you read the resulting text and interpret it as reasoning about the solution to a problem, has the LLM reasoned? Does the calculator calculate? Or does it really matter?