Brandon Wu (@onefiftyman) 's Twitter Profile
Brandon Wu

@onefiftyman

I like programming languages and musical theatre. On a mission to teach the world about functional programming. Program Analysis Engineer at @semgrep.

ID: 1388375102350364672

calendar_today01-05-2021 06:10:00

161 Tweet

383 Takipçi

113 Takip Edilen

Brandon Wu (@onefiftyman) 's Twitter Profile Photo

A fun example of opaque behavior due to a lack of referential transparency is in the Typescript type-checker -- if we have that `const x = a.b`, it is not true that `a.b` is interchangeable with `x`, in terms of producing a well-typed program, which is unintuitive.

Brandon Wu (@onefiftyman) 's Twitter Profile Photo

broke: `List.interleave : 'a list * 'b list -> ('a, 'b) either list` woke: ``` datatype ('a, 'b) cycle = Nil | Cons of 'a * ('b, 'a) cycle ``` `List.interleave : 'a list * 'b list -> ('a, 'b) cycle`

aron. (@aron_adler) 's Twitter Profile Photo

I know I am far from the first person to say this, but I think it's clear the only reason people think FP is harder than imperative/OOP is because they encounter it later. So they've just about managed to get their head around the horrors of memory management, mutable data types,

Brandon Wu (@onefiftyman) 's Twitter Profile Photo

You can take me out of the classroom, but not the classroom out of me. Excited to share my first supplemental lecture for 150, on going from SML to OCaml! brandonspark.github.io/ocaml/

Semgrep (@semgrep) 's Twitter Profile Photo

💕 Happy Valentine’s Day from Semgrep! Here’s a peek at some of the Valentine’s created for our team by the talented Brandon Wu—great for some last minute inspo if you are scrambling for a card! #valentinesday #appsechumor

💕 Happy Valentine’s Day from Semgrep! Here’s a peek at some of the Valentine’s created for our team by the talented Brandon Wu—great for some last minute inspo if you are scrambling for a card! #valentinesday #appsechumor
Semgrep (@semgrep) 's Twitter Profile Photo

What started as an April Fools joke turned into a great demo of Semgrep’s extensibility and scalability when it comes to adding support for new languages. Check out more about our GA support for CodeQL’s query language in Brandon Wu’s blog post: semgrep.dev/blog/2024/secu…

Brandon Wu (@onefiftyman) 's Twitter Profile Photo

I’m proud to announce that 15-150 is now available on Semgrep Academy, along with a wealth of amazing security courses, all free for the public. Be sure to check it out to see all the amazing things Tanya has put together!

Brandon Wu (@onefiftyman) 's Twitter Profile Photo

I rarely post nowadays, but I just wrote a blog post on my experiences teaching functional programming a few summers ago. I hope you find it meaningful. brandonspark.github.io/blog/teaching/