This is how I learned about ReScript

All you need is HTML, Javascript, and CSS

Yes. The only way to send patches without something like Github is over email. I don’t mind all the other stuff, but there’s no other way to do PRs than over email, and I hate email. I didn’t see that he gave alternatives. His preferred solution was an email

The formal PR button in a forge is a way to do that with one click, but a short email with all the same information is just as good.

Like, dawg, no it aint

I wouldn’t mind doing a self-hosted git repo and only using cli if I didn’t have to also use email to do so.

Seriously the worst part. Email is a technology that should be left in the past. It’s just awful. There’s no good way to do email.

GLFW is a C library, not a C++ one, and an old one at that, and so the reason is that a long time ago, there was no bool in C. Every library would make their own true and false bc it’s handy to have.

Nowadays, the type _Bool has been added to C, and C++ has built-in bool, but you can still see the legacy of no boolean in C as to use the type name “bool” as well as the key words “true” and “false” for 1 and 0, you have to include “stdbool.h,” as well as in custom types in these old GL-adjacent libraries.

Could I do:

signature primes_less_than(x: number) -> [number]
example primes_less_than(2) = []
example primes_less_than(10) = [ 2, 3, 5, 7 ]
primes_less_than(10582319112759318014901241439012831231539517)

?

I don’t pay for OpenAI, so I can’t try the playground

Rust and Haskell (I think Haskell counts)

Build a project. Learn how to do each step by searching the internet. It’s quite literally that easy.

Brave

I used to use Duck Duck Go, but it’s supposedly not as private as it claims to be, and my understanding is Brave is a bit better there.

I don’t use the Brave browser tho, just the search engine

I’m a relatively new hire and we just hired another person 2 weeks ago

It’s effort to switch, and we don’t benefit from having separate copies of the repo bc we’re so small. No one steps on eachother’s toes, so distributed version control isn’t necessary.

Now, the fact that most devs know git and SVN is dead is not lost on our CTO, but putting the effort to switch over doesn’t provide direct value to the customer, so I have to make the case that switching to git would do enough from a productivity and maintenance standard to effect customers.

Yes. We use SVN. I hate it. I’m trying to build a case to switch to git. We’re a small team, but a growing team

Epiphany is a neat little project, but my understanding is it has performance issues bc it can’t use the GPU or something, like YouTube videos load slow.

Haskell

Here’s how I think it works

In formal language, what it means to accept a verification means does the result fall into the list of acceptable values.

Consider adding two 2-bit numbers:

• Alphabet: { 0, 1}
• Language: x x consists of four binary digits representing two 2-bit binary numbers where the result of adding these two numbers is a valid 2-bit binary number (i.e. falls between 00 and 11)
• Then you have an automata that will:
  • Start from the rightmost bit
  • Add the corresponding bits (+ carry from any previous iterations)
  • Carry over to the left if needed
  • Repeat for both bits
  • Check for acceptance
• Machine as a whole simply checks did the inputs produce a valid 2-bit number, so it just accepts or rejects

The machine itself simply holds this automata and language, so all it does is take input and reject/accept end state. I think you’re just getting caught up in definitions

A sum of a list of numbers I think would be something like

• Alphabet: digits 0-9 and ‘,’
• Language: a single string of digits or a single string of digits followed by a comma and another valid string
• Automata:
  • Are we a single string of digits? If yes, accept
  • Sum the last number into the first and remove the comma
  • Repeat
• Machine: Does the some operation result in a valid string?

Machines accept a valid state or hit an error state (accept/reject). The computation happens between the input and accept/reject.

But maybe I don’t understand it either. It’s been a while since I poked around at this stuff.

I didn’t know Go had interfaces. Neat

I can’t even wrap my mind around people who use 60% keyboards and use a bunch of extra function keys let alone anything more drastic

In VR, you are able to place windows anywhere. You have infinite amounts of screen. Look at something like Simula

Bc they’re about to release a VR headset PC that allows just that. It will likely inspire other companies to do so as well

Move to VR and infinite screen space. We’re so close. No doubt once Apple joins the fray it’ll be time