valcron1000

7 ms·

1.
by valcron1000 4d ago
Was part of the initial design, but then the designers dropped the idea of a built-in runtime.
2.
by valcron1000 4d ago
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 now you need to accou
3.
by valcron1000 2mo ago
22 years late, but better late than never.
4.
by valcron1000 2mo ago
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.
5.
by valcron1000 2mo ago
> 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 which allows bad ac
6.
by valcron1000 2mo ago
Had no nuke the `target` folder a couple of weeks ago, +400 GB ...
7.
by valcron1000 3mo ago
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...
8.
by valcron1000 4mo ago
Damn, that looks awful.
9.
by valcron1000 4mo ago
Where can we read the code?
10.
by valcron1000 4mo ago
> 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
11.
by valcron1000 6mo ago
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.
12.
by valcron1000 8mo ago
Still nothing to compete with GPT-OSS-20B for local image with 16 VRAM.
13.
by valcron1000 8mo ago
> 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
14.
by valcron1000 9mo ago
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 confidence in the
15.
by valcron1000 9mo ago
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 location of mets.
16.
by valcron1000 9mo ago
One of the first things I tried in Rust a couple of years ago coming from Haskell. Unfortunately it's still not stabilized :(
17.
by valcron1000 10mo ago
> Memory safety is not that sacred. In fact, for many applications malfunctioning is better than crashing Yeah, just another data leak, no biggie.
18.
by valcron1000 10mo ago
Not at the same level. TRAMP is way behind feature-wise.
19.
by valcron1000 10mo ago
> 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 before I ship my
20.
by valcron1000 11mo ago
Yes, but instances require the user to provide shrinking while Hypothesis does not: shrinking is derived automatically.
21.
by valcron1000 11mo ago
In the sense that you only need to work with the standard IO monad to get the benefits of the runtime.
22.
by valcron1000 11mo ago
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 t
23.
by valcron1000 11mo ago
> 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.
24.
by valcron1000 11mo ago
> 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 me proper gre
25.
by valcron1000 11mo ago
> 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 tool
26.
by valcron1000 11mo ago
} catch (exception: Exception) { // log exception throw exception } Probably the most harmful snippet ever written. Every blog post about errors has something similar written, regardless of the programmin
27.
by valcron1000 1y ago
> that data flowing between them consists of simple, agreed-upon formats > HTTP servers and clients, email systems, DNS resolvers—they all interoperate based on simple protocols Yeah, massive disagree with this. There is absolutely no
28.
by valcron1000 1y ago
Relevant (2006): https://web.engr.oregonstate.edu/~erwig/pfp/
29.
by valcron1000 1y ago
No need to import a third party library: you can use `Data.Function ((&))` for this: arg & f1 & f2 & f3
30.
by valcron1000 1y ago
How do you deal with persistent sessions in VSCode? I have a remote VM to which I connect through SSH using VSCode, but I need to have certain programs running even after I disconnect from the VM. It's the only reason why I use tmux an

More ›