I’m not sure what the best way to do this is, but I think it would be nice if we could have a “dynamic” version of the type checker that can be used in situations like this.

Something like: type family Foo (x :: * -> *) :: * where Foo Int = Bool Foo Char = String foo1 :: forall x . Foo x => x -> Bool foo1 i = case cast i of { Int -> True ; _ -> False } -- ...

Continue Reading
I’m a software engineer at Google, and I’ve been working on the Android Open Source Project (AOSP) for about two years.

In this post, I'll talk about how AOSP is structured, what it takes to build an operating system from scratch, and why we do it all in the open. What is AOSP? The Android Open Source Project (AOSP) ...

Continue Reading
API security testing tools can help you identify vulnerabilities and excessive permissions in your APIs.

The good news is that a number of API security testing tools are available to help organizations get a handle on their API usage, as well as the risks associated with them. These include: 1. Veracode ...

Continue Reading
APIs are a favorite target of hackers for good reason.

Here’s how to protect them from attack. the problem of APIs being used by third-party developers, who may not have the same security standards as the company that created them in the first place. In ...

Continue Reading
The problem with APIs is that they are too flexible and can be used for almost anything.

tl;dr: The problem with APIs is that they are too flexible and can be used for almost anything. The good news is that there are a number of tools available to help organizations identify, track, mana ...

Continue Reading
Neosec is a startup aiming to better secure APIs.

It emerged from stealth today with $20.7 million in Series A funding from True Ventures, New Era Capital Partners, TLV, and SixThirty. APIs have become a hot target for attackers as organizations rap ...

Continue Reading
Attacking and defending web APIs.

(REST, GraphQL): Learn AJAX, REST and GraphQL security best practices. Create APIs that are easy to use securely and hard to use insecurely. Techniques and tools to design, test and attack APIs and mi ...

Continue Reading
I’m a big fan of the new MacBook Pro.

It is a great laptop, but it isn’t for everyone. Apple has been making laptops since 2006 when they introduced the original MacBook Air and I have owned every single one of them (except for the Mac ...

Continue Reading

Back to Main

Subscribe for the latest news: