oslac

7 ms·

1.
by oslac 3y ago
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 "theoreti
2.
by oslac 3y ago
Any number that cannot be effectively computed does not exist; there are actual hard physical limits to Numbers.
3.
by oslac 3y ago
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.
4.
by oslac 3y ago
I tried a few, but (nearly) default Obsidian won me over by simplicity, ease-of-use.
5.
by oslac 3y ago
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.
6.
by oslac 3y ago
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)
7.
by oslac 3y ago
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.
8.
by oslac 3y ago
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
9.
by oslac 3y ago
Coffee Nap is probably amongst the top 3 refreshing things I know of.
10.
by oslac 3y ago
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.
11.
by oslac 3y ago
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.
12.
by oslac 3y ago
This is the actual, realizable AI risk: combining several badly understood complex systems that shape populations and lives. Not the Skynet.
13.
by oslac 3y ago
Build / buy an old enough computer.
14.
by oslac 3y ago
This is a good intuition, Rust's references can be thought of as a r/w locks.
15.
by oslac 3y ago
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?
16.
by oslac 3y ago
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.
17.
by oslac 3y ago
Having read through the old version I cannot recommend that one either.
18.
by oslac 3y ago
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.
19.
by oslac 3y ago
I would say it is minimal, the help it provides. It will not get you to B1.
20.
by oslac 3y ago
Why call it "OpenAI" when it is probably the biggest blackbox thing out there.
21.
by oslac 3y ago
I agree.
22.
by oslac 3y ago
I would not call Duolingo a language learning application. It behaves more like language mimicry application. You learn a very particular subset of the language that I'd call "Duolingo <insert lang>". This is my conclus
23.
by oslac 3y ago
Tending to a digital garden of your own making has been the most effective for me by far. No other organization beyond that, at most hitting a random note inside a subfolder for 10-15 minutes a day.
24.
by oslac 3y ago
It sounds like a good idea to send your codebase through a MITM to OpenAI, both of these ideas I mean.
25.
by oslac 4y ago
Not a perfect example, but this can be seen (pattern match replacing if) with Kotlin's when.
26.
by oslac 4y ago
One of the best articles about programming tbh.
27.
by oslac 4y ago
Aha, yet another tutorial since nobody can agree on anything about it seems. I can set up a nice development environment within VSCode using development containers in like 2 or 3 clicks that I can just yeet to to my GitHub for anyone to use
28.
by oslac 4y ago
It would be nice if it was as easy to use as VSCode / Obsidian, but alas. I will not learn a second language for using it and I will not paste mystery snippets from blogs and other sources to get something done.
29.
by oslac 4y ago
It is amusing how history is being now rewritten as "We All Always Agreed Lab Leak Was the Real Source".
30.
by oslac 4y ago
rust compiler, rust-analyzer, the top rust crates (ie. rand is a great example)

More ›