Hacker News: oslac

New comment by oslac in "Automated Unit Test Improvement Using Large Language Models at Meta"

oslac — Sat, 17 Feb 2024 08:56:29 +0000

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 "

New comment by oslac in "Struggles with the Continuum"

oslac — Mon, 27 Nov 2023 15:08:10 +0000

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

New comment by oslac in "Pocket gets worse the more you use it (2019)"

oslac — Sun, 09 Jul 2023 05:16:26 +0000

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.

New comment by oslac in "Joplin – An open-source note taking and to-do application with synchronisation"

oslac — Thu, 06 Jul 2023 11:51:28 +0000

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

New comment by oslac in "Functions and algorithms implemented purely with TypeScript's type system"

oslac — Wed, 05 Jul 2023 10:31:16 +0000

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.

New comment by oslac in "Principles of Imperative Computation"

oslac — Sun, 25 Jun 2023 16:30:27 +0000

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)

New comment by oslac in "Humans aren’t mentally ready for an AI-saturated ‘post-truth world’"

oslac — Wed, 21 Jun 2023 16:18:30 +0000

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.

New comment by oslac in "Don't Use Mocks"

oslac — Tue, 20 Jun 2023 11:44:15 +0000

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.

New comment by oslac in "A daytime nap is good for the brain"

oslac — Tue, 20 Jun 2023 10:15:22 +0000

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

New comment by oslac in "/r/startrek/ migrates to lemmy"

oslac — Thu, 15 Jun 2023 14:57:21 +0000

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.

New comment by oslac in "The Reddit blackout will continue"

oslac — Wed, 14 Jun 2023 06:55:30 +0000

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.

New comment by oslac in "Microsoft is bringing GPT-4 to US Government agencies"

oslac — Tue, 13 Jun 2023 15:58:45 +0000

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

Not the Skynet.

New comment by oslac in "Ask HN: Best way to play old games that require Windows 98/XP?"

oslac — Mon, 12 Jun 2023 18:43:45 +0000

Build / buy an old enough computer.

New comment by oslac in "From Stacks to Trees: A new aliasing model for Rust"

oslac — Mon, 12 Jun 2023 06:34:55 +0000

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

New comment by oslac in "Chat Notebooks"

oslac — Sat, 10 Jun 2023 04:05:22 +0000

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?

New comment by oslac in "We should not let the Earth overheat"

oslac — Wed, 07 Jun 2023 05:58:23 +0000

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.

New comment by oslac in "How to Design Programs 2nd Edition"

oslac — Tue, 02 May 2023 09:24:58 +0000

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

New comment by oslac in "My thoughts on OCaml"

oslac — Tue, 25 Apr 2023 16:49:42 +0000

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.

New comment by oslac in "How much can Duolingo teach us?"

oslac — Sun, 23 Apr 2023 06:46:40 +0000

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

New comment by oslac in "Ask HN: Why call it an AI company if all it does is call open AI API?"

oslac — Sat, 15 Apr 2023 15:43:14 +0000

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