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. Joined May 2021

Tweets

161
Followers

385
Following

113
Likes

304

Brandon Wu @onefiftyman

7 months ago

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/

0 0 6 189 0

Brandon Wu @onefiftyman

a year ago

give me source code and I will move the world

2 0 11 533 0

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!

Tanya Janca | Shehackspurple @shehackspurple

a year ago

18 141 354 99K 202

Download Video

3 4 14 2K 3

Semgrep @semgrep

2 years ago

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 @onefiftyman’s blog post: semgrep.dev/blog/2024/secu…

0 3 8 845 1

Brandon Wu @onefiftyman

2 years ago

If I lose both my AirPods and get them replaced at the Apple Store, are they still “Brandon’s AirPods Pro”?

2 0 3 918 0

Semgrep @semgrep

2 years ago

💕 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

0 2 9 2K 0

Download Image

Brandon Wu @onefiftyman

2 years ago

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/

1 3 14 837 0

Brandon Wu @onefiftyman

2 years ago

is it evil to want absolute power and influence if I only use it to teach functional programming

0 0 11 399 0

aron @Aron_Adler

2 years ago

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,…

4 8 69 6K 11

Brandon Wu @onefiftyman

2 years ago

LaTeX macros are not referentially transparent and it infuriates me

1 1 6 465 0

Brandon Wu @onefiftyman

2 years ago

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`

1 0 1 286 0

Brandon Wu @onefiftyman

2 years ago

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.