rirze

5 ms·

31.
by rirze 3mo ago
So... is this a dataset fishing operation essentially? You want to train or collect samples for better Lean proofs?
32.
by rirze 3mo ago
How do one know this? I don't know where to get this information and whether to trust it.
33.
by rirze 3mo ago
Morally fallen? Sure, Europe hasn't fallen yet. Systemically and structurally? Already on its way there. Excessive moral policing results in strangling regulations, which is exactly what Europe is facing right now. The opposite of inno
34.
by rirze 3mo ago
Au contraire, Googlers have always been strangely academic brained and stuck in niche moral echo chambers. This is par for the course.
35.
by rirze 3mo ago
Go through enough pattern recognition and you'll realize it's often not someone sticking to their guns. Would the author have left if they didn't have another job lined up? Definitely not. Then, how strong are their principle
36.
by rirze 3mo ago
Very cool. It's often daunting to contribute to such a well-established and recognizable project, but this is exactly how it should work.
37.
by rirze 3mo ago
I think we’re going to find out the hard way that the proofs left to solve are very much not elegant.
38.
by rirze 3mo ago
Sincerely, I don't get the motivation for this. It feels like `age` is pulling most of the work I care about. `age` is the only tool here encrypting and decrypting secrets, are you managing the orchestration of secrets with your tool?
39.
by rirze 3mo ago
As long as the language supports lazy evaluation and short-circuiting through expressions, then great.
40.
by rirze 3mo ago
Look nice but super expensive for the normal developer. Good luck with the monetization, hope you get some company customers.
41.
by rirze 3mo ago
He comments on this in the Hackernews post text: > Effect-TS is the full-featured option in this space and has a large ecosystem. Pure Effect offers a different tradeoff. It covers the 80% case: testable pipelines, dependency injection,
42.
by rirze 3mo ago
Unfortunately, sun exposure (specifically UV exposure) is heavily tied to skin cancers and aging. I haven't researched it myself, but my feeling is that, ultimately, there is a calculation where sun exposure / skin risk needs be b
43.
by rirze 3mo ago
I'm convinced if Mythos/Fable comes back at this point, it will be guardrailed into lobotomy. It won't be as good.
44.
by rirze 3mo ago
It's too late for this. Many government regulations and policies can be solved with money and this would be one of those squashable problems. Maybe if Pharma companies didn't get so rich already, this could've been possible.
45.
by rirze 3mo ago
> https://tuesdaynight.blog/i-want-to-go-to-a-furry-con/ Ok. I think I'm good without this.
46.
by rirze 3mo ago
To me, social web == social media. I don't use Facebook but use it for auth when I have no other option. Even worse, I don't want an external service federating my identity when I can avoid it. We have all heard of people getting
47.
by rirze 3mo ago
I can't imagine it was cheap to acquire it, so any company with VC/big Corp money would've taken it any ways.
48.
by rirze 3mo ago
There's a difference between consistency and efficiency. I read efficiency as "Energy inputted to accomplish a task", in which case, biological systems are far more efficient than current-day mechanical ones. It's a trad
49.
by rirze 3mo ago
It's funny you're downvoted. I agree source control is not backup, because it implies having `git` is enough. It's not. Example: an Agent or process deleting your .git folder doesn't protect your code.
50.
by rirze 3mo ago
If your implication is that humans are deterministic, then that's laughable. We like to think highly of our mental processes, but humans work in different ways than AI and it shows. They are good at different things.
51.
by rirze 3mo ago
I am super interesting in `straylight-nix`. Even a blog post on what you did to improve it would be elucidating.
52.
by rirze 3mo ago
This mirrors my own experience, except I went with Lean. It was more relevant to the features I wanted to build. Exciting times ahead.
53.
by rirze 3mo ago
Try it out! It has its own learning curve, but it's convenient to use in quick and dirty situations.
54.
by rirze 4mo ago
Was it still in good condition? That price makes me wonder if it was used for crypto mining, which can wear down the hardware.
55.
by rirze 4mo ago
Interesting, I'll be testing your tool on my repos. You should publish to crates.io!
56.
by rirze 4mo ago
How did you even afford to use Fable + Ultracode ? I feel like the subscription (even the $200 one) is not enough for this workflow. Are you using API or a company plan?
57.
by rirze 4mo ago
Seems like white hat work is pretty fruitless nowadays. Disappointing.
58.
by rirze 4mo ago
If a messaging app ever gets the attention of government regulators, it must succumb to this verification. I don't know any way to avoid this.
59.
by rirze 4mo ago
Fundamentally un-American. That being said, many countries across the world already do this to eliminate burner phones. And many messaging apps require a phone number anyways so this basically locks down anonymous messaging through a phone.
60.
by rirze 4mo ago
This is amazing.

More ›