joshbronson

view
track

Personal information

Biography:

I am a computer scientist and security researcher. I received my bachelor's from SUNY Buffalo and my master's from the University of Toronto. My master's thesis was about cryptography.

Interests:

I'm joining Lambda the Ultimate because I'm interested in how new programming languages can be used to write secure software.

History

Member for:
15 years 14 weeks

Browse archives

Active forum topics

Is character as a type meaningless?
Haxl(-like "Monads") in terms of Delimited Continuations?
HTTPS and logins to LtU.
A case study of concatenative v.s. applicative syntax design
First-Class Patterns

Compiling high-level code to cryptography
Haxl(-like "Monads") in terms of Delimited Continuations?
A case study of concatenative v.s. applicative syntax design
Using JavaScript-like syntax to program with Interaction Nets
Sorting the travelling salesman problem

My preferred design choices
5 weeks 5 days ago
Delimited continuations don't parallelize well.
5 weeks 6 days ago
With Unicode, Character as a type is in fact meaningless.
6 weeks 8 hours ago
With Unicode, Character as a type is in fact meaningless.
6 weeks 9 hours ago
...people claim about C++
6 weeks 5 days ago
Terminology counts
6 weeks 5 days ago
Terminology counts
6 weeks 5 days ago
Yeah, been there...
9 weeks 6 days ago
Don't throw away a useful tool
10 weeks 4 days ago
Right. That's an example.
10 weeks 4 days ago

Lambda the Ultimate

User login

Navigation

joshbronson

Personal information

History

Browse archives

Active forum topics

New forum topics

Recent comments