oslac · HackerTrans

oslac

no profile record

comments

hace 2 añosdiscuss

Is there still no type theoretic answer to unit testing? Does not the type or the class generally contain all the necessary information to unit test itself, assuming its a unit? That is, we should not have to even write these "theoretically". Just hit "compiler --unit_test <type>"

hace 3 añosdiscuss

Any number that cannot be effectively computed does not exist; there are actual hard physical limits to Numbers.

hace 3 añosdiscuss

They don't let you know this, but you can just delete your "I read this later" backlog. You're not going to finish it, or read any of it.

hace 3 añosdiscuss

I tried a few, but (nearly) default Obsidian won me over by simplicity, ease-of-use.

hace 3 añosdiscuss

It's also bad because you have to, as a programmer, actually type out the types a lot (compared to say, Ocaml, Haskell or Rust), and like you say, it makes it impossible to read.

hace 3 añosdiscuss

Prerequisites are mostly fake. You can just study what you need - depth first learning (assuming you are open to self-studying and this is not about academic bureaucracy)

hace 3 añosdiscuss

This isn't a new phenomena, and does not differ at all from a normal non-tech person getting their information from Google Search. Hidden motivations for this push left as an exercise for the astute reader.

hace 3 añosdiscuss

Mock has expectations about how the function is called. If you read a file from a disk, and you expect it only to be done once, a mock is "usable" in this scenario to count the number of invocations. Note that there aren't outside, observable, state changes or behavior involved in this. It is about the non-functional introspection.

Fake is just a simple implementation, like in-memory db to stand-in for a real one. In the optimal case, provided by library authors.

hace 3 añosdiscuss

Coffee Nap is probably amongst the top 3 refreshing things I know of.

hace 3 añosdiscuss

For public discussion, places like Zulip, Slack and Discord are fucking abysmal since they can hardly be googled and usually have stronger circle jerking in them.

hace 3 añosdiscuss

Only instability introduced so far was by the subs going private. For some communities that are already notoriously unstable, this is not a particularly good look and makes me reconsider things.

hace 3 añosdiscuss

This is the actual, realizable AI risk: combining several badly understood complex systems that shape populations and lives.

Not the Skynet.

hace 3 añosdiscuss

Build / buy an old enough computer.

hace 3 añosdiscuss

This is a good intuition, Rust's references can be thought of as a r/w locks.

hace 3 añosdiscuss

Hard to believe people look at this Chat UX with LLMs as a good interface. Look at the amount of blabbering in the example - why?

hace 3 añosdiscuss

Governments cannot even do little local control such as inflation, and people have these fancy ideas about controlling the *temperature* of the entire Earth. Ideas about ulterior motives left as an exercise to the reader.

hace 3 añosdiscuss

Having read through the old version I cannot recommend that one either.

hace 3 añosdiscuss

It is for these (tooling / library) reasons it is almost impossible to recommend it for any project, almost like Nix in that regard for me.

hace 3 añosdiscuss

I would say it is minimal, the help it provides. It will not get you to B1.

hace 3 añosdiscuss

Why call it "OpenAI" when it is probably the biggest blackbox thing out there.