Was part of the initial design, but then the designers dropped the idea of a built-in runtime.
If you want to have annotations on IO code you could get it using attributes - and you could even go further by using more precise annotations like `network`, `disk`, etc. The problem with using the type system is that…
22 years late, but better late than never.
Care to share your setup? I'm currently working on pretty much the same thing and it's looking good so far, but having a single user makes it hard to get enough feedback.
> what should be done about open weight bioweapon and cyber-offense capabilities? Is it simply the cost of freedom that we should allow attackers to access these tools? Yes, in the same way that we have E2E encryption…
Had no nuke the `target` folder a couple of weeks ago, +400 GB ...
This guy has been preaching against crypto for years, to the point of leaving the Haskell ecosystem just because the language was being used by Cardano. At some point you have to wonder what's going on with him...
Damn, that looks awful.
Where can we read the code?
> if it’s a solo greenfield project That's a big if. I don't have numbers but most professional engineers are not working on such projects
I've been thinking of doing the exact same thing. Preserve context as images and die. Expose a single tool called "eval". You could have a extremely tight editor integration using something like SLIME.
Still nothing to compete with GPT-OSS-20B for local image with 16 VRAM.
> When something breaks, I SSH in, ask the agent what is wrong, and fix it. > I am spending time using software, learning What are you actually learning? PSA: OP is a CEO of an AI company
If international law had any effect people would believe in it. You're mixing cause/effect. This situation has been going on for years and the lack of response by international organizations makes people lose all…
I'm unfortunately on the same situation. We made a consultation with people from Baptist Health Miami and it seems like there are several non trivial requirements for such treatment (histotripsy), like the number and…
One of the first things I tried in Rust a couple of years ago coming from Haskell. Unfortunately it's still not stabilized :(
> Memory safety is not that sacred. In fact, for many applications malfunctioning is better than crashing Yeah, just another data leak, no biggie.
Not at the same level. TRAMP is way behind feature-wise.
> Zig must also be good for eliminating the same ones. But Zig does not eliminate them, but rather it might catch them at runtime. The difference here is that Rust promises that it will detect them at compile time, long…
Yes, but instances require the user to provide shrinking while Hypothesis does not: shrinking is derived automatically.
In the sense that you only need to work with the standard IO monad to get the benefits of the runtime.
You don't need "monads" (in plural) since GHC provides a runtime where threads are not 1:1 OS threads but rather are managed at the user level, similar to what you have in Go. You can implement async/await as a library…
> async/await is also available in a bunch of other languages, including F#, C#8, Haskell[...] Haskell (GHC) does not provide async/await but uses a green thread model.
> Knowing if a function will yield the thread is actually extremely relevant knowledge you want available. When is this relevant beyond pleasing the compiler/runtime? I work in C# and JS and I could not care less. Give…
> I mean, Haskell has like what, 2, 3, 4? Major build systems and package repositories? It's a quagmire. Don't know when was the last time you've used Haskell, but the ecosystem is mainly focused on Cabal as the build…
Was part of the initial design, but then the designers dropped the idea of a built-in runtime.
If you want to have annotations on IO code you could get it using attributes - and you could even go further by using more precise annotations like `network`, `disk`, etc. The problem with using the type system is that…
22 years late, but better late than never.
Care to share your setup? I'm currently working on pretty much the same thing and it's looking good so far, but having a single user makes it hard to get enough feedback.
> what should be done about open weight bioweapon and cyber-offense capabilities? Is it simply the cost of freedom that we should allow attackers to access these tools? Yes, in the same way that we have E2E encryption…
Had no nuke the `target` folder a couple of weeks ago, +400 GB ...
This guy has been preaching against crypto for years, to the point of leaving the Haskell ecosystem just because the language was being used by Cardano. At some point you have to wonder what's going on with him...
Damn, that looks awful.
Where can we read the code?
> if it’s a solo greenfield project That's a big if. I don't have numbers but most professional engineers are not working on such projects
I've been thinking of doing the exact same thing. Preserve context as images and die. Expose a single tool called "eval". You could have a extremely tight editor integration using something like SLIME.
Still nothing to compete with GPT-OSS-20B for local image with 16 VRAM.
> When something breaks, I SSH in, ask the agent what is wrong, and fix it. > I am spending time using software, learning What are you actually learning? PSA: OP is a CEO of an AI company
If international law had any effect people would believe in it. You're mixing cause/effect. This situation has been going on for years and the lack of response by international organizations makes people lose all…
I'm unfortunately on the same situation. We made a consultation with people from Baptist Health Miami and it seems like there are several non trivial requirements for such treatment (histotripsy), like the number and…
One of the first things I tried in Rust a couple of years ago coming from Haskell. Unfortunately it's still not stabilized :(
> Memory safety is not that sacred. In fact, for many applications malfunctioning is better than crashing Yeah, just another data leak, no biggie.
Not at the same level. TRAMP is way behind feature-wise.
> Zig must also be good for eliminating the same ones. But Zig does not eliminate them, but rather it might catch them at runtime. The difference here is that Rust promises that it will detect them at compile time, long…
Yes, but instances require the user to provide shrinking while Hypothesis does not: shrinking is derived automatically.
In the sense that you only need to work with the standard IO monad to get the benefits of the runtime.
You don't need "monads" (in plural) since GHC provides a runtime where threads are not 1:1 OS threads but rather are managed at the user level, similar to what you have in Go. You can implement async/await as a library…
> async/await is also available in a bunch of other languages, including F#, C#8, Haskell[...] Haskell (GHC) does not provide async/await but uses a green thread model.
> Knowing if a function will yield the thread is actually extremely relevant knowledge you want available. When is this relevant beyond pleasing the compiler/runtime? I work in C# and JS and I could not care less. Give…
> I mean, Haskell has like what, 2, 3, 4? Major build systems and package repositories? It's a quagmire. Don't know when was the last time you've used Haskell, but the ecosystem is mainly focused on Cabal as the build…