jkbbwr · HackerTrans

jkbbwr

no profile record

comments

geçen aydiscuss

We focus on the evils of social media but never the positives and there ARE positives. Also society giving up the keys to privacy is not a solution here, the think of the children crowd would rather the state be the arbiter of morality and society than educate their kids properly.

4 ay öncediscuss

Are you talking about Imane Khelif? The woman who was born a woman, competed her whole life as a woman and is still last time I checked, a woman?

geçen yıldiscuss

This has to be a massive conflict of interest right?

geçen yıldiscuss

Unless I am making a mistake here, you still can't extract keys of an opened enclave. You can just run operations against those keys.

2 yıl öncediscuss

Everyone keeps making the context windows bigger, which is nice.

But what about output? I want to generate a few thousand lines of code, anyone got any tips?

2 yıl öncediscuss

[flagged]

2 yıl öncediscuss

They are better, but they still sound slightly unnatural to me, the pauses are in the wrong places, or not long enough. It takes me out of focusing on the actual words

2 yıl öncediscuss

Honestly? The quality of the output is as expected, I wondered how it would manage something like Shakespeare which depends so heavily on iambic pentameter, instead AI does what it usually does which is drone on at a slightly too fast speed, with no natural pauses and no delivery. Honestly as with most things you would be better paying for a human performance than relying on this.

I wish the OP well, and the project is nicely designed. But AI simply isn't there for this yet, not without a lot of individual hand holding and extra work.

2 yıl öncediscuss

I really wish python would stop being the go-to language for GPU orchestration or machine learning, having worked with it again recently for some proof of concepts its been a massive pain in the ass.

3 yıl öncediscuss

Having worked with C/C++ projects. Managing dependencies is downright painful. About the best option we found was to treat everything as build from source and then git submodule our dependencies in. This is still not good but at least it gave us a consistent environment.

3 yıl öncediscuss

Not in the slightest, we have an even more strict version of this bill currently being drafted for enforcement. It's already law here.

3 yıl öncediscuss

You only ever find tutorials on writing type checkers in things like haskell or similar.

It is often like that owl joke in art. "Step one draw a circle, step two draw some triangles, step three draw the rest of the fucking owl" and its hard to get into step 3

3 yıl öncediscuss

I wish I could find some examples in Kotlin or Rust or Python. Something non-functional

3 yıl öncediscuss

So a problem I noticed, is you pass mutable state to the actor.

What happens if the actor mutates the state then fails?

Do you just dirty the state and throw it away or do you retry at all?

3 yıl öncediscuss

I still think the design in the beam world is as close as we can get to perfect actors. Its very very elegant in how you can easily resume crashed actors, upgrade them, migrate them.

`handle_call(pattern, from, state)`

Return your reply and your new state and boom. It just works.

3 yıl öncediscuss

You could potentially hit your codebase with CBMC using model assertions.

Its basically what you already know in the TLA+ world but targeted against C++ code.

4 yıl öncediscuss

Without interface types to unify passing strings around or more complex handles to resources. WASM is going to be rough on the serverside.

I still have not found a consistent way to construct a sqlite connection, pass it to wasm (language agnostic) and then return and close it.

5 yıl öncediscuss

The only problem is the public is fucking stupid.

5 yıl öncediscuss

Im surprised we haven't bit the bullet and just jumped to unikernels and OS as a library yet. It removes a whole layer we just don't need.

5 yıl öncediscuss

Meson is okay, it solved a few problems for us on our deployment but the creator has a few hard decisions and style choices that don't really gel well with other projects. We are tempted to go back to cmake.