Hacker Newsnew | past | comments | ask | show | jobs | submit | ncommentslogin

Yeah SPARK ADA is what I meant :)

I think formal verification is the way to go with AI moving forward.


I made this (minus NixOS support, I should add that) for proxmox VE using their API a few weeks ago. I mean it's not this extensive, but it works:

https://github.com/cdevr/dtt

I mean, I'm not going to claim it's remotely near the same quality. And proxmox has some holes in their support for cloud init. And of course you need a mini pc on a good internet connection or the like.

But extremely fast provisioning of a any of VMs ... very handy.

Proxmox has too many compromises though. Maybe I should do the reverse, and extend this until it can fully replace proxmox entirely.


Perhaps. But what percentage of exploits are actually zero days versus, say, 10 days or 100 days?

Most exploited code probably exists in the application layer in a high-level, memory safe language. I would wager that but I don’t have time to cite ten papers on HN.


looks like a new site popped up over the weekend - gapseek.io

I use SpecKit to create a very detailed plan with a high amount of specificity using paid Claude plan.

Then I give it to local LLM (eg: Qwen / Gemma 4) via CLI. This is possible through usage of llm-mlx on Mac (or ollama on any machine given sufficient on hardware) which serve OpenAPI endpoints compatible for Aider (CLI) or Visual Studio Code to vibe along with the agentic coding assistant.

The paid products have an advantage but are not necessary if you don't mind to be more-involved with the process and have low expectations.


Thanks a lot for the compliments. You mentioned that you liked TheLaTeXLab branding - specifically what do you like? I mean is it logo or our positioning?

I'm building on an open source composable data stack with contract-first, swappable modules. I've come to an MVP situation with 1 profile (setup) and would like to see someone trying it in their own environment. The source code is at: https://github.com/RonaldHensbergen/composable-data-stack

Is it Axum under the hood?

This is very, very cool! Super impressed by what you've built.

As a non-programmer who is now doing a lot of vibe coding for myself these days (and feeling very scared about which of my vibe coded things will just randomly break one day haha...) I feel like what I'm missing isn't necessary language syntax skills, but rather the higher-level planning/organization/architecture capabilities that a seasoned software engineer acquires over years of seeing what scales vs. breaks in the real world.

Is there anything you would recommend I learn to start acquiring that knowledge (aka. the higher level knowledge a "vibe-coder" who doesn't manually code by hand would need)? I'll try out your clean architecture course, but would love to see more along those lines :)

Obviously I know nothing will replace real world SWE experience, but anything that could plug that gap even a tiny bit would be helpful and is something I'm willing to invest in.


LinkedIn was already half slop before AI. Now it's just faster and the grammar is better.

accessorax.com



Yep I agree C++ lacks many features Rust has solid support for. But the real issue with C++ is the development process, almost all the people involved in the Module system are rather old and worked for Microsoft once. They are just in their own bubble and not having an open RFC-process blocks experts in that field.

While it is closed, we've had enough leaks from that era of Windows (which are still on GH) to know the kernel is not backdoor'ed.

How is it 'hot garbage'?

I use "Copy Link" buttons pretty religiously on my phone because they tend to remove trailing URL parameters, saving me from manually selecting only the front part of the link.

Thinking about this, it would be nice if my browser had a button for that.


I've built a multi-hop flight router that I always wanted to have for planning my vacations. It's free to use and it offers a button to search for plane tickets (with affiliation, but no obligation to use it obviously). No accounts, no tracking.

You can - find routes - from A to B - from A to all airports around a pin on the map (max 5 closest) - visualize alternatives - add stopovers (max 8) - add layovers to avoid - share itinerary - search for tickets (link to kiwi.com with prefilled parameters)

Try it out ;)


Awesome write-up, thanks! Rust and Event Sourcing seem like a rock-solid combo for this. Can't wait to see how the architecture holds up in prod under real load.

That is wild! What specific features did Mythos have that made it so much faster than Opus for you? I'm curious what we actually lost when they pulled it.

Can Jews migrate to Yemen, Egypt, Syria, Lebanon, Iraq, Iran, or any of the other Muslim countries that were ethnically cleansed of their large Jewish populations?

Arabs who have a claim to land in Israel should be compensated, at the same time as Jews who left behind property in Arab countries are compensated.


Future compiler research project

The models are the moat. It's why you have generous subscription usage plans and increasingly limited third party access.

React, python and Rust are not the "fundamentals of programming". Those are highly specific ephemeral instantiations of the more general knowledge you seem to be alluding to. They are the new COBOLs. We are not there yet, but the writing is on the wall pretty clearly if you ask me. Regular programming languages will indeed be as useful as knowing assembler in a couple of years, which is to say, pretty useful, but for many not necessary (anymore).

The main point is that these things are implementation details like assembler. Very interesting in and of themselves especially if you are on the spectrum and occassionally need to be looked at, but the knowledge is instrumental at best and useless baggage at worst. Validation is what matters. Code is useless cruft. If you can replace it all with "348348-23439 CALL(X(DDD)D)" somehow, that's great, as long as it works. I don't know why people get sentimental about wrangling syntax. We're in automation, we've been doing it to other people. We're now doing it to ourselves.

You see this point often because it is blatantly obvious for anyone that didn't build their identity around proficient wrangling of specific families of syntax.

I suspect the era of LLMs coding in "our languages" is a temporary abberation anyway. It's not necessary at all and in fact actively hampering their effectiveness. I'd say enjoy it while it lasts.


"a bunch of companies" have "probably" fixed "some issues"? There are huge security risks for government IT systems around the world, giving attackers tools cannot be understood to be a direct solution and is not viable without more buy-in.

Nice try, Gabriel.

Still, be careful, it didn't exactly engender a lot of responses, only got 1 comment here:

https://old.reddit.com/r/rust/comments/1tuvxej/iddqd_or_the_...

Marketing of Rust is held very, very dear to some of the people in the community.


Totally agree!! It's great to be able to get engaged in the game instantly and not have to sign up right away.

I'm not totally tracking what you're saying, Jellyfin isn't exactly Kodi, it's more like Plex, and Jellyfin does have an app in beta for AppleTV but the best way (arguably) to experience Jellyfin, Emby or possibly even Plex on any Apple product is the Infuse app.

Improve your memory if you don't want to write things down. Immediately draft emails for commitments you made.

Great product, with great explanation

You should be careful that the Rust cultists don't sacrifice you in a ritual in the dark of night in some cave, while chanting "CRustlhu" over and over.

J/K, but seriously, some members of the Rust community might not be happy about your writings.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: