skysight-inc/HackerNews huggingface dataset:
Show HN: .Net toolkit for parsing and using Kubernetes-like label-selectors
Hi HN!

In the past I've worked on several .NET projects that included EFCore+PostgreSQL and labelled entities, that you could filter with kubernetes-like label-selectors. I also saw Hetzner use this mechanism for their Cloud API (see https://docs.hetzner.cloud/#label-selector) and this made me think: maybe it's useful to share some functionality that I've been using for this topic in the past, packaged nicely as a small toolkit.

It supports all major EFCore providers including: PostgreSQL, Pomelo.MySql, SqlServer, Sqlite.

I hope someone out there who wants to build such mechanisms in the world of .NET may find this helpful.

Any feedback is appreciated.
I get what you are saying. But the 'up and running' is dead easy with these NAS boxes. They are wickedly plug and play. Where a DIY version is fun and interesting to do, but takes some configuring and fiddling and researching. Not necessarily hard just something I did not really want to mess with. Spin on about 10 years and now I am considering DIY. But for other reasons (like you point out). Storage is no longer my primary sole use case. Which means a bit more DIY on the next one.

It for me was just a mater of how much time/effort did I want to sink into it. I just wanted a large storage system. A off the shelf NAS I can be up and running in 2-3 hours. For DIY there is the research time for parts (including the drives), cases, and which software to run (there are 3-4 decent choices). Then gluing it all together. Probably 2-3 days for me fiddling around with it and research time.

Take the one I went with synology. The one I picked was in the 600 dollar range for the case. By the time your done picking a decently powered board, case and memory and cpu. You are in the same ballpark of cost for similar perf. The package was all done. I did not have to do much (notice a theme?). My most expensive part of the build? The drives themselves.

The downside is now I want something like 2.5g (or better) and the particular one I picked has zero way to upgrade (other than ripping the thing apart and hoping the right drivers are in there). It is about trade offs. Did I really want the possibility of upgrade or up and running quickly. Remember this is not something I do all the time. It is something I do every 3-4 years so I have to refamiliarize myself with all the different possible parts. Plus getting the OS in there 'just right'. Not impossible or even hard. I just chose a different trade off.
FWIW there's an existing issue for "firefox support" which you can subscribe to in order to be notified when this feature lands.

https://github.com/cezaraugusto/extension.js/issues/5
There are notable exceptions, Donald Knuth, for example, is on the P=NP side of the divide but thinks the proof might be non-constructive or that the runtime might have some completely impractical power. I think he cited the Robertson–Seymour theorem and pointed out that there is a gigantic space of polynomial time algorithms with big powers that nobody has explored.
What does the Supercharger team actually do?

To build and run a charger network you need people for at least these things:

• To design the stations (including the charging equipment (hardware and software), landscaping, buildings)

• To manufacture the charging equipment

• To decide at a high level were to put stations, and at a lower level to find specific sites, buy or lease those sites, and go through whatever legal process is needed to be allowed to build there.

• To deal with electric utilities to get power to the site.

• To do the actual building at the site, including preparing the land, maybe paving, installing the chargers, hooking up to the incoming power, putting up signage, etc

• To maintain it. It will need regular cleaning and trash pickup. Someone should be checking regularly for problems that won't be found by whatever remote monitoring and diagnostics they have. When a problem is found, manually or by there remote monitoring, someone has to go fix it.

• To provide customer support.

If you do all of them in house you need a large team. But a lot of them are reasonably done by hiring another company to do them in which case you might not need a large in house team.

I'd guess that they do the first (design), part of the second (assemble the charging equipment from components they have custom built by other companies), the high level location planning.

I'd guess that the lower level part of site placement is done by local firms familiar with the area that Tesla hires, that dealing with the electric company and the actual building is done by a local general contractor and whatever subcontractors that general contractor uses.

I'd guess that the cleaning and on site checking for problems is handled by a local maintenance company. Fixing problems would either be a local company or someone Tesla sends depending on what it is that needs fixing.

