Hacker Newsnew | past | comments | ask | show | jobs | submit | more lambda_garden's commentslogin

Where would the new housing go? They should focus on building fast train links into the city.


In C# you can create types where you control the layout and they are always stack allocated.


This is not really true, as far as I know. You can control the memory layout of structs, they can be allocated on the stack, because they're value types, but not necessarily.

If you, for example, create an array of said struct type, the array's memory will be on the heap. And the structs will be stored in it. You can't assume a struct will be on the stack.


nevermind... I was just out of date. C3 now has ref structs


Turing Complete and non-determinstic languages are a bad fit for configuration.


Is YAML with go template hacks that much better? (Without any kind of type safety in a context where true != "true".)


go and jinja "templates" have always been ever so much fun. It depends on the complexity stored in said "configs"; what reads the configs and what writes to the configs.

as a human i want to be able to both read and write, easiliy, by knowing wtf is going on for the input(s), and to understand clearly within the config-at-hand, what does what ect (without 5x paragraphs per 1 key-value tuple).

then insert more templates to generate more templates, and then it is a fun spiral

k8s reminds me of those 20min long commercials combined with the energizer bunny, "but wait there's more" .. "and there's more" .. "and there's more" - as with orcrastrating infrastructure as microservices, there's always more and more complexity to add to the monster. More layers, secutity, networking, ect, ect..


well, there's more, because operating software is exactly like that and k8s tries to API-fy that, in my opinion with considerable success.

yes, the actual descriptors are atrociously hideous, but it's okay, it's low-level, evolving pretty quickly, and there are nice high-level representations -- https://cdk8s.io/docs/latest/plus/

so, yes, of course, compared to FTP copying PHP files into cgi-bin k8s is more complex, but the feature set is also different.

of course, not everyone needs declarative gitops-based blue-green deployment with pristine dev/demo/staging/UAT envs on each new PR. and usually when people think they do it's mostly just FAANG envy :)

but, speaking from experience, setting up a k3s cluster is easy, cheap, and deploying things on it with a "kubectl apply" is also easy. setting up CronJobs to do backups to some S3-compatible thing is also quite doable, and so on. and you end up with a big bag of YAML. is it better than snapshotting a VM? who knows!


No, that would also be a poor choice.


Is it possible to use Dhall to generate YAML and side-step this issue?


yes, of course, but the problem is that upstream (as in the helm chart ecosystem) doesn't want that, they just want to live in their little bubble.


The only way this can work in practice is restricting the memory patterns that the developer can use, which is what we see in Rust.

Is it impossible to prove memory safety in the general case due to the halting problem?


It's possible to permit arbitrary memory patterns by adding ref counts in specific ways:

https://www.microsoft.com/en-us/research/publication/perceus...

It's interesting how much there still is to discover in this space, despite decades of research.


It is like Xerox and ETHZ use of memory safe systems languages for graphical workstations, monetary and human issues hinder adoption of great research ideas.


This is the part where a basic social safety net comes in.


A social safety net helps you if you lose your job, but it does nothing for you when you're on the job.

In Sweden we have a very good social safety net, but just that isn't enough.


This is why benefits shouldn't be means-tested.


I'd rather have proper Firefox on iOS than Safari on Linux.


Llamafile is (rightfully) the top of HN right now.

I have high hopes that models will end up a bit like Linux servers, where everyone is building on open foundations.


Do you have a link?


[flagged]


I wouldn't describe that as "maliciously attacked PyTorch"


Sure, yet that's one tweet and his tone is pretty telling if you ask me. Disregard if you don't believe, I'm not making it up


I encourage you to reread the Twitter posts in question, your post here, and evaluate, as if you were a disinterested third party, if it still makes sense.


Based on the evidence you provided the only malicious attack is your own.


[flagged]


> PyTorch fanboys

> But the PyTorch community is something special

The context and request for civility makes sense and makes it look less like and attack in context. Implying that it's some characteristic of pytorch users is a bit more damning. Trolls are out there, I don't think it's using a particular deep learning framework that makes them more trollish, implying otherwise isn't constructive.


F# is basically statically-typed Python (with better performance).


I've been meaning to try it. Isn't F# modeled after Haskell?


Kinda. F# is modeled after OCaml. OCaml and Haskell are both modeled after ML. I suppose you could say they are cousins.


F# comes from OCaml, not Haskell.


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

Search: