Brandon Wu
@onefiftyman
Followers
385
Following
304
Media
5
Statuses
161
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
After a long coming, and many months of work behind the scenes, I have finally made my functional programming lectures from this summer at CMU available for free online. I truly hope it helps people.
7
57
264
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.
0
0
6
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!.
Today is the launch of @Semgrep Academy! Free courses on #AppSec, Secure Coding, #API Security, Functional Programming, and MORE! Please go check it out here:.
3
4
14
RT @semgrep: What started as an April Fools joke turned into a great demo of Semgrep’s extensibility and scalability when it comes to addin….
semgrep.dev
We're excited to announce that Semgrep now offers GA support for CodeQL's query language.
0
3
0
If I lose both my AirPods and get them replaced at the Apple Store, are they still “Brandon’s AirPods Pro”?.
2
0
3
RT @semgrep: 💕 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….
0
2
0
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!.
1
3
14
is it evil to want absolute power and influence if I only use it to teach functional programming.
0
0
11
RT @Aron_Adler: 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 im….
0
8
0
It’s incredible how functional record updates and postfix access notation almost single-handedly make records usable in OCaml, over SML.
2
0
9
LaTeX macros are not referentially transparent and it infuriates me.
1
1
6
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
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.
0
0
1
Indeed, I feel that ChatGPT is really the most declarative programming language there is.
0
0
2
I don’t buy this “declarative languages” nonsense. I feel like it’s just another arbitrary distinction meant to communicate that functional languages are “magical” or will just “do what you say”. Worse, I feel it obfuscated what functional programming is: just programming.
2
0
2