Customer support would likely be Tesla.

If Tesla considers that their existing Supercharger station designs are good enough to continue using for a long time for new stations, then they might really only need to keep in house the high level decision of were to put them, charger repairs, customer support, and hiring the local companies that do the field work.
> OpenAI sucks at naming though. GPT2 now?

Maybe they got help from Microsoft?
Even if we assume you are correct this is a great example of being correct and losing a lot of money - and boy howdy are there lots of ways to be 100% right about something and losing out.

I invested in Tesla's IPO with some chump change (mostly because I was a lot poorer then). $4000 turned into $200k+, at which point I sold half. So perhaps you are right but I'm $100k cash / $100k paper richer for being "wrong".

Being right won't pay your rent or keep you warm, but it can sometimes help you miss out on a lot of gains.

See my other comment for my bearish negative thoughts on Tesla and Elon.

On the positive side they have crossed into volume production territory. The place where suppliers not only return your phone calls they send people to ask you for meetings and offer discounts not available to the plebs. They have great brand awareness. They have a best-selling vehicle that continues to sell every single one that rolls off their 100% full production lines (at least in the US, not sure about elsewhere). That's demand and inventory positions other car makers would kill for.

Tesla foresaw battery production as being limiting and their joint venture with Panasonic in Arizona has given them battery supply and battery economics that other automakers simply can't match right now no matter how much they try.

There is a reason investors are bullish on Telsa.

Twitter has been a massive distraction for Elon. He seems to have surrounded himself with yes-men and enablers who just want to cash in on him. None of this is good but in a way the Twitter distraction has kept him more hands-off from Tesla than in the past so it may end up being a blessing in disguise.
The article says eCascadia's are shipping. Here's the product page:

https://www.freightliner.com/trucks/ecascadia/

They're also offering charging logistics services, etc. The main innovations on the truck cab are creature comforts for the driver, and safety features like blind spot detection. That looks like a winning strategy to me.

They're also building lower range trucks, which makes sense. They can build more trucks with the same battery supply, and local deliveries are a much better fit for current EV trucks than long range routes.

The charge time is 90 minutes for about 200 miles of range, so it's pretty clear this is for short routes.

edit: I wonder how much wattage it takes to charge one of these things in 90 minutes. Whatever it is, it's about 1/3 as much as a 30 minute charger would be. Since they're helping out with logistics, it wouldn't surprise me if building faster chargers is currently infeasible.
If P = NP is undecidable in ZFC then it necessarily follows that P != NP.
If you're interested in series, I recommend the one beginning with Pandora's Star by Peter F. Hamilton. It's only two books, but it's a great space opera to dive into.

Spin by Robert Charles Wilson is also good. I haven't read the sequel(s) but the first book can be treated as a standalone, and has some big ideas.

Finally, the Algebraist by Iain M. Banks remains one of my all-time favorites.
As other commenters have already said, Discord has more or less replaced the traditional forum. I'd argue that this push towards small Discord communities has been happening for years now, since places like reddit, twitter, or even instagram are unsuitable/hostile to forming connections. The primary focus on those platforms is content consumption, and any sense of community (at least on reddit) completely breaks down after a sub becomes >10k. My theory is that LLM's won't drastically change people's experience with reddit/twitter, because those platforms already make communicating with humans on them as meaningless and impersonal as talking to an LLM.

