Explore >> Select a destination
|
You are here 
|
www.techinterviewhandbook.org | ||
| | | | |
adambennett.dev
|
|
| | | | | Android Bennett's blog :: android, kotlin, thoughts, opinions, occasional rants | |
| | | | |
javarevisited.blogspot.com
|
|
| | | | | A blog about Java, Programming, Algorithms, Data Structure, SQL, Linux, Database, Interview questions, and my personal experience. | |
| | | | |
blog.pragmaticengineer.com
|
|
| | | | | At Big Tech and high-growth startups, coding and systems design interviews are common - and fairly standard. A lot of people have asked me for preparation advice for these. Here is what I used when getting ready for an E5/E6 Facebook interview, and the one at Uber - where | |
| | | | |
kuruczgy.com
|
|
| | | [AI summary] The article explores the intersection of functional programming and logic through the lens of dependent types. It begins with foundational concepts like type constructors and inductive types, then delves into the Curry-Howard isomorphism, which links programs to mathematical proofs. The discussion covers how types represent propositions, functions as implications, and inductive types as proof strategies. Examples include defining logical relations like less than or equal to and equality, and demonstrating how to prove properties like universal quantification and mathematical identities. The article concludes with an overview of resources for further study in proof assistants like Coq and Idris, emphasizing the practical applications of dependent... | ||