Also younger people find forums archaic and weird, to the extent that most people my age (early 20's) that I've talked to about this prefer imageboards over forums. As much as I'd love for forums to make a comeback, younger people are the ones who determine the next shape culture will take and there is very little chance small forums will grow. It's such a shame too, it's so difficult to find good Discord servers and so much technical knowledge is unindexable and will most likely be lost forever once Discord stops burning money for growth.
> Other tasks have an element of looping which is really fundamental in computer science

Have you tried any of these agent based workflows that claim to be able to loop with some amount of reasoning ?
Why would you target Go?
It's a huge whiff that they didn't choose to go with WebKit, contribute back, and provide a unique interface juxtaposed to Safari. I like Arc, in principle, but I hate how wasteful Chromium is with a computer's resources and the idea that it should be an operating system on top of your computer. I want my web browser to just... browse the web and not launch background processes and all these weird things that the web wasn't originally designed for.

Or even Arc with pluggable rendering engines. A power-efficient, battery-sipping version using WebKit would be a dream come true.
The IR is here: https://github.com/rantoniello/valgrind/blob/master/VEX/pub/...

The rest can probably be found by searching around but I'm on my phone right now
Readme says transpile: "Borgo is a new language that transpiles to Go."

And it's written in rust. Kinda unholy.
I actually don't think Google should "remove" results, including malicious or spam links. I only think that Google (a 2 trillion dollar company) should have the resources and capability to not show spam/malware as the top result for a popular two word query. The link would be fine in the middle or bottom of the page even. But the top result is a very important area and people assume (even if its wrong to) that the top result is safe, because it's from Google and they should have the resources and engineering effort to not surface obvious malware to the top.
Germany's power production is pretty dirty. That figure is likely to get a lot better over time.
His personal goal isn't money, sure, but he's the CEO of a publicly traded entity. That entity's goal is money, and as the CEO, from a legal POV the entity's needs and goals need to be put first and foremost.

If he doesn't want to be beholden to the needs of the public market, he's free to take Tesla private.
OpenAI: Batch API
Yes, because in a thread about the JWST, then moving to backyard telescopes, we all naturally assume we're pointing them at trees.
Like this: https://github.com/rantoniello/valgrind/blob/master/VEX/priv...
Yeah, the top of the project says "compiles", then the readme says "transpiles". Perhaps the author was just trying to get all the SEO terms in there.

> And it's written in rust. Kinda unholy.

Agreed, it's like, do you really hate writing Go so much that you'll really write all that Rust to get out of it? Haha. Reminds me of the web frameworks which generated the JS so you didn't have to touch it, like GWT of old.

I'm sure it was a fun exercise to create Borgo, though.

My favorite transpiler is Haxe. It targets so many other languages, the surface area is impressive.

https://haxe.org/
That's a VM running in their users' browsers, not their backend, no?
Congratulations to the 2024 YC Top Companies
Pretty sure this just means moving around trailers on a parking lot / loading lot etc. Because you don't have to warm up the engine, and you aren't far from a plug, you could use these to just reposition the trailers. Also, you are working in close proximity with humans so being zero-emission is more pleasant environment and better for long-term health too.
Even during Windows 95 it was an old established policy https://devblogs.microsoft.com/oldnewthing/20051116-12/?p=33...
Show HN: Traycer – AI-Powered Code Analysis in Real Time for VSCode
Hey HN, we're thrilled to announce the alpha launch of Traycer, our new AI-driven code reviewer that works in the background as you code. During this initial phase, Traycer is completely free until the end of June and will remain free indefinitely for all open-source projects. You can install Traycer from the VSCode marketplace (https://marketplace.visualstudio.com/items?itemName=Traycer....).

Why Traycer?

As developers, we know the challenge of ensuring code quality while balancing productivity. AI-powered code generators have simplified coding but often miss the nuances that ensure code quality and security. Traycer aims to fill this gap by providing real-time, context-aware feedback right in your IDE, functioning like a vigilant senior developer overseeing your codebase.

What Can Traycer Do?

* Always On Analysis: Traycer monitors your code as you write, understanding the intent and implications of each line, and provides immediate feedback to keep your code clean and efficient.

* Comprehensive Coverage: It not only looks at the changes but also at how they affect the surrounding code and related functions, catching potential bugs before they become a problem.

* Actionable Suggestions: Get clear, actionable suggestions that you can preview and incorporate into your code with just a single click.

Supported Languages

Currently, Traycer supports Python and TypeScript, with plans to expand to more languages based on community feedback.

We believe Traycer will be a valuable tool for developers looking to enhance their workflow and code quality. Try it out, share your thoughts, and let’s code better together!

Looking forward to your feedback and thanks for checking out Traycer!

Cheers,

Founding Team at Traycer
Amplication: Instantly generate production-ready Node.js back end apps
Interpretation is the most fundamental pattern in computer science, and I'd argue the most powerful. It (tries) to decouple semantics from implementation. It recurs at all levels of the stack.

I'd also argue it's the most beautiful.
It gets worse. “Metal chain” is more complex (1.47) than “nuclear reactors” (1.41). “Stainless steel wire” is more complex (1.21) than “aircraft launching gear” (0.5), and so on.

It’s just a poorly defined metric. “Product complexity” is computed by looking at the countries which export the product. A product is “more complex” if its exporters make a lot of different products, and those things are commonly exported by other countries too.

So photographic equipment is only made in a small number of countries (germany, japan) which are very integrated in the world economy. Processors probably fare worse because Taiwan makes them and is “insufficiently” complex.
If I wanted another minipc, I'd be looking for one designed like a laptop. The vast majority of consumer computers spend most of their time idle, even when it is something we are directly interacting with at the time (like laptops). In my experience, this is even more true for minipcs. I'm wondering what magic has gone into laptops and hasn't made it into electron guzzlers like the intel minipc in this article.
Hey HN,

Wasp has been around a few times here as a full-stack framework, but one of the core reasons why we made it was to have an abstraction layer for common web app features.

Since Wasp got decently mature (Beta, 10k stars), we started investigating more on the DSL/abstraction side, and this is the first demo we built.

I'd love to hear what you think and whether you'd find it useful.

Matija
I'm only using Ansible because of its extensive documentation and mindshare, but my best successes with it were when I let go of the idea that the playbooks specify state "declaratively". I now treat them as imperative steps where each step is being checked as to whether it needs to be done or not, and it has vastly simplified my mental model of what Ansible is actually doing.
Not only that, but if you set it to run on startup, it will pop in front of all the rest of the windows and show not something neutral like the team list, but your last chat.

So if you teach with a laptop, its awfully sluggish startup is timed just right so that you have enough time to turn on the laptop, turn on the projector, open the presentation, connect the HDMI cable, wait for the presentation to show up and check that it works, start talking, and just then... BAM, there goes your last private chat in front of all the students.

Of course, it can be fixed by just not setting it to autostart - but why should I have to do that? Why is that program so chock full of obviously bad design decisions?
/r/boardgames would be good, if they didn't go on rants about politics every so often. I couldn't take it any more after a while. I'm trying to read about board games to enjoy myself, not to be reminded of life's problems.
PureDarwin: Community project to extend Darwin into a complete, usable OS
Overall, this seems great.

However...

> [...] by default it will tint your terminal background in a reddish tone while you are operating with elevated privileges

?!! ouch ... seems orthogonal to the actual important parts.

Disclaimer: I didn't try it.
That's been made many times, but it may not be as useful as it sounds. You might learn something about what special characters you use more than the average person, but outside that, generic datasets are good enough. If you have a reasonable variety of thumb keys (instead of a single giant spacebar), you are probably better off putting your symbols on another layer anyway. Keyboard layout improvement is relatively logarithmic: you can only optimize so well for the set of permutations of keys you will type. Eventually, the variety of permutations becomes a ceiling for optimization. Any recent intentionally optimized layout will be drastically better than qwerty, marginally better than Dvorak, and roughly comparable to Colemak.

--

I've been using a Model 01 (the original release of the 100) for a few years now. It's to the point where several switches are wearing out from regular use. I happen to enjoy nearly every design decision, but am most particularly fond of the thumb clusters. I plan to eventually build a dactyl-like from scratch, with very similar thumb clusters. My favorite feature by far is the thumb-knuckle/palm key.

When I switched to the Model 01, I also learned the Workman layout. Changing both together helped isolate the change of muscle memory to its own additive context. Right now, while I'm away from home, I'm typing on a traditional board (a generic laptop) configured with qwerty. I would rather be at home typing on my Model 01, but I can live without it: the traditional qwerty experience is no worse than it was before.
Unmasking the Australian spy who sold secrets to Russia – Four Corners [video]
I've been using it as well with great success.

A couple years ago I inherited about 100 Mac Pros that are part of $dayjob's CI infrastructure. They had been managed over the years using a combination of shell scripts, Chef, and manually via VNC. No two machines were alike. The Chef recipes had all bit-rotted and weren't usable and due to $reasons were based on an old version of Chef that $company was stuck on.

So I looked around for alternatives, and being most comfortable in Python, I explored Ansible, Salt, and Pyinfra.

Ansible seemed like the obvious choice, but it has very few playbooks/actions for macOS systems. I was going to have to write my own. As I dug into its documentation, I found it was taking me a long time to wrap my head around all that I needed to do and started to sour on its complexity. This is a matter of taste, but I just didn't find Ansible very welcoming. I wanted something simpler.

I had previously used Fabric, so considered using it again. But Fabric offers too little (it's really not much more than parallel ssh-if you want idempotent operations you have to write that yourself), and I don't agree with the direction it took with version 2.x.

Then I found Pyinfra. It took me less than 30 minutes to understand it in its entirety. It's conceptually simple: you have an inventory of machines that it connects to in parallel over ssh. You provide it with a deploy script that combines facts and operations. Pyinfra uses the deploy script to gather facts about each machine, then you use those facts to decide whether you need to perform any operations. It then performs those operations on each machine as needed. The inventory file, deploy script, facts, and operations are trivial to write for someone comfortable with Python. It's all Python with the facts and operations being decorated functions. There is no DSL to learn. (It comes with a bunch of pre-written facts and operations, but they are mostly for Linux systems. I had to mostly wrote my own for macOS, but I found them really easy to write.)

I had it operational the same day I found it. I used it to successfully get all of the Mac Pros into consistent state: things like system settings, installing Xcode, automating installs of brew packages all at the same version, installing JVMs, updating and upgrading macOS, installing Sentinel One, etc.

I've been very happy with it, even contributing a few PRs to fix small bugs and contribute minor functionality.
See https://news.ycombinator.com/item?id=40207545 for previous discussion
> explaining why your reasons don't support your arguments, and explaining what the real reasons

Their opinion differs to mine, and I also disagree with some of the counter-arguments.

Describing their responses as "real" versus mine is evidence that you've made up your mind, and are no longer objective about the topic.

> your idea of "reason" is also different from everybody else's

reasoning can be flawed or incorrect, but you are implying mine isn't reasoning at all. Care to back that claim up?
> And personally, I've never run into a problem where the difference between NFC and NFD mattered.

You mean like opening a file by name?
File.Love
Ditto to this. I have fallen in love with the N series chips. I use N100 mini PCs all over the factory floor as client machines for workers that manage job control and I am typing this on an N200 power PC that I have slapped a 48GB DDR5 SODIMM in. Working great.

Btw, ALL N95/N100/N200/N305 systems I have used have worked fine with 32GB DDR4 SODIMMs or 48GB DDR5 SODIMMs. Even tho Intel claims 16GB max for DDR4 and DDR5.

Also, the N305 chip is great. Basically two N200 slapped together. They didnt double the L3 tho which is annoying. But the 8 cores is fantastic.

I am currently running a 4 box Proxmox HA setup with with 3 N200 systems directly connected to each other with 2.5gbit links. Working great. I am hoping someone puts out larger DDR5 SODIMMs. these with 64/72/96GB would be fantastic :)

Oh, and I am using 118GB optane nvme drives as swap location and l2arc for the systems. regular NVMe drives for storage/OS
That question seems to be the same kind as the question in the OP. Isn't something wrong when a random scribble creates a valid execution in Perl?